Cyclic Debugging Using Execution Replay

This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution 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 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.

• Type: Conference
• Year: 2001
• Where: ICCS
• Authors: Michiel Ronsse, Mark Christiaens, Koenraad De Bosschere
• Keywords: Applied Computing, Cyclic Debugging Techniques, Data Races, ICCS 2001, Record Phase