Detail publikace

An Architecture for Self-Healing of Data Races and Atomicity Violations for Java

LETKO, Z.

Originální název

An Architecture for Self-Healing of Data Races and Atomicity Violations for Java

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

Data races and atomicity violation are a common problem in concurrent programming. This article describes a technology capable to detect atomicity violation and data races in Java programs and heal them at run-time. The architecture expects dynamic analysis to be used for detecting and healing data races and atomicity violations. Correct atomicity can be specified manually or obtained by static analysis.

Klíčová slova

data race, atomicity violation, dynamic analysis, software testing, formal verification, Java, healing

Autoři

LETKO, Z.

Rok RIV

2008

Vydáno

24. 4. 2008

Nakladatel

Brno University of Technology

Místo

Brno

ISBN

978-80-214-3615-2

Kniha

Proceedings of the 14th Conference STUDENT EEICT 2008

Edice

Volume 2

Strany od

256

Strany do

258

Strany počet

3

BibTex

@inproceedings{BUT32587,
  author="Zdeněk {Letko}",
  title="An Architecture for Self-Healing of Data Races and Atomicity Violations for Java",
  booktitle="Proceedings of the 14th Conference STUDENT EEICT 2008",
  year="2008",
  series="Volume 2",
  pages="256--258",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3615-2"
}