|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.racedetector.RDThread
public abstract class RDThread
This class is used for keeping information concerning a thread.
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 |
---|
protected Healing healing
Constructor Detail |
---|
RDThread()
Method Detail |
---|
public void setAtomicSection(RDVariable rdv, Atomicity atom)
rdv
- Variableatom
- Atomicitypublic boolean isAtomicSectionEnd(RDVariable rdv, java.lang.String progLocation)
rdv
- VariableprogLocation
- Program
location - string must be interned !
public void clearAtomicSectionEnd(RDVariable rdv)
rdv
- Variablepublic void cleanRDThread()
public void setCachedInfo(RDVariable varRecord, java.lang.String properVarName)
varRecord
- properVarName
- public void setCachedProperVarName(java.lang.String properVarName)
properVarName
- public RDVariable getCachedVarRecord()
public java.lang.String getCachedProperVarName()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |