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" }