Detail publikace

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.
Název česky
Architektura pro samoopravování časově závislých chyb nad daty a nesprávné atomicity programů v jazyce Java
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Klíčová slova

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

Abstrakt

Časově závislé chyby nad daty a chybná atomicita jsou častým problémem vícevláknových aplikací. Tento příspěvek popisuje technologii, která je schopna detekovat oba tyto problémy a včas ovlivnit vykonávání programu tak, aby k chybě nedošlo. Architektura je založena na dynamické analýze vykonávání programu.

Rok
2008
Strany
256–258
Sborník
Proceedings of the 14th Conference STUDENT EEICT 2008
Řada
Volume 2
Konference
Student EEICT 2008, FEKT VUT v Brně, CZ
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"
}
Nahoru