Faculty of Information Technology, BUT

Publication Details

Dynamic Detection and Healing of Low Level Data Races.

LETKO Zdeněk. Dynamic Detection and Healing of Low Level Data Races. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Volume 2. Brno: Brno University of Technology, 2007, pp. 257-259. ISBN 978-80-214-3408-0.
Czech title
Dynamická detekce a léčení nízkoúrovňových časově závislých chyb v prostředí Java
Type
conference paper
Language
english
Authors
Letko Zdeněk, Ing. (FIT BUT)
Keywords
data race, dynamic, software testing, formal verification, Java, healing
Abstract
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.
Published
2007
Pages
257-259
Proceedings
Proceedings of the 13th Conference STUDENT EEICT 2007
Series
Volume 2
Conference
Student EEICT 2007, Brno, CZ
ISBN
978-80-214-3408-0
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB8537,
   author = "Zden\v{e}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 = "https://www.fit.vut.cz/research/publication/8537"
}
Back to top