gov.nasa.jpf.vm

Class FinalizerThreadInfo

java.lang.Object

gov.nasa.jpf.vm.InfoObject

gov.nasa.jpf.vm.ThreadInfo

gov.nasa.jpf.vm.FinalizerThreadInfo

All Implemented Interfaces:

Restorable<ThreadInfo>, java.lang.Cloneable, java.lang.Comparable<ThreadInfo>, java.lang.Iterable<StackFrame>

public class FinalizerThreadInfo
extends ThreadInfo

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.vm.ThreadInfo

ThreadInfo.InvokedStackIterator, ThreadInfo.StackIterator, ThreadInfo.State

Field Summary

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

appCtx, attributes, ci, executedInstructions, id, nextPc, objRef, pendingException, pendingSUTExceptionRequest, returnedDirectCall, stackDepth, targetRef, threadData, tlIdx, top

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

annotations, attr, typeAnnotations

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FinalizerThreadInfo(VM vm, ApplicationContext appCtx, int id)

Method Summary

Modifier and Type	Method and Description
protected void	createFinalizerThreadObject(SystemClassLoaderInfo sysCl)
ElementInfo	getFinalizeQueue()
ElementInfo	getFinalizerQueuedInstance(ElementInfo ei) This method is invoked by the sweep() phase of the garbage collection process (GenericHeap.sweep()).
boolean	hasQueuedFinalizers()
protected boolean	isIdle()
boolean	isSystemThread()
protected void	notifyOnSemaphore()
boolean	scheduleFinalizer()
protected void	startFinalizerThread() Pushes a frame corresponding to Thread.run() into the finalizer thread stack to start the thread.
protected void	waitOnSemaphore()

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

addToThreadGroup, advancePC, atMethod, atPosition, atReturn, breakTransition, breakTransition, callUncaughtHandler, callUncaughtHandler, checkAssertion, checkConsistency, checkNextChoiceGeneratorSet, clearPendingException, clone, compareTo, computeId, countStackFrames, createAndThrowException, createAndThrowException, createAndThrowException, createMainThreadGroup, createMainThreadObject, createStackTraceElements, dumpStoringData, enableEmptyTransition, enter, executeInstruction, executeInstructionHidden, executeMethodAtomic, executeMethodHidden, executeTransition, exit, getApplicationContext, getBlockedObject, getCachedMemento, getCalleeThis, getCalleeThis, getCallerStackFrame, getCallerStackFrame, getClassInfo, getClassInfo, getCurrentThread, getElementInfo, getEntryMethod, getEnv, getExecutedInstructions, getExecutingClassInfo, getGlobalId, getGlobalUncaughtHandler, getHandlerContextFor, getHeap, getId, getInstanceUncaughtHandler, getInvokedStackFrames, getLastInvokedStackFrame, getLastNonSyntheticStackFrame, getLine, getLockCount, getLockedObjectReferences, getLockedObjects, getLockObject, getLockRef, getMemento, getMemento, getMJIEnv, getModifiableElementInfo, getModifiableFrame, getModifiableLastNonSyntheticStackFrame, getModifiableThreadObject, getModifiableTopFrame, getName, getNextPC, getPC, getPendingException, getPriority, getReturnedDirectCall, getRunnableRef, getScheduler, getSnapshot, getStack, getStackDepth, getStackFrameExecuting, getStackTrace, getState, getStateDescription, getStateName, getSystemClassLoaderInfo, getThis, getThisElementInfo, getThreadGroupRef, getThreadGroupUncaughtHandler, getThreadObject, getThreadObjectClassInfo, getThreadObjectRef, getTopFrame, getTopFrameMethodInfo, getVM, haltOnThrow, hasBeenStarted, hasChanged, hasDataChanged, hash, hasLockedObjects, hasNextChoiceGenerator, hasOtherRunnables, hasReturnedFromDirectCall, hasReturnedFromDirectCall, hasStackChanged, hasUncaughtHandler, holdsLock, init, interrupt, invokedStackFrames, isAlive, isAtomic, isBlocked, isBlockedOrNotified, isCalleeThis, isClinitOnStack, isCtorOnStack, isCurrentThread, isDaemon, isEmptyTransitionEnabled, isExecutingAtomically, isFirstStepInsn, isInCtor, isInCurrentThreadList, isInNativeMethod, isInstructionSkipped, isInterrupted, isLockOwner, isNew, isNotified, isPostExec, isPreExec, isRunnable, isSleeping, isStopped, isSuspended, isTerminated, isThis, isTimedOut, isTimeoutRunnable, isTimeoutWaiting, isUnblocked, isUncaughtHandlerOnStack, isWaiting, isWaitingOrTimedOut, iterator, leave, markTdChanged, markTfChanged, markUnchanged, maxTransitionLengthExceeded, mixinExecutionStateHash, popAndGetModifiableTopFrame, popAndGetTopFrame, popDirectCallFrame, popFrame, popUncaughtHandlerFrame, printPendingExceptionOn, printStackContent, printStackTrace, printStackTrace, printStackTrace, processPendingSUTExceptionRequest, pushFrame, reExecuteInstruction, requestSUTException, reschedule, resetEmptyTransition, resetLockRef, resetTimedOut, resetTransientAttributes, resolveReferencedClass, restoreThreadData, resume, setBlockedInAtomicSection, setCachedMemento, setLockCount, setNextChoiceGenerator, setNextPC, setPC, setPriority, setRunning, setSleeping, setState, setStopped, setTerminated, setTimedOut, setTopFrame, skipInstruction, skipInstruction, skipInstructionLogging, suspend, threadDataClone, throwException, throwStopException, toString, unwindTo, unwindToFirstFrame, willBeRunnable, willReExecuteInstruction

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

addAnnotation, addAnnotations, addAttr, addTypeAnnotation, addTypeAnnotations, attrIterator, attrIterator, getAnnotation, getAnnotations, getAttr, getAttr, getDeclaredAnnotations, getNextAttr, getTargetTypeAnnotations, getTypeAnnotation, getTypeAnnotations, hasAnnotation, hasAnnotations, hasAttr, hasAttr, hasAttrValue, hasTypeAnnotation, hasTypeAnnotations, removeAttr, replaceAttr, setAnnotations, setAttr, setTypeAnnotations

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

FinalizerThreadInfo

protected FinalizerThreadInfo(VM vm,
                              ApplicationContext appCtx,
                              int id)

Method Detail

createFinalizerThreadObject

protected void createFinalizerThreadObject(SystemClassLoaderInfo sysCl)

startFinalizerThread

protected void startFinalizerThread()

Pushes a frame corresponding to Thread.run() into the finalizer thread stack to start the thread.

hasQueuedFinalizers

public boolean hasQueuedFinalizers()

getFinalizeQueue

public ElementInfo getFinalizeQueue()

getFinalizerQueuedInstance

public ElementInfo getFinalizerQueuedInstance(ElementInfo ei)

This method is invoked by the sweep() phase of the garbage collection process (GenericHeap.sweep()). It adds a given finalizable object to the finalizeQueue array of gov.nasa.jpf.FinalizerThread. NOTE: this might return a new ElementInfo since we have to modify it (setting the finalized flag)

scheduleFinalizer

public boolean scheduleFinalizer()

waitOnSemaphore

protected void waitOnSemaphore()

notifyOnSemaphore

protected void notifyOnSemaphore()

isIdle

protected boolean isIdle()

isSystemThread

public boolean isSystemThread()

Overrides:

isSystemThread in class ThreadInfo