Publication detail

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

LETKO, Z.

Original Title

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

English Title

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

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

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

RIV year

2008

Released

24.04.2008

Publisher

Brno University of Technology

Location

Brno

ISBN

978-80-214-3615-2

Book

Proceedings of the 14th Conference STUDENT EEICT 2008

Edition

Volume 2

Edition number

NEUVEDEN

Pages from

256

Pages to

258

Pages count

3

Documents

BibTex


@inproceedings{BUT32587,
  author="Zdeněk {Letko}",
  title="An Architecture for Self-Healing of Data Races and Atomicity Violations for Java",
  annote="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.",
  address="Brno University of Technology",
  booktitle="Proceedings of the 14th Conference STUDENT EEICT 2008",
  chapter="32587",
  edition="Volume 2",
  howpublished="print",
  institution="Brno University of Technology",
  year="2008",
  month="april",
  pages="256--258",
  publisher="Brno University of Technology",
  type="conference paper"
}