Non-intrusive on-the-fly data race detection using execution replay

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This paper presents a practical solution for detecting data races in parallel programs. The solution consists of a combination of execution replay (RecPlay) with automatic on-the-fly data race detection. This combination enables us to perform the data race detection on an unaltered execution (almost no probe effect). Furthermore, the usage of multilevel bitmaps and snooped matrix clocks limits the amount of memory used. As the record phase of RecPlay 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.
In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AAdebug 2000), August 2000, Munich. cs.SE/0010035

Keywords

Software Engineering, Programming Languages, D.2.5

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/30445

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0011005
 http://arxiv.org/abs/cs/0011005

Collections

arXiv