|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.racedetector.RDThread
cz.vutbr.fit.racedetector.ERThread
public class ERThread
Class takes care of the information gathered about the thread. It is also used for buffering information which will be used during the next step done by this thread.
Field Summary |
---|
Fields inherited from class cz.vutbr.fit.racedetector.RDThread |
---|
healing |
Constructor Summary | |
---|---|
ERThread()
constructor |
Method Summary | |
---|---|
void |
addHeldLock(int lock)
Adds lock to the set of locks currently held by the thread |
void |
cleanERThread()
Information of the thread are removed, for memory saving. |
java.util.Set<javolution.util.Index> |
getHeldLocks()
Returns locks held by the thread. |
java.lang.String |
printHeldLocks()
Returns a text representation of held locks. |
void |
removeHeldLock(int lock)
Removes lock from the set of locks currently held by the thread. |
Methods inherited from class cz.vutbr.fit.racedetector.RDThread |
---|
cleanRDThread, clearAtomicSectionEnd, getCachedProperVarName, getCachedVarRecord, isAtomicSectionEnd, setAtomicSection, setCachedInfo, setCachedProperVarName |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
ERThread()
Method Detail |
---|
public void cleanERThread()
public void addHeldLock(int lock)
lock
- A lock to be addedpublic void removeHeldLock(int lock)
lock
- A lock to be removedpublic java.util.Set<javolution.util.Index> getHeldLocks()
public java.lang.String printHeldLocks()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |