Conference paper

 
Letko, Z.: Dynamic Detection and Healing of Low Level Data Races., In: Proceedings of the 13th Conference STUDENT EEICT 2007, Brno, CZ, VUT v Brně, 2007, p. 257-259, ISBN 978-80-214-3408-0
Publication language:english
Original title:Dynamic Detection and Healing of Low Level Data Races.
Title (cs):Dynamická detekce a léčení nízkoúrovňových časově závislých chyb v prostředí Java
Pages:257-259
Proceedings:Proceedings of the 13th Conference STUDENT EEICT 2007
Conference:Student EEICT 2007
Series:Volume 2
Place:Brno, CZ
Year:2007
ISBN:978-80-214-3408-0
Publisher:Brno University of Technology
Keywords
data race, dynamic, software testing, formal verification, Java, healing
Annotation
Data races are a common problem in concurrent programming. This article describes a tool which is able to detect low level data races in Java programs and heal them -- all at run-time. This tool is build on top of IBM ConTest, a concurrency testing software. The tool uses a modification of the Eraser algorithm to detect data races and implements two techniques of data race healing.
BibTeX:
@INPROCEEDINGS{
   author = {Zdeněk Letko},
   title = {Dynamic Detection and Healing of Low Level Data Races.},
   pages = {257--259},
   booktitle = {Proceedings of the 13th Conference STUDENT EEICT 2007},
   series = {Volume 2},
   year = {2007},
   location = {Brno, CZ},
   publisher = {Brno University of Technology},
   ISBN = {978-80-214-3408-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8537}
}