Aus Aifbportal
Wechseln zu:Navigation, Suche

Helgrind+: An efficient dynamic race detector

Helgrind+: An efficient dynamic race detector

Published: 2009 Mai

Buchtitel: IEEE International Symposium on Parallel & Distributed Processing.
Seiten: 1-13
Verlag: IEEE
Organisation: IPDPS

Nicht-referierte Veröffentlichung


Finding synchronization defects is difficult due to non-deterministic orderings of parallel threads. Current tools for detecting synchronization defects tend to miss many data races or produce an overwhelming number of false alarms. In this paper, we describe Helgrind+, a dynamic race detection tool that incorporates correct handling of condition variables and a combination of the lockset algorithm and happens-before relation. We compare our techniques with Intel Thread Checker and the original Helgrind tool on two substantial benchmark suites. Helgrind+ reduces the number of both false negatives (missed races) and false positives. The additional accuracy incurs almost no performance overhead.

ISBN: 978-1-4244-3751-1
ISSN: 1530-2075
Weitere Informationen unter: Link
DOI Link: 10.1109/IPDPS.2009.5160998


Effiziente Algorithmen