|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.racedetector.ARInfo
public class ARInfo
This class represents detected atomicity violation which could lead to a data race. It contain all necessary information that can be used for tracking what happened.
Nested Class Summary | |
---|---|
class |
ARInfo.ProblemAccess
This class represents the problematic access which was detected when someone else was in atomicity section of this variable. |
Field Summary | |
---|---|
Atomicity |
atomicity
Atomicity section which was disturbed. |
Constructor Summary | |
---|---|
ARInfo(Atomicity at)
Constructor. |
Method Summary | |
---|---|
boolean |
addProblemAccess(java.lang.String location,
RaceDetector.Operation op)
Adds a new ProblemAccess to this race report only if the current thread is different from one which enters the atomic section. |
boolean |
equals(java.lang.Object arrace)
Returns true if the given object is of type ARRace and atomicity and byThread are the same. |
int |
hashCode()
Returns hashCode of this Object which is actually the hash code of the program location. |
ARInfo.ProblemAccess |
isTrueRace(RaceDetector.Operation endOp)
Returns true if the given atomicity ending operation means that it was a true race. |
java.lang.String |
printAtomViolatReport(ARInfo.ProblemAccess pAcc)
Produce the warning that race has been detected. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public final Atomicity atomicity
Constructor Detail |
---|
public ARInfo(Atomicity at)
at
- Atomicity.Method Detail |
---|
public boolean addProblemAccess(java.lang.String location, RaceDetector.Operation op)
location
- op
-
public java.lang.String printAtomViolatReport(ARInfo.ProblemAccess pAcc)
public ARInfo.ProblemAccess isTrueRace(RaceDetector.Operation endOp)
Problematic interleavings are (based on AVIO paper):
endOp
-
public boolean equals(java.lang.Object arrace)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |