Java Atomicity Violation Detector & Healer
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APR23747" target="_blank" >RIV/00216305:26230/08:PR23747 - isvavai.cz</a>
Alternative codes found
RIV/00216305:26230/08:PR27630
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Java Atomicity Violation Detector & Healer
Original language description
The Java Race Detector & Healer is a prototype for a runtime detection and healing of atomicity violations and data races in concurrent Java programs. The tool uses static analyser FindBugs to detect common atomicity patterns in the code. Then, the IBM ConTest listeners architecture for tracking the program behaviour is used to find violations and heal them at runtime.
Czech name
Nástroj pro detekci a opravu chyb v atomicitě programů
Czech description
Java Race Detector & Healer je počítačový software vytvořený v programovacím jazyce Java. Využitím nástroje pro statickou analýzu FindBugs detekuje části kódu, které mají být vykonávány atomicky. Prostřednictvím nástroje IBM ConTest následně monitoruje aplikaci a detekuje porušení atomicity i časově závislé chyby. Pro některé typy chyb je schopen automaticky vložit do běhu uživatelské aplikace synchronizační prostředky, které zabrání projevu této chyby. Pro svůj běh vyžaduje prostředí Java 5 a nástroj IBM ConTest.
Classification
Type
R - Software
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Internal product ID
JRDH-AT
Technical parameters
- Implementován v programovacím jazyce Java. - Detekuje a opravuje problémy s atomicitou operací a časově závislé chyby. - Vyžaduje prostředí Java 5 a nástroj IBM ConTest.
Economical parameters
—
Owner IČO
00216305
Owner name
Vysoké učení technické v Brně