Uses of Class
cz.vutbr.fit.racedetector.RDVariable

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.