P103 065

Information about P103 065

Published on October 4, 2007

Author: Jancis

Source: authorstream.com

Content

A Taxonomy of Execution Replay Systems:  A Taxonomy of Execution Replay Systems Frank Cornelis Andy Georges Mark Christiaens Michiel Ronsse Tom Ghesquiere Koen De Bosschere Dept. ELIS Ghent University The Debugging Problem:  The Debugging Problem The debugging process is hard to automate Current tools are inadequate for debugging large scale, interactive, multi-threaded, and event-driven applications Hard to find bugs: Synchronization errors Memory leaks Data races Dangling pointers Inadequate Tools:  Inadequate Tools Most common debugging technique: cyclic debugging Problem: there is no guarantee that the same behavior is observed during subsequent runs as many applications are non-deterministic Ideal situation: reverse execution… Solution: Execution Replay:  Solution: Execution Replay Execution 1 Execution 2 Trace file record replay Requirements:  Requirements Record must have low intrusion Replay must be accurate Record phase must be space efficient Replay phase must be time efficient Slide6:  Tornado RecPlay JaRec jRapture Interrupt Replay Scheduling Replay Compressed differences Instant Replay Input Replay Output Replay RSA DejaVu Igor Recap Outline:  Outline Introduction Content-based vs. ordering-based Dealing with input Dealing with timing Dealing with other processors Conclusion Content-based:  Content-based Record input for every instruction … add r1,1 → r1 load 8(r1) → r2 store r2 → 12(r1) … r1 = 10 r1 = 11 r2 = 401 r1=11 + Instruction can be executed in isolation – Huge trace files Ordering-based:  Ordering-based Record control flow of program from a given initial state C1; C2 + Smaller trace files – Reexecution required Sources of non-determinism:  Sources of non-determinism Input (e.g. a database, time, pixel coordinates) Timing (e.g. interrupts, scheduler actions) Interaction with other processors (processor, DMA, coprocessor) Outline:  Outline Introduction Content-based vs. ordering-based Dealing with input Dealing with timing Dealing with other processors Conclusion Input instructions:  Input instructions application kernel IO-instructions System calls content-based ordering-based  content-based Tornado jRapture Outline:  Outline Introduction Content-based vs. ordering-based Dealing with input Dealing with timing Dealing with other processors Conclusion Dealing with timing:  Dealing with timing Interrupts Input/output (timing aspect; not input aspect) Scheduling application other code ordering-based How to determine the ordering:  How to determine the ordering PC is not enough Need extra counter: SIC1 Instructions executed No of backward jumps 1 Software Instruction Counter Interrupt replay Repeatable scheduling DejaVu Outline:  Outline Introduction Content-based vs. ordering-based Dealing with input Dealing with timing Dealing with other processors Conclusion Dealing with other processors:  Dealing with other processors Multi-threading (multiple threads in one address space) Multi-processing (multiple processes sharing a common block of memory) A coprocessor (video, DMA, …) Code 1 Code 2 data c1 c2 c1 c2 Many systems:  Many systems RecPlay Ordering-based up to the first data race JaRec Ordering-based up to the first data race IGOR Content-based: checkpointing Recap Content-based: reverse execution Instant Replay Ordering-based: version numbers Netzers’s approach Ordering-based: also replays data races Overview:  Overview Conclusion:  Conclusion No execution replay system deals with all forms of non-determinism The more accurate the system gets, the more resources it needs (time, space), and hence becomes less useful There is a need for stable and platform-independent tools to further support debugging

Related presentations


Other presentations created by Jancis

Mega Dams
21. 10. 2007
0 views

Mega Dams

Apex
12. 03. 2008
0 views

Apex

erge cirugia
01. 10. 2007
0 views

erge cirugia

mitzenmacher
05. 10. 2007
0 views

mitzenmacher

ubs conference presentation
11. 10. 2007
0 views

ubs conference presentation

The Crocodile
12. 10. 2007
0 views

The Crocodile

Patentability
16. 10. 2007
0 views

Patentability

legado
16. 10. 2007
0 views

legado

nove solar fin
17. 10. 2007
0 views

nove solar fin

carcassonne
19. 10. 2007
0 views

carcassonne

Skin 08 12 04 Rev 4
23. 10. 2007
0 views

Skin 08 12 04 Rev 4

royalkapila
23. 10. 2007
0 views

royalkapila

Geller Leadership
06. 12. 2007
0 views

Geller Leadership

comedy in waiting for godot
15. 10. 2007
0 views

comedy in waiting for godot

GenisMusulmanbekov
26. 10. 2007
0 views

GenisMusulmanbekov

ifc
26. 10. 2007
0 views

ifc

chemsense
29. 10. 2007
0 views

chemsense

DelvingIntoDiversity
30. 10. 2007
0 views

DelvingIntoDiversity

e comm hellner
31. 10. 2007
0 views

e comm hellner

4 5 Soriano CENTRIXS M Final 1
06. 11. 2007
0 views

4 5 Soriano CENTRIXS M Final 1

Transport Costs
07. 11. 2007
0 views

Transport Costs

Lect 13a Celestial Theory
13. 11. 2007
0 views

Lect 13a Celestial Theory

General Vegetable Culture
15. 11. 2007
0 views

General Vegetable Culture

CCl Sept07
21. 11. 2007
0 views

CCl Sept07

Nonverbal Communication BU
04. 01. 2008
0 views

Nonverbal Communication BU

Ch10 Elections
07. 01. 2008
0 views

Ch10 Elections

HenryVIIIsWives
05. 10. 2007
0 views

HenryVIIIsWives

worldfish
23. 10. 2007
0 views

worldfish

presentation de l onde
23. 10. 2007
0 views

presentation de l onde

GARS2006 S3P2
06. 11. 2007
0 views

GARS2006 S3P2

paca
25. 10. 2007
0 views

paca

WandCreview
09. 10. 2007
0 views

WandCreview

pre e272
21. 10. 2007
0 views

pre e272

Seasonal Celebrations PPT
02. 11. 2007
0 views

Seasonal Celebrations PPT

Miller Diagrams
02. 10. 2007
0 views

Miller Diagrams

katri seppala
10. 12. 2007
0 views

katri seppala

AW Chap 3
19. 10. 2007
0 views

AW Chap 3

Chapter 16
01. 01. 2008
0 views

Chapter 16

2 muller
15. 10. 2007
0 views

2 muller

chargedHiggsSB
03. 01. 2008
0 views

chargedHiggsSB

Tracking and Tracing
07. 10. 2007
0 views

Tracking and Tracing

GHSJonathanKrueger
18. 10. 2007
0 views

GHSJonathanKrueger

JEG2 Partenariat OCP
24. 10. 2007
0 views

JEG2 Partenariat OCP

ggt lng
27. 02. 2008
0 views

ggt lng

Andreas Wagner Presentation
28. 02. 2008
0 views

Andreas Wagner Presentation

6pc3 riley
28. 11. 2007
0 views

6pc3 riley

TUE pm Bergot 6 06
24. 10. 2007
0 views

TUE pm Bergot 6 06

6 MikeBarrett
10. 03. 2008
0 views

6 MikeBarrett

5 1 1Hesse ppt
13. 03. 2008
0 views

5 1 1Hesse ppt

SNI DU 25 MARS A IMPRIMER
24. 10. 2007
0 views

SNI DU 25 MARS A IMPRIMER

03 ppt
24. 03. 2008
0 views

03 ppt

Lghtle
26. 03. 2008
0 views

Lghtle

malik recog wkshp
11. 10. 2007
0 views

malik recog wkshp

Lecture 26
13. 10. 2007
0 views

Lecture 26

Panama Rainforest Trip
25. 10. 2007
0 views

Panama Rainforest Trip

303 chapter09
11. 04. 2008
0 views

303 chapter09

PPT42 Phillips Curve
14. 04. 2008
0 views

PPT42 Phillips Curve

turkishmining
16. 04. 2008
0 views

turkishmining

ch022 NH 377rev
18. 04. 2008
0 views

ch022 NH 377rev

446
22. 04. 2008
0 views

446

2007 Izrael
27. 09. 2007
0 views

2007 Izrael

lb vortrag oberdiek
15. 11. 2007
0 views

lb vortrag oberdiek

Simon091907
06. 05. 2008
0 views

Simon091907

cytometria
07. 05. 2008
0 views

cytometria

3dweb
08. 05. 2008
0 views

3dweb

CareerFairpresentati on
08. 05. 2008
0 views

CareerFairpresentati on

peter walter
02. 05. 2008
0 views

peter walter

ugo
31. 10. 2007
0 views

ugo

presentation kglinos
02. 05. 2008
0 views

presentation kglinos

Final Poster
02. 05. 2008
0 views

Final Poster

SSI Collaborative
02. 05. 2008
0 views

SSI Collaborative

BeautifulLawn
03. 10. 2007
0 views

BeautifulLawn

nbi03 mcgregor flux
09. 10. 2007
0 views

nbi03 mcgregor flux

Economic Advantages Guevara
29. 02. 2008
0 views

Economic Advantages Guevara

LREC2004 LDC Slides
04. 10. 2007
0 views

LREC2004 LDC Slides

BECKER
16. 11. 2007
0 views

BECKER

lenggenhager
17. 10. 2007
0 views

lenggenhager

96 roy
29. 09. 2007
0 views

96 roy

IxY and Space Weather
17. 10. 2007
0 views

IxY and Space Weather

AlbertoIvan3C
25. 10. 2007
0 views

AlbertoIvan3C

week2 progress
25. 10. 2007
0 views

week2 progress

WYD Presentation
18. 03. 2008
0 views

WYD Presentation

PSAE Math
08. 10. 2008
0 views

PSAE Math

Rome GRB
30. 10. 2007
0 views

Rome GRB

NMR
16. 10. 2007
0 views

NMR

0107 corporativa conjet
24. 10. 2007
0 views

0107 corporativa conjet

ICS recyclage des navires
06. 11. 2007
0 views

ICS recyclage des navires

Ratner06NFAIS
08. 10. 2007
0 views

Ratner06NFAIS

pres I
15. 10. 2007
0 views

pres I

CulturalCompetencein ahotline
30. 10. 2007
0 views

CulturalCompetencein ahotline

CollSantiago2003
22. 04. 2008
0 views

CollSantiago2003

SuperHero1
10. 10. 2007
0 views

SuperHero1

cyclone wing2000
02. 10. 2007
0 views

cyclone wing2000

Presentazione ancona piero 03
31. 10. 2007
0 views

Presentazione ancona piero 03

Warner Presentation Moscow
19. 10. 2007
0 views

Warner Presentation Moscow

SEOV
21. 11. 2007
0 views

SEOV

ConferencePetrilli 2007
16. 11. 2007
0 views

ConferencePetrilli 2007

gyimothy
03. 01. 2008
0 views

gyimothy

3391 prospecting net
14. 12. 2007
0 views

3391 prospecting net

charitonenko
11. 10. 2007
0 views

charitonenko

Lake Tahoe 06 joerg haefeli
17. 10. 2007
0 views

Lake Tahoe 06 joerg haefeli