MutualExclusion
Class CriticalRegionLockout
java.lang.Object
|
+--daj.GlobalAssertion
|
+--MutualExclusion.CriticalRegionLockout
- class CriticalRegionLockout
- extends daj.GlobalAssertion
This assertion checks that if a process tries to enter the critical region,
no other process trying it at any time later will be allowed to enter the
critical region before the first process has entered it.
Method Summary |
boolean |
assert(daj.Program[] progs)
|
java.lang.String |
getText()
|
Methods inherited from class daj.GlobalAssertion |
getMessages, getMessages |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
tryTimes
private LogicalTime[] tryTimes
procInCR
private int procInCR
procTryingLonger
private int procTryingLonger
CriticalRegionLockout
public CriticalRegionLockout()
assert
public boolean assert(daj.Program[] progs)
- Overrides:
assert
in class daj.GlobalAssertion
getText
public java.lang.String getText()
- Overrides:
getText
in class daj.GlobalAssertion