|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use cz.vutbr.fit.racedetector | |
---|---|
cz.vutbr.fit.atomicity | |
cz.vutbr.fit.findbugs.atom.analysis | |
cz.vutbr.fit.findbugs.atom.detect | |
cz.vutbr.fit.healing | |
cz.vutbr.fit.racedetector | Race detector for IBM ConTest What is a data race? |
Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.atomicity | |
---|---|
Access
This class represents one access of a program. |
|
RaceDetector.Operation
Read operation. |
Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.findbugs.atom.analysis | |
---|---|
Access
This class represents one access of a program. |
|
RaceDetector.Operation
Read operation. |
Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.findbugs.atom.detect | |
---|---|
Access
This class represents one access of a program. |
Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.healing | |
---|---|
RDThread
This class is used for keeping information concerning a thread. |
|
RDVariable
This class is used for keeping information about program variable. |
Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.racedetector | |
---|---|
Access
This class represents one access of a program. |
|
ARInfo.ProblemAccess
This class represents the problematic access which was detected when someone else was in atomicity section of this variable. |
|
ARThread
A structure used for maintaining important thread dependent information for AtomRace. |
|
ARVariable
This class implements the core of the atomicity race detecting algorithm and contains variable related information. |
|
AtomRaceDetect
Implementation of the atomicity violation detection algorithm. |
|
Detector
The interface for race detecting algorithms. |
|
EraserDetect
The implementation of the Eraser algorithm. |
|
ERThread
Class takes care of the information gathered about the thread. |
|
ERVariable.State
|
|
RaceDetector
The main class of the race detector. |
|
RaceDetector.DetectorImplementation
Available implementations of race detecting algorithms. |
|
RaceDetector.HealingMethod
Methods of healing: THREADS - Method based on the utilization of other processors (cores) in the system. |
|
RaceDetector.Operation
Read operation. |
|
RDThread
This class is used for keeping information concerning a thread. |
|
RDVariable
This class is used for keeping information about program variable. |
|
RDVarSet
A set of variable names which are given in the file and can be used by RaceDetector in several cases. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |