cz.vutbr.fit.racedetector
Class RDThread

java.lang.Object
  extended by cz.vutbr.fit.racedetector.RDThread
Direct Known Subclasses:
ARThread, ERThread

public abstract class RDThread
extends java.lang.Object

This class is used for keeping information concerning a thread.

Author:
Zdenek Letko

Field Summary
protected  Healing healing
           
 
Constructor Summary
RDThread()
          constructor
 
Method Summary
 void cleanRDThread()
          Clean the structures.
 void clearAtomicSectionEnd(RDVariable rdv)
          Remove the information concerning atomic section end for the variable.
 java.lang.String getCachedProperVarName()
          Get the variable's proper name from the cache.
 RDVariable getCachedVarRecord()
          Get the variable's record from the cache.
 boolean 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 setAtomicSection(RDVariable rdv, Atomicity atom)
          Sets the end of atomic section - this program location is buffered for better performance.
 void setCachedInfo(RDVariable varRecord, java.lang.String properVarName)
          Store information concerning the currently accessed variable to cache.
 void setCachedProperVarName(java.lang.String properVarName)
          Store the proper variable name of the currently accessed variable to cache.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

healing

protected Healing healing
Constructor Detail

RDThread

RDThread()
constructor

Method Detail

setAtomicSection

public void setAtomicSection(RDVariable rdv,
                             Atomicity atom)
Sets the end of atomic section - this program location is buffered for better performance.

Parameters:
rdv - Variable
atom - Atomicity

isAtomicSectionEnd

public boolean isAtomicSectionEnd(RDVariable rdv,
                                  java.lang.String progLocation)
Returns true if the given program location is the end of buffered atomic section for this variable.

Parameters:
rdv - Variable
progLocation - Program location - string must be interned !
Returns:
Is end of atomic section

clearAtomicSectionEnd

public void clearAtomicSectionEnd(RDVariable rdv)
Remove the information concerning atomic section end for the variable.

Parameters:
rdv - Variable

cleanRDThread

public void cleanRDThread()
Clean the structures.


setCachedInfo

public void setCachedInfo(RDVariable varRecord,
                          java.lang.String properVarName)
Store information concerning the currently accessed variable to cache.

Parameters:
varRecord -
properVarName -

setCachedProperVarName

public void setCachedProperVarName(java.lang.String properVarName)
Store the proper variable name of the currently accessed variable to cache.

Parameters:
properVarName -

getCachedVarRecord

public RDVariable getCachedVarRecord()
Get the variable's record from the cache.

Returns:
variable record

getCachedProperVarName

public java.lang.String getCachedProperVarName()
Get the variable's proper name from the cache.

Returns:
variable name