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

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU80191" target="_blank" >RIV/00216305:26230/08:PU80191 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
An Architecture for Self-Healing of Data Races and Atomicity Violations for Java
Original language description
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.
Czech name
Architektura pro samoopravování časově závislých chyb nad daty a nesprávné atomicity programů v jazyce Java
Czech description
Č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. Architekturaje založena na dynamické analýze vykonávání programu.<br>

Project
<a href="/en/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Advanced Formal Approaches in the Design and Verification of Computer-Based Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 14th Conference STUDENT EEICT 2008
ISBN
978-80-214-3615-2
ISSN
—
e-ISSN
—
Number of pages
3
Pages from-to
—
Publisher name
Brno University of Technology
Place of publication
Brno
Event location
FEKT VUT v Brně
Event date
Apr 24, 2008
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Similar results(10)