class InniLocker
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.ArrayList<InniArm> |
armList |
private boolean |
cleared |
private boolean |
ecFormed |
private boolean |
hasCap |
private CLock[] |
lockArray |
private CLock |
masterLock |
int |
N |
private boolean |
quantified |
Constructor and Description |
---|
InniLocker(java.util.ArrayList<InniArm> armList) |
Modifier and Type | Method and Description |
---|---|
private boolean |
capChanged()
Determine if a capability refers to a different operation than
the last time the equivalence class was gathered.
|
private static InLock |
createLocalLock() |
private void |
equivClassFormed() |
void |
lock()
Lock the equivalence class.
|
void |
unlock() |
void |
waitOnLock() |
public int N
private java.util.ArrayList<InniArm> armList
private CLock[] lockArray
private CLock masterLock
private boolean ecFormed
private boolean hasCap
private boolean quantified
private boolean cleared
public InniLocker(java.util.ArrayList<InniArm> armList)
public void lock()
public void unlock()
public void waitOnLock()
private void equivClassFormed()
private boolean capChanged()
private static InLock createLocalLock()