Publication detail

Dynamic Detection and Healing of Low Level Data Races.

LETKO, Z.

Original Title

Dynamic Detection and Healing of Low Level Data Races.

English Title

Dynamic Detection and Healing of Low Level Data Races.

Type

conference paper

Language

en

Original 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.

English 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.

Keywords

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

RIV year

2007

Released

26.04.2007

Publisher

Brno University of Technology

Location

Brno

ISBN

978-80-214-3408-0

Book

Proceedings of the 13th Conference STUDENT EEICT 2007

Edition

Volume 2

Pages from

257

Pages to

259

Pages count

3

BibTex


@inproceedings{BUT25911,
  author="Zdeněk {Letko}",
  title="Dynamic Detection and Healing of Low Level Data Races.",
  annote="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.",
  address="Brno University of Technology",
  booktitle="Proceedings of the 13th Conference STUDENT EEICT 2007",
  chapter="25911",
  edition="Volume 2",
  howpublished="print",
  institution="Brno University of Technology",
  year="2007",
  month="april",
  pages="257--259",
  publisher="Brno University of Technology",
  type="conference paper"
}