Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
LETKO, Z. VOJNAR, T. KŘENA, B.
Originální název
AtomRace: data race and atomicity violation detector and healer
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
The paper proposes a novel algorithm called AtomRace for a dynamic detection of data races. Data races are detected as a special case of atomicity violations on atomic sections specially defined to span just particular read/write instructions and the transfer of control to and from them. A key ingredient allowing AtomRace to efficiently detect races on such short atomic sections is a use of techniques for a careful injection of noise into the scheduling of the monitored programs. The approach is very simple, fully automated, avoids false alarms, and allows for a lower overhead and better scalability than many other existing dynamic data race detection algorithms. We illustrate these facts by a set of experiments with a prototype implementation of AtomRace. Further, AtomRace can also be applied to detect atomicity violations on more general atomic sections than those used for the data race detection. They can be defined by the user or obtained by some static analysis.
Klíčová slova
detection, healing, atomicity violation, data race, Java
Autoři
LETKO, Z.; VOJNAR, T.; KŘENA, B.
Rok RIV
2008
Vydáno
14. 7. 2008
Nakladatel
Association for Computing Machinery
Místo
Seattle
ISBN
978-1-60558-052-4
Kniha
PADTAD '08
Edice
Proceedings of the 6th workshop on Parallel and distributed systems
Strany od
1
Strany do
10
Strany počet
URL
http://www.fit.vutbr.cz/~vojnar/Publications/lvk-padtad-08.pdf
BibTex
@inproceedings{BUT30496, author="Zdeněk {Letko} and Tomáš {Vojnar} and Bohuslav {Křena}", title="AtomRace: data race and atomicity violation detector and healer", booktitle="PADTAD '08", year="2008", series="Proceedings of the 6th workshop on Parallel and distributed systems", pages="1--10", publisher="Association for Computing Machinery", address="Seattle", isbn="978-1-60558-052-4", url="http://www.fit.vutbr.cz/~vojnar/Publications/lvk-padtad-08.pdf" }