gov.nasa.jpf.vm

Class PriorityRunnablesSyncPolicy

java.lang.Object

gov.nasa.jpf.vm.AllRunnablesSyncPolicy

gov.nasa.jpf.vm.PriorityRunnablesSyncPolicy

All Implemented Interfaces:

SyncPolicy

public class PriorityRunnablesSyncPolicy
extends AllRunnablesSyncPolicy

a AllRunnablesSyncPolicy that only considers the runnables with the highest priority as choices 2do - it doesn't make much sense to compare priorities across process boundaries (unless we model distributed apps running on the same machine)

Field Summary

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

blockedWithoutChoice, breakLockRelease, breakNotify, breakPriority, breakSingleChoice, breakSleep, breakYield, vm

Fields inherited from interface gov.nasa.jpf.vm.SyncPolicy

BEGIN_ATOMIC, BLOCK, END_ATOMIC, INTERRUPT, JOIN, LOCK, NOTIFY, NOTIFYALL, PARK, POST_FINALIZE, PRIORITY, RELEASE, RESCHEDULE, RESUME, ROOT, SLEEP, START, STOP, SUSPEND, TERMINATE, UNPARK, WAIT, YIELD

Constructor Summary

Constructors

Constructor and Description
PriorityRunnablesSyncPolicy(Config config)

Method Summary

Modifier and Type	Method and Description
protected ThreadInfo[]	getTimeoutRunnables(ApplicationContext appCtx) this is the main policy method that can be overridden by subclasses, e.g.

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

getRunnableCG, initializeSyncPolicy, initializeThreadSync, setBlockingCG, setMaybeBlockingCG, setNextChoiceGenerator, setNonBlockingCG, setRootCG, setsBeginAtomicCG, setsBlockedThreadCG, setsEndAtomicCG, setsInterruptCG, setsJoinCG, setsLockAcquisitionCG, setsLockReleaseCG, setsNotifyAllCG, setsNotifyCG, setsParkCG, setsPostFinalizeCG, setsPriorityCG, setsRescheduleCG, setsResumeCG, setsSleepCG, setsStartCG, setsStopCG, setsSuspendCG, setsTerminationCG, setsUnparkCG, setsWaitCG, setsYieldCG

Methods inherited from class java.lang.Object

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

Constructor Detail

PriorityRunnablesSyncPolicy

public PriorityRunnablesSyncPolicy(Config config)

Method Detail

getTimeoutRunnables

protected ThreadInfo[] getTimeoutRunnables(ApplicationContext appCtx)

Description copied from class: AllRunnablesSyncPolicy

this is the main policy method that can be overridden by subclasses, e.g. by filtering out the highest priority runnables, or by ordering according to priority Default behavior is to first try to find runnables within the provided ApplicationContext, and fall back to any runnable if there are none in this context this includes threads that are in operations that can timeout

Overrides:

getTimeoutRunnables in class AllRunnablesSyncPolicy