|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Atomicity | |
---|---|
cz.vutbr.fit.atomicity | |
cz.vutbr.fit.findbugs.atom.detect | |
cz.vutbr.fit.healing | |
cz.vutbr.fit.racedetector | Race detector for IBM ConTest What is a data race? |
Uses of Atomicity in cz.vutbr.fit.atomicity |
---|
Classes in cz.vutbr.fit.atomicity that implement Atomicity | |
---|---|
class |
AtomicityDouble
The representation of atomicity which has one start and two possible ends. |
class |
AtomicityMulti
The representation of an atomicity which as more than three ends. |
class |
AtomicitySimple
The representation of an atomicity with one end. |
class |
AtomicityTriple
The atomicity with three ends. |
Methods in cz.vutbr.fit.atomicity that return Atomicity | |
---|---|
Atomicity |
AtomicityCollection.getAtomicity(java.lang.String programLocation)
Returns Atomicity object pointed at the given programLocation. |
static Atomicity |
AtomicityCollection.getNewAtomicity(Access begin,
java.util.HashSet<Access> ends)
Returns the right Atomicity object according to the number of ends the atomicity should have. |
Methods in cz.vutbr.fit.atomicity with parameters of type Atomicity | |
---|---|
void |
AtomicityCollection.addAtomicity(java.lang.String progLoc,
Atomicity atom)
Add a new atomicity to the collection. |
Uses of Atomicity in cz.vutbr.fit.findbugs.atom.detect |
---|
Methods in cz.vutbr.fit.findbugs.atom.detect with parameters of type Atomicity | |
---|---|
protected static boolean |
FilterAtomicPattern.isAtomicPattern(Atomicity atom)
|
Uses of Atomicity in cz.vutbr.fit.healing |
---|
Methods in cz.vutbr.fit.healing with parameters of type Atomicity | |
---|---|
void |
Healing.startHealing(java.lang.String programLocation,
RDVariable rdv,
RDThread rdt,
Atomicity atom)
Start healing operation if needed according to chosen healing method. |
Uses of Atomicity in cz.vutbr.fit.racedetector |
---|
Fields in cz.vutbr.fit.racedetector declared as Atomicity | |
---|---|
Atomicity |
ARInfo.atomicity
Atomicity section which was disturbed. |
Methods in cz.vutbr.fit.racedetector with parameters of type Atomicity | |
---|---|
boolean |
ARVariable.beforeAccess(ARThread art,
java.lang.String programLocation,
RaceDetector.Operation operation,
Atomicity beginAtom)
Things that should be done before the access to the variable: Check if someone else is not in the critical section of this variable (if is - than conflict is detected). |
void |
RDThread.setAtomicSection(RDVariable rdv,
Atomicity atom)
Sets the end of atomic section - this program location is buffered for better performance. |
Constructors in cz.vutbr.fit.racedetector with parameters of type Atomicity | |
---|---|
ARInfo(Atomicity at)
Constructor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |