edu.ucdavis.rj.Locks
Class InniLocker
java.lang.Object
edu.ucdavis.rj.Locks.InniLocker
public class InniLocker
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
N
public int N
armList
private java.util.ArrayList<InniArm> armList
lockArray
private CLock[] lockArray
masterLock
private CLock masterLock
ecFormed
private boolean ecFormed
hasCap
private boolean hasCap
quantified
private boolean quantified
cleared
private boolean cleared
InniLocker
public InniLocker(java.util.ArrayList<InniArm> armList)
lock
public void lock()
- Lock the equivalence class. First determine if some number of
operations must be added to the equivalence class. If so, then
create a new ec.
unlock
public void unlock()
waitOnLock
public void waitOnLock()
equivClassFormed
private void equivClassFormed()
capChanged
private boolean capChanged()
- Determine if a capability refers to a different operation than
the last time the equivalence class was gathered.
createLocalLock
private static InLock createLocalLock()