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
A
access
- Variable in class cz.vutbr.fit.findbugs.atom.analysis.
CTVarInfo
Access
- Class in
cz.vutbr.fit.racedetector
This class represents one access of a program.
Access(String, RaceDetector.Operation)
- Constructor for class cz.vutbr.fit.racedetector.
Access
Constructor.
add(Access, Access)
- Method in class cz.vutbr.fit.findbugs.atom.detect.
AtomCollection
Add a new tuple into the list.
addAll(AtomicityCollection)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Add a new atomicity to the collection.
addAtomicity(String, Atomicity)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Add a new atomicity to the collection.
addHeldLock(int)
- Method in class cz.vutbr.fit.racedetector.
ERThread
Adds lock to the set of locks currently held by the thread
addProblemAccess(String, RaceDetector.Operation)
- Method in class cz.vutbr.fit.racedetector.
ARInfo
Adds a new ProblemAccess to this race report only if the current thread is different from one which enters the atomic section.
addThread(int, String, RaceDetector.Operation, ERVariable.State, Set<Index>)
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfoCollection
Adds thread to the set.
addThread(int, String, RaceDetector.Operation)
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfoCollection
Adds thread to the set.
addThreadCandidateLocks(Set<Index>)
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfo
Adds set of locks that are used in the combination of thread/variable.
addVLA(String, Access)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Add an information to the fact.
afterAccess(ARThread, String)
- Method in class cz.vutbr.fit.racedetector.
ARVariable
Things that should be done before the access to the variable: If this thread is inside the critical section of this variable and the given program location is the end of the atomic section - stop checking.
afterAccessEvent(String)
- Method in class cz.vutbr.fit.racedetector.
AtomRaceDetect
Operations performed after access to the variable.
afterAccessEvent(String)
- Method in class cz.vutbr.fit.racedetector.
EraserDetect
Operations performed after access to the variable.
afterBooleanVarReadEvent(String, String, Object, boolean)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterBooleanVarReadEvent(String, String, Object, boolean)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterBooleanVarWriteEvent(String, String, Object, boolean)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterBooleanVarWriteEvent(String, String, Object, boolean)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterDoubleArrayCellReadEvent(String, Object, int, double)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterDoubleArrayCellReadEvent(String, Object, int, double)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterDoubleArrayCellWriteEvent(String, Object, int, double)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterDoubleArrayCellWriteEvent(String, Object, int, double)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterDoubleVarReadEvent(String, String, Object, double)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterDoubleVarReadEvent(String, String, Object, double)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterDoubleVarWriteEvent(String, String, Object, double)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterDoubleVarWriteEvent(String, String, Object, double)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterFloatArrayCellReadEvent(String, Object, int, float)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterFloatArrayCellReadEvent(String, Object, int, float)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterFloatArrayCellWriteEvent(String, Object, int, float)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterFloatArrayCellWriteEvent(String, Object, int, float)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterFloatVarReadEvent(String, String, Object, float)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterFloatVarReadEvent(String, String, Object, float)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterFloatVarWriteEvent(String, String, Object, float)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterFloatVarWriteEvent(String, String, Object, float)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterIntegralArrayCellReadEvent(String, Object, int, int, long)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterIntegralArrayCellReadEvent(String, Object, int, int, long)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterIntegralArrayCellWriteEvent(String, Object, int, int, long)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterIntegralArrayCellWriteEvent(String, Object, int, int, long)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterIntegralVarReadEvent(String, String, Object, long, int)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterIntegralVarReadEvent(String, String, Object, long, int)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterIntegralVarWriteEvent(String, String, Object, long, int)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterIntegralVarWriteEvent(String, String, Object, long, int)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterJoinEvent(String, Thread, long, int, Exception)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterMethodEvent(String)
- Method in class cz.vutbr.fit.racedetector.
AtomRaceDetect
Called when method is being exited.
afterMonitorExitEvent(String, Object)
- Method in class cz.vutbr.fit.racedetector.
Eraser
When synchronization lock is released by thread - update sets of locks.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
Healing
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingNewMutex
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingOTWait
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingOTYield
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingPriority
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingSemaphore
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingThreads
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingYield
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingYieldPriority
Called after normal access to the variable.
afterNormalAccess(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingYieldThreads
Called after normal access to the variable.
afterRefArrayCellReadEvent(String, Object, int, Object)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterRefArrayCellReadEvent(String, Object, int, Object)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterRefArrayCellWriteEvent(String, Object, int, Object)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterRefArrayCellWriteEvent(String, Object, int, Object)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterRefVarReadEvent(String, String, Object, Object, String)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterRefVarReadEvent(String, String, Object, Object, String)
- Method in class cz.vutbr.fit.racedetector.
Eraser
afterRefVarWriteEvent(String, String, Object, Object, String)
- Method in class cz.vutbr.fit.racedetector.
AtomRace
afterRefVarWriteEvent(String, String, Object, Object, String)
- Method in class cz.vutbr.fit.racedetector.
Eraser
analyze(IAnalysisCache, MethodDescriptor)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomDataflowEngine
Method which is called in order to get dataflow analysis results for a given method.
ARInfo
- Class in
cz.vutbr.fit.racedetector
This class represents detected atomicity violation which could lead to a data race.
ARInfo(Atomicity)
- Constructor for class cz.vutbr.fit.racedetector.
ARInfo
Constructor.
ARInfo.ProblemAccess
- Class in
cz.vutbr.fit.racedetector
This class represents the problematic access which was detected when someone else was in atomicity section of this variable.
ARInfo.ProblemAccess(Thread, String, RaceDetector.Operation)
- Constructor for class cz.vutbr.fit.racedetector.
ARInfo.ProblemAccess
Constructor - information concerning the problematic access.
ARThread
- Class in
cz.vutbr.fit.racedetector
A structure used for maintaining important thread dependent information for AtomRace.
ARThread()
- Constructor for class cz.vutbr.fit.racedetector.
ARThread
ARVariable
- Class in
cz.vutbr.fit.racedetector
This class implements the core of the atomicity race detecting algorithm and contains variable related information.
ARVariable(Object, String)
- Constructor for class cz.vutbr.fit.racedetector.
ARVariable
constructor
AtomAnalysis
- Class in
cz.vutbr.fit.findbugs.atom.analysis
Implements control flow analysis which looks for atoms (two consequential accesses to some variable).
AtomAnalysis(DepthFirstSearch, ConstantPool, ConstantPoolGen)
- Constructor for class cz.vutbr.fit.findbugs.atom.analysis.
AtomAnalysis
Constructor
atomBegin
- Variable in class cz.vutbr.fit.atomicity.
AtomicityDouble
atomBegin
- Variable in class cz.vutbr.fit.atomicity.
AtomicityMulti
atomBegin
- Variable in class cz.vutbr.fit.atomicity.
AtomicitySimple
atomBegin
- Variable in class cz.vutbr.fit.atomicity.
AtomicityTriple
AtomCollection
- Class in
cz.vutbr.fit.findbugs.atom.detect
A collection of atoms (atoms or access tuples are basic units of atomicity found by static analysis).
AtomCollection()
- Constructor for class cz.vutbr.fit.findbugs.atom.detect.
AtomCollection
Constructor.
AtomDataflow
- Class in
cz.vutbr.fit.findbugs.atom.analysis
Creating control flow analysis environment.
AtomDataflow(CFG, AtomAnalysis)
- Constructor for class cz.vutbr.fit.findbugs.atom.analysis.
AtomDataflow
AtomDataflowEngine
- Class in
cz.vutbr.fit.findbugs.atom.analysis
Implements important interface methods which are used for communication with the analysis.
AtomDataflowEngine()
- Constructor for class cz.vutbr.fit.findbugs.atom.analysis.
AtomDataflowEngine
AtomFact
- Class in
cz.vutbr.fit.findbugs.atom.analysis
This class represents the fact (something what is true at the location) of the dataflow analysis for finding atomicity.
AtomFact(HashMap<String, HashSet<Access>>)
- Constructor for class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Constructor.
Atomicity
- Interface in
cz.vutbr.fit.atomicity
Interface defines the basic operations which every atomicity should support.
atomicity
- Variable in class cz.vutbr.fit.racedetector.
ARInfo
Atomicity section which was disturbed.
ATOMICITY
- Static variable in class cz.vutbr.fit.racedetector.
RaceDetector
Turn on the atomicity.
atomicity
- Static variable in class cz.vutbr.fit.racedetector.
RaceDetector
ATOMICITY_FILE
- Static variable in class cz.vutbr.fit.racedetector.
RaceDetector
file from which the setting will be taken
AtomicityCollection
- Class in
cz.vutbr.fit.atomicity
This class contains a collection of atomicity sections indexed by programLocation of the begining access to the atomicity.
AtomicityCollection()
- Constructor for class cz.vutbr.fit.atomicity.
AtomicityCollection
Constructor.
AtomicityCollection.XMLHandler
- Class in
cz.vutbr.fit.atomicity
A class implements the handler for processing an XML file.
AtomicityCollection.XMLHandler()
- Constructor for class cz.vutbr.fit.atomicity.
AtomicityCollection.XMLHandler
AtomicityDouble
- Class in
cz.vutbr.fit.atomicity
The representation of atomicity which has one start and two possible ends.
AtomicityDouble(Access, Access, Access)
- Constructor for class cz.vutbr.fit.atomicity.
AtomicityDouble
Constructor takes the two ends.
AtomicityMulti
- Class in
cz.vutbr.fit.atomicity
The representation of an atomicity which as more than three ends.
AtomicityMulti(Access, HashSet<Access>)
- Constructor for class cz.vutbr.fit.atomicity.
AtomicityMulti
Constructor gets a set of ends of the atomicity.
AtomicitySimple
- Class in
cz.vutbr.fit.atomicity
The representation of an atomicity with one end.
AtomicitySimple(Access, Access)
- Constructor for class cz.vutbr.fit.atomicity.
AtomicitySimple
Constructor takes the end of the atomicity.
AtomicityTriple
- Class in
cz.vutbr.fit.atomicity
The atomicity with three ends.
AtomicityTriple(Access, Access, Access, Access)
- Constructor for class cz.vutbr.fit.atomicity.
AtomicityTriple
Constructor takes the two ends.
AtomRace
- Class in
cz.vutbr.fit.racedetector
AtomRace()
- Constructor for class cz.vutbr.fit.racedetector.
AtomRace
ATOMRACE_IMMHEAL
- Static variable in class cz.vutbr.fit.racedetector.
RaceDetector
Turn AtomRace to try avoid even the first occurence of the race.
ATOMRACE_LEARN
- Static variable in class cz.vutbr.fit.racedetector.
RaceDetector
Turn AtomRace to work in the first "learning" phase.
AtomRaceDetect
- Class in
cz.vutbr.fit.racedetector
Implementation of the atomicity violation detection algorithm.
AtomRaceDetect()
- Constructor for class cz.vutbr.fit.racedetector.
AtomRaceDetect
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