gov.nasa.jpf.vm

Class SingleLockThresholdFli

java.lang.Object

gov.nasa.jpf.vm.FieldLockInfo

gov.nasa.jpf.vm.ThresholdFieldLockInfo

gov.nasa.jpf.vm.SingleLockThresholdFli

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

PersistentSingleLockThresholdFli

public class SingleLockThresholdFli
extends ThresholdFieldLockInfo

a threshold FieldLockInfo with a single lock candidate This is the base version that does destructive updates. Override singleLockThresholdFli for a persistent version

Field Summary

Fields

Modifier and Type	Field and Description
protected int	lockRef

Fields inherited from class gov.nasa.jpf.vm.ThresholdFieldLockInfo

remainingChecks

Fields inherited from class gov.nasa.jpf.vm.FieldLockInfo

empty, tiLastCheck

Method Summary

Modifier and Type	Method and Description
FieldLockInfo	checkProtection(ThreadInfo ti, ElementInfo ei, FieldInfo fi)
FieldLockInfo	cleanUp(Heap heap) only called at the end of the gc on all live objects.
protected int[]	getCandidateLockSet()
protected SingleLockThresholdFli	singleLockThresholdFli(ThreadInfo ti, int lockRef, int remainingChecks) override this for path local flis
java.lang.String	toString()

Methods inherited from class gov.nasa.jpf.vm.ThresholdFieldLockInfo

checkFailedLockAssumption, getInstance, isProtected

Methods inherited from class gov.nasa.jpf.vm.FieldLockInfo

clone, getEmptyFieldLockInfo, isFinal, needsPindown

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

lockRef

protected int lockRef

Method Detail

getCandidateLockSet

protected int[] getCandidateLockSet()

Specified by:

getCandidateLockSet in class FieldLockInfo

singleLockThresholdFli

protected SingleLockThresholdFli singleLockThresholdFli(ThreadInfo ti,
                                                        int lockRef,
                                                        int remainingChecks)

override this for path local flis

checkProtection

public FieldLockInfo checkProtection(ThreadInfo ti,
                                     ElementInfo ei,
                                     FieldInfo fi)

Specified by:

checkProtection in class FieldLockInfo

cleanUp

public FieldLockInfo cleanUp(Heap heap)

only called at the end of the gc on all live objects. The recycled ones are either already nulled in the heap, or are not marked as live

Specified by:

cleanUp in class FieldLockInfo

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object