KIT | KIT-Bibliothek | Impressum | Datenschutz

Dynamic Race Detection in Parallel Programs

Jannesari Ladani, Ali

A dynamic approach for race detection based on a synthesis of lockset and happens-before analyses is proposed in this work. The approach provides a lower rate of both false positives and false negatives (missed races). It is able to deal with ad-hoc synchronizations, i.e., programmer-defined synchronizations in source code. Our approach is automatic and can also identify synchronization operations from unknown libraries, resulting in a universal race detector.

Open Access Logo

Volltext §
DOI: 10.5445/IR/1000021292
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Hochschulschrift
Publikationsjahr 2010
Sprache Englisch
Identifikator urn:nbn:de:swb:90-212927
KITopen-ID: 1000021292
Verlag Karlsruher Institut für Technologie (KIT)
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten 03.11.2010
Referent/Betreuer Prof. W. Tichy
Schlagwörter Data Race detection, Parallel Programs, Testing, Debugging, dynamic analysis
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page