Paper Info
Title
Debugging shared memory parallel programs using record/replay
Abstract
This paper presents a debugging aid for parallel program developers. The tool presented enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs running on multiprocessor systems with shared memory. The solution proposed consists of a combination of record/replay with automatic on-the-fly data race detection. This combination enables us to limit the record phase to the more efficient recording of the synchronization operations, and checking for data races (using intrusive methods) during a replayed execution. As the record phase is highly efficient, there is no need to switch it off, hereby eliminating the possibility of Heisenbugs because tracing can be left on all the time.
Year
DOI
Venue
2003
10.1016/S0167-739X(02)00177-2
Future Generation Comp. Syst.
Keywords
Field
DocType
memory parallel program,multiprocessor system,debugging,non-deterministic parallel program,record/replay,cyclic debugging technique,non-deterministic parallel programs,record phase,data race,parallel program developer,automatic on-the-fly data race,intrusive method,debugging aid,efficient recording,shared memory
Synchronization,Shared memory,Computer science,Multiprocessing,Real-time computing,Tracing,Operating system,Distributed computing,Debugging,Algorithmic program debugging
Journal
Volume
Issue
ISSN
19
5
Future Generation Computer Systems
Citations 
PageRank 
References 
5
0.46
11
Authors
3
Name
Order
Citations
PageRank
Michiel Ronsse125820.74
Mark Christiaens214912.79
Koen De Bosschere31659117.74