Detail aplikovaného výsledku

Java Atomicity Violation Detector & Healer

LETKO, Z.; VOJNAR, T.; KŘENA, B.

Originální název

Java Atomicity Violation Detector & Healer

Anglický název

Java Atomicity Violation Detector & Healer

Druh

Software

Abstrakt

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.

Abstrakt aglicky

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.

Klíčová slova

Atomicity Violation, Data Races, Detector, Healer, Java

Klíčová slova anglicky

Atomicity Violation, Data Races, Detector, Healer, Java

Umístění

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

https://www.fit.vut.cz/research/product/90/