Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
R
raceAvoidLock
- Variable in class cz.vutbr.fit.racedetector.
RDVariable
raceAvoidSemaphore
- Variable in class cz.vutbr.fit.racedetector.
RDVariable
raceDetect
- Variable in class cz.vutbr.fit.racedetector.
AtomRace
raceDetect
- Variable in class cz.vutbr.fit.racedetector.
Eraser
Reference to the main class enclosing
raceDetected
- Variable in class cz.vutbr.fit.racedetector.
RDVariable
RaceDetector
- Class in
cz.vutbr.fit.racedetector
The main class of the race detector.
RaceDetector(RaceDetector.DetectorImplementation, Detector)
- Constructor for class cz.vutbr.fit.racedetector.
RaceDetector
Main constructor called by ConTest.
RaceDetector.DetectorImplementation
- Enum in
cz.vutbr.fit.racedetector
Available implementations of race detecting algorithms.
RaceDetector.HealingMethod
- Enum in
cz.vutbr.fit.racedetector
Methods of healing: THREADS - Method based on the utilization of other processors (cores) in the system.
RaceDetector.Operation
- Enum in
cz.vutbr.fit.racedetector
Read operation.
randInjectNoise()
- Static method in class cz.vutbr.fit.racedetector.
NoiseInjection
Inserts with predefined probability the noise with predefined strength to the thread which calls this method if a variable is specified.
RD_DIRECTORY
- Static variable in class cz.vutbr.fit.racedetector.
RaceDetector
directory name with the race detector input files
RDThread
- Class in
cz.vutbr.fit.racedetector
This class is used for keeping information concerning a thread.
RDThread()
- Constructor for class cz.vutbr.fit.racedetector.
RDThread
constructor
RDThreadLocal
- Class in
cz.vutbr.fit.racedetector
This class extends ThreadLocal used for storing variables local for a thread.
RDThreadLocal()
- Constructor for class cz.vutbr.fit.racedetector.
RDThreadLocal
RDVariable
- Class in
cz.vutbr.fit.racedetector
This class is used for keeping information about program variable.
RDVariable(Object, String)
- Constructor for class cz.vutbr.fit.racedetector.
RDVariable
Constructor
RDVariableCollection
- Class in
cz.vutbr.fit.racedetector
This class provides access to set of RDVariable (information concerning variable).
RDVariableCollection()
- Constructor for class cz.vutbr.fit.racedetector.
RDVariableCollection
Constructor.
RDVarSet
- Class in
cz.vutbr.fit.racedetector
A set of variable names which are given in the file and can be used by RaceDetector in several cases.
RDVarSet()
- Constructor for class cz.vutbr.fit.racedetector.
RDVarSet
constructor
registerAnalysisEngines(IAnalysisCache)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
EngineRegistrar
registerWith(IAnalysisCache)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomDataflowEngine
Registers the analysis to analysisCache.
remove(String)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Removes from this atomicity collection the record that is determined by its key.
removeAll(AtomicityCollection)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Removes from this atomicity collection all records that are presented in the given atomicity collection.
removeAll(HashSet<String>)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Removes from this atomicity collection all records that uses as key ConTest locations present in the given Set.
RemoveAtomicity
- Class in
cz.vutbr.fit.atomicity
This class implements a tool for removing violated atomicities from the set of atomicities to be checked.
RemoveAtomicity()
- Constructor for class cz.vutbr.fit.atomicity.
RemoveAtomicity
removeHeldLock(int)
- Method in class cz.vutbr.fit.racedetector.
ERThread
Removes lock from the set of locks currently held by the thread.
report()
- Method in class cz.vutbr.fit.findbugs.atom.detect.
FindOmit
restoreAtomicityFromFile(BufferedReader)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Restores atomicity information from the file.
retainThreadCandidateLocks(Set<Index>)
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfo
Retains maintained candidates locks for thread/variable combination.
run()
- Method in class cz.vutbr.fit.healing.
HealingDummyThread
Runs dummy thread.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W