|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ARThread | |
---|---|
cz.vutbr.fit.racedetector | Race detector for IBM ConTest What is a data race? |
Uses of ARThread in cz.vutbr.fit.racedetector |
---|
Methods in cz.vutbr.fit.racedetector with parameters of type ARThread | |
---|---|
boolean |
ARVariable.afterAccess(ARThread art,
java.lang.String programLocation)
Things that should be done before the access to the variable: If this thread is inside the critical section of this variable and the given program location is the end of the atomic section - stop checking. |
boolean |
ARVariable.beforeAccess(ARThread art,
java.lang.String programLocation,
RaceDetector.Operation operation,
Atomicity beginAtom)
Things that should be done before the access to the variable: Check if someone else is not in the critical section of this variable (if is - than conflict is detected). |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |