Detail výsledku

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

LETKO, Z. An Architecture for Self-Healing of Data Races and Atomicity Violations for Java. Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Brno University of Technology, 2008. p. 256-258. ISBN: 978-80-214-3615-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D., UITS (FIT)
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

Rok
2008
Strany
256–258
Sborník
Proceedings of the 14th Conference STUDENT EEICT 2008
Řada
Volume 2
Konference
Student EEICT 2008
ISBN
978-80-214-3615-2
Vydavatel
Brno University of Technology
Místo
Brno
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"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru