Applied result detail

Java Atomicity Violation Detector & Healer

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

Original Title

Java Atomicity Violation Detector & Healer

English Title

Java Atomicity Violation Detector & Healer

Type

Software

Abstract

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.

Abstract in English

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.

Keywords

Atomicity Violation, Data Races, Detector, Healer, Java

Key words in English

Atomicity Violation, Data Races, Detector, Healer, Java

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

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