Debugging shared memory parallel programs using record/replay

Gespeichert in:
Bibliographische Detailangaben
Titel: Debugging shared memory parallel programs using record/replay
Autoren: Ronsse, Michiel ronsse@elis.rug.ac.be, Christiaens, Mark1 mchristi@elis.rug.ac.be, De Bosschere, Koen1 kdb@elis.rug.ac.be
Quelle: Future Generation Computer Systems. Jul2003, Vol. 19 Issue 5, p679. 9p.
Schlagwörter: *PARALLEL programming, DEBUGGING
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. [Copyright &y& Elsevier]
Copyright of Future Generation Computer Systems is the property of Elsevier B.V. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Datenbank: Business Source Index
Beschreibung
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. [Copyright &y& Elsevier]
ISSN:0167739X
DOI:10.1016/S0167-739X(02)00177-2