Result Details

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.
Type
conference paper
Language
English
Authors
Letko Zdeněk, Ing., Ph.D., DITS (FIT)
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

Published
2008
Pages
256–258
Proceedings
Proceedings of the 14th Conference STUDENT EEICT 2008
Series
Volume 2
Conference
Student EEICT 2008
ISBN
978-80-214-3615-2
Publisher
Brno University of Technology
Place
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"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top