Detail publikačního výsledku

Dynamic Detection and Healing of Low Level Data Races.

LETKO, Z.

Originální název

Dynamic Detection and Healing of Low Level Data Races.

Anglický název

Dynamic Detection and Healing of Low Level Data Races.

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

data race, dynamic, software testing, formal verification, Java, healing

Klíčová slova v angličtině

data race, dynamic, software testing, formal verification, Java, healing

Autoři

LETKO, Z.

Vydáno

26.04.2007

Nakladatel

Brno University of Technology

Místo

Brno

ISBN

978-80-214-3408-0

Kniha

Proceedings of the 13th Conference STUDENT EEICT 2007

Edice

Volume 2

Strany od

257

Strany do

259

Strany počet

3

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