Conference paper

LETKO Zdeněk, VOJNAR Tomáš and KŘENA Bohuslav. AtomRace: data race and atomicity violation detector and healer. In: PADTAD '08. Seattle: Association for Computing Machinery, 2008, pp. 1-10. ISBN 978-1-60558-052-4.
Publication language:english
Original title:AtomRace: Data Race and Atomicity Violation Detector and Healer
Title (cs):AtomRace: nástroj pro automatickou detekci a opravu časově závislých chyb
Pages:1-10
Proceedings:PADTAD '08
Conference:PADTAD - Parallel and Distributed Systems: Testing and Debugging
Series:Proceedings of the 6th workshop on Parallel and distributed systems
Place:Seattle, US
Year:2008
ISBN:978-1-60558-052-4
Publisher:Association for Computing Machinery
URL:http://www.fit.vutbr.cz/~vojnar/Publications/lvk-padtad-08.pdf [PDF]
Keywords
detection, healing, atomicity violation, data race, Java
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Letko and Tom{\'{a}}{\v{s}} Vojnar and Bohuslav
	K{\v{r}}ena},
   title = {AtomRace: Data Race and Atomicity Violation Detector and
	Healer},
   pages = {1--10},
   booktitle = {PADTAD '08},
   series = {Proceedings of the 6th workshop on Parallel and distributed
	systems},
   year = {2008},
   location = {Seattle, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-60558-052-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8685}
}

Your IPv4 address: 54.211.79.150
Switch to IPv6 connection

DNSSEC [dnssec]