Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings3490

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Helgrind+: An efficient dynamic race detector


Kaibin Bao, Ali Jannesari, Victor Pankratius, Walter F. Tichy



Published: 2009 Mai

Buchtitel: IEEE International Symposium on Parallel & Distributed Processing.
Seiten: 1-13
Verlag: IEEE
Organisation: IPDPS
Nicht-referierte Veröffentlichung
BibTeX

Kurzfassung
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



Forschungsgruppe

Effiziente Algorithmen