gov.nasa.jpf.vm

Class LockSetThresholdFli

java.lang.Object

gov.nasa.jpf.vm.FieldLockInfo

gov.nasa.jpf.vm.ThresholdFieldLockInfo

gov.nasa.jpf.vm.LockSetThresholdFli

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

PersistentLockSetThresholdFli

public class LockSetThresholdFli
extends ThresholdFieldLockInfo

a threshold FieldLockInfo with a set of lock candidates this is the destructive update version. Override singleLockThresholdFli() and lockSetthresholdFli() for a persistent version

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	lockRefSet

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

remainingChecks

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

empty, tiLastCheck

Constructor Summary

Constructors

Constructor and Description
LockSetThresholdFli(ThreadInfo ti, int[] currentLockRefs, int checkThreshold)

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 LockSetThresholdFli	lockSetThresholdFli(ThreadInfo ti, int[] lockRefs, int remainingChecks)
protected SingleLockThresholdFli	singleLockThresholdFli(ThreadInfo ti, int lockRef, int remainingChecks) override this for search global FieldLockInfos
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

lockRefSet

protected int[] lockRefSet

Constructor Detail

LockSetThresholdFli

public LockSetThresholdFli(ThreadInfo ti,
                           int[] currentLockRefs,
                           int checkThreshold)

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 search global FieldLockInfos

lockSetThresholdFli

protected LockSetThresholdFli lockSetThresholdFli(ThreadInfo ti,
                                                  int[] lockRefs,
                                                  int remainingChecks)

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