Conference paper

 
Letko, Z.: An Architecture for Self-Healing of Data Races and Atomicity Violations for Java, In: Proceedings of the 14th Conference STUDENT EEICT 2008, Brno, CZ, VUT v Brně, 2008, p. 256-258, ISBN 978-80-214-3615-2
Publication language:english
Original title:An Architecture for Self-Healing of Data Races and Atomicity Violations for Java
Title (cs):Architektura pro samoopravování časově závislých chyb nad daty a nesprávné atomicity programů v jazyce Java
Pages:256-258
Proceedings:Proceedings of the 14th Conference STUDENT EEICT 2008
Conference:Student EEICT 2008
Series:Volume 2
Place:Brno, CZ
Year:2008
ISBN:978-80-214-3615-2
Publisher:Brno University of Technology
Keywords
data race, atomicity violation, dynamic analysis, software testing, formal verification, Java, healing
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Zdeněk Letko},
   title = {An Architecture for Self-Healing of Data Races and Atomicity
	Violations for Java},
   pages = {256--258},
   booktitle = {Proceedings of the 14th Conference STUDENT EEICT 2008},
   series = {Volume 2},
   year = {2008},
   location = {Brno, CZ},
   publisher = {Brno University of Technology},
   ISBN = {978-80-214-3615-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8689}
}