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
 

A B C D E F G H I J L M N O P Q R S T U V W