Publication Details

Dynamic Detection and Healing of Low Level Data Races.

LETKO, Z. 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. p. 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., Ph.D. (CM-SFE)
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
BibTeX 
@inproceedings{BUT25911,
  author="Zdeněk {Letko}",
  title="Dynamic Detection and Healing of Low Level Data Races.",
  booktitle="Proceedings of the 13th Conference STUDENT EEICT 2007",
  year="2007",
  series="Volume 2",
  pages="257--259",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3408-0"
}
Back to top