|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RDVariable | |
---|---|
cz.vutbr.fit.healing | |
cz.vutbr.fit.racedetector | Race detector for IBM ConTest What is a data race? |
Uses of RDVariable in cz.vutbr.fit.healing |
---|
Methods in cz.vutbr.fit.healing with parameters of type RDVariable | |
---|---|
protected void |
HealingSemaphore.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected abstract void |
Healing.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingNewMutex.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingOTWait.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingOTYield.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingPriority.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingThreads.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingYield.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingYieldPriority.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingYieldThreads.afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
HealingSemaphore.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected abstract void |
Healing.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingNewMutex.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingOTWait.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingOTYield.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingPriority.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingThreads.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingYield.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingYieldPriority.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
HealingYieldThreads.beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
void |
Healing.endHealing(java.lang.String programLocation,
RDVariable rdv,
RDThread rdt)
End healing if needed by chosen healing method. |
protected void |
HealingSemaphore.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected abstract void |
Healing.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section which should be atomic. |
protected void |
HealingNewMutex.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
HealingOTWait.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
HealingOTYield.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
HealingPriority.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
HealingThreads.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
HealingYield.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
HealingYieldPriority.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
HealingYieldThreads.enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
boolean |
Healing.isHealedVariable(RDVariable rdv)
Returns true if the given variable is healed by this thread. |
protected void |
HealingSemaphore.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected abstract void |
Healing.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section which should be atomic. |
protected void |
HealingNewMutex.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected void |
HealingOTWait.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected void |
HealingOTYield.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected void |
HealingPriority.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected void |
HealingThreads.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected void |
HealingYield.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected void |
HealingYieldPriority.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
protected void |
HealingYieldThreads.leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
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 RDVariable in cz.vutbr.fit.racedetector |
---|
Subclasses of RDVariable in cz.vutbr.fit.racedetector | |
---|---|
class |
ARVariable
This class implements the core of the atomicity race detecting algorithm and contains variable related information. |
class |
ERVariable
This class contains information gathered concerning the variable. |
Methods in cz.vutbr.fit.racedetector that return RDVariable | |
---|---|
RDVariable |
RDThread.getCachedVarRecord()
Get the variable's record from the cache. |
RDVariable |
AtomRaceDetect.getNewVariable(java.lang.Object inst,
java.lang.String str)
Returns a new variable object. |
RDVariable |
Detector.getNewVariable(java.lang.Object inst,
java.lang.String str)
Returns a new structure to maintain information concerning the variable. |
RDVariable |
EraserDetect.getNewVariable(java.lang.Object inst,
java.lang.String str)
Returns a new variable object. |
RDVariable |
RDVariableCollection.getVariable(java.lang.Object instance,
java.lang.String properVarName)
Returns variable object pointed at the given variable. |
Methods in cz.vutbr.fit.racedetector with parameters of type RDVariable | |
---|---|
void |
RDThread.clearAtomicSectionEnd(RDVariable rdv)
Remove the information concerning atomic section end for the variable. |
boolean |
RDThread.isAtomicSectionEnd(RDVariable rdv,
java.lang.String progLocation)
Returns true if the given program location is the end of buffered atomic section for this variable. |
void |
RDThread.setAtomicSection(RDVariable rdv,
Atomicity atom)
Sets the end of atomic section - this program location is buffered for better performance. |
void |
RDThread.setCachedInfo(RDVariable varRecord,
java.lang.String properVarName)
Store information concerning the currently accessed variable to cache. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |