gov.nasa.jpf.vm

Class DelegatingScheduler

java.lang.Object

gov.nasa.jpf.vm.DelegatingScheduler

All Implemented Interfaces:

Scheduler, SharednessPolicy, SyncPolicy

public class DelegatingScheduler
extends java.lang.Object
implements Scheduler

a generic scheduler with configured SyncPolicy and SharednesPolicy objects it delegates to

Field Summary

Fields

Modifier and Type	Field and Description
protected SharednessPolicy	sharednessPolicy
protected SyncPolicy	syncPolicy

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
DelegatingScheduler(Config config)

Method Summary

Modifier and Type	Method and Description
boolean	canHaveSharedArrayCG(ThreadInfo ti, Instruction insn, ElementInfo eiArray, int idx)
boolean	canHaveSharedClassCG(ThreadInfo ti, Instruction insn, ElementInfo eiFieldOwner, FieldInfo fi)
boolean	canHaveSharedObjectCG(ThreadInfo ti, Instruction insn, ElementInfo eiFieldOwner, FieldInfo fi)
void	cleanupThreadTermination(ThreadInfo ti) give policy a chance to clean up referencing ThreadInfoSets upon thread termination
void	initialize(VM vm, ApplicationContext appCtx) per application initialization
void	initializeClassSharedness(ThreadInfo allocThread, StaticElementInfo ei) initializeSharednessPolicy class specific sharedness data
void	initializeObjectSharedness(ThreadInfo allocThread, DynamicElementInfo ei) initializeSharednessPolicy object specific sharedness data
void	initializeSharednessPolicy(VM vm, ApplicationContext appCtx) per application / SystemClassLoaderInfo specific initialization of this policy
void	initializeSyncPolicy(VM vm, ApplicationContext appCtx) called once per application, after the VM is fully initialized
void	initializeThreadSync(ThreadInfo tiCurrent, ThreadInfo tiNew) called during ThreadInfo initialization, before Thread.start()
void	setRootCG() set the very first CG, which is not optional
boolean	setsBeginAtomicCG(ThreadInfo ti)
boolean	setsBlockedThreadCG(ThreadInfo ti, ElementInfo ei)
boolean	setsEndAtomicCG(ThreadInfo ti)
boolean	setsInterruptCG(ThreadInfo tiCurrent, ThreadInfo tiInterrupted)
boolean	setsJoinCG(ThreadInfo tiCurrent, ThreadInfo tiJoin, long timeout)
boolean	setsLockAcquisitionCG(ThreadInfo ti, ElementInfo ei)
boolean	setsLockReleaseCG(ThreadInfo ti, ElementInfo ei, boolean didUnblock)
boolean	setsNotifyAllCG(ThreadInfo ti, boolean didNotify)
boolean	setsNotifyCG(ThreadInfo ti, boolean didNotify)
boolean	setsParkCG(ThreadInfo ti, boolean isAbsTime, long timeout)
boolean	setsPostFinalizeCG(ThreadInfo tiFinalizer)
boolean	setsPriorityCG(ThreadInfo ti)
boolean	setsRescheduleCG(ThreadInfo ti, java.lang.String reason)
boolean	setsResumeCG(ThreadInfo tiCurrent, ThreadInfo tiResumed)
boolean	setsSharedArrayCG(ThreadInfo ti, Instruction insn, ElementInfo eiArray, int idx)
boolean	setsSharedClassCG(ThreadInfo ti, Instruction insn, ElementInfo eiFieldOwner, FieldInfo fi)
boolean	setsSharedClassExposureCG(ThreadInfo ti, Instruction insn, ElementInfo eiFieldOwner, FieldInfo fi, ElementInfo eiExposed)
boolean	setsSharedObjectCG(ThreadInfo ti, Instruction insn, ElementInfo eiFieldOwner, FieldInfo fi)
boolean	setsSharedObjectExposureCG(ThreadInfo ti, Instruction insn, ElementInfo eiFieldOwner, FieldInfo fi, ElementInfo eiExposed)
boolean	setsSleepCG(ThreadInfo ti, long millis, int nanos)
boolean	setsStartCG(ThreadInfo tiCurrent, ThreadInfo tiStarted)
boolean	setsStopCG(ThreadInfo tiCurrent, ThreadInfo tiStopped)
boolean	setsSuspendCG(ThreadInfo tiCurrent, ThreadInfo tiSuspended)
boolean	setsTerminationCG(ThreadInfo ti)
boolean	setsUnparkCG(ThreadInfo tiCurrent, ThreadInfo tiUnparked)
boolean	setsWaitCG(ThreadInfo ti, long timeout)
boolean	setsYieldCG(ThreadInfo ti)
ElementInfo	updateArraySharedness(ThreadInfo ti, ElementInfo eiArray, int idx)
ElementInfo	updateClassSharedness(ThreadInfo ti, ElementInfo ei, FieldInfo fi)
ElementInfo	updateObjectSharedness(ThreadInfo ti, ElementInfo ei, FieldInfo fi)

Methods inherited from class java.lang.Object

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

Field Detail

syncPolicy

protected SyncPolicy syncPolicy

sharednessPolicy

protected SharednessPolicy sharednessPolicy

Constructor Detail

DelegatingScheduler

public DelegatingScheduler(Config config)

Method Detail

initialize

public void initialize(VM vm,
                       ApplicationContext appCtx)

Description copied from interface: Scheduler

per application initialization

Specified by:

initialize in interface Scheduler

initializeSyncPolicy

public void initializeSyncPolicy(VM vm,
                                 ApplicationContext appCtx)

Description copied from interface: SyncPolicy

called once per application, after the VM is fully initialized

Specified by:

initializeSyncPolicy in interface SyncPolicy

initializeThreadSync

public void initializeThreadSync(ThreadInfo tiCurrent,
                                 ThreadInfo tiNew)

Description copied from interface: SyncPolicy

called during ThreadInfo initialization, before Thread.start()

Specified by:

initializeThreadSync in interface SyncPolicy

setRootCG

public void setRootCG()

Description copied from interface: SyncPolicy

set the very first CG, which is not optional

Specified by:

setRootCG in interface SyncPolicy

setsBlockedThreadCG

public boolean setsBlockedThreadCG(ThreadInfo ti,
                                   ElementInfo ei)

Specified by:

setsBlockedThreadCG in interface SyncPolicy

setsLockAcquisitionCG

public boolean setsLockAcquisitionCG(ThreadInfo ti,
                                     ElementInfo ei)

Specified by:

setsLockAcquisitionCG in interface SyncPolicy

setsLockReleaseCG

public boolean setsLockReleaseCG(ThreadInfo ti,
                                 ElementInfo ei,
                                 boolean didUnblock)

Specified by:

setsLockReleaseCG in interface SyncPolicy

setsTerminationCG

public boolean setsTerminationCG(ThreadInfo ti)

Specified by:

setsTerminationCG in interface SyncPolicy

setsWaitCG

public boolean setsWaitCG(ThreadInfo ti,
                          long timeout)

Specified by:

setsWaitCG in interface SyncPolicy

setsNotifyCG

public boolean setsNotifyCG(ThreadInfo ti,
                            boolean didNotify)

Specified by:

setsNotifyCG in interface SyncPolicy

setsNotifyAllCG

public boolean setsNotifyAllCG(ThreadInfo ti,
                               boolean didNotify)

Specified by:

setsNotifyAllCG in interface SyncPolicy

setsStartCG

public boolean setsStartCG(ThreadInfo tiCurrent,
                           ThreadInfo tiStarted)

Specified by:

setsStartCG in interface SyncPolicy

setsYieldCG

public boolean setsYieldCG(ThreadInfo ti)

Specified by:

setsYieldCG in interface SyncPolicy

setsPriorityCG

public boolean setsPriorityCG(ThreadInfo ti)

Specified by:

setsPriorityCG in interface SyncPolicy

setsSleepCG

public boolean setsSleepCG(ThreadInfo ti,
                           long millis,
                           int nanos)

Specified by:

setsSleepCG in interface SyncPolicy

setsSuspendCG

public boolean setsSuspendCG(ThreadInfo tiCurrent,
                             ThreadInfo tiSuspended)

Specified by:

setsSuspendCG in interface SyncPolicy

setsResumeCG

public boolean setsResumeCG(ThreadInfo tiCurrent,
                            ThreadInfo tiResumed)

Specified by:

setsResumeCG in interface SyncPolicy

setsJoinCG

public boolean setsJoinCG(ThreadInfo tiCurrent,
                          ThreadInfo tiJoin,
                          long timeout)

Specified by:

setsJoinCG in interface SyncPolicy

setsStopCG

public boolean setsStopCG(ThreadInfo tiCurrent,
                          ThreadInfo tiStopped)

Specified by:

setsStopCG in interface SyncPolicy

setsInterruptCG

public boolean setsInterruptCG(ThreadInfo tiCurrent,
                               ThreadInfo tiInterrupted)

Specified by:

setsInterruptCG in interface SyncPolicy

setsParkCG

public boolean setsParkCG(ThreadInfo ti,
                          boolean isAbsTime,
                          long timeout)

Specified by:

setsParkCG in interface SyncPolicy

setsUnparkCG

public boolean setsUnparkCG(ThreadInfo tiCurrent,
                            ThreadInfo tiUnparked)

Specified by:

setsUnparkCG in interface SyncPolicy

setsBeginAtomicCG

public boolean setsBeginAtomicCG(ThreadInfo ti)

Specified by:

setsBeginAtomicCG in interface SyncPolicy

setsEndAtomicCG

public boolean setsEndAtomicCG(ThreadInfo ti)

Specified by:

setsEndAtomicCG in interface SyncPolicy

setsRescheduleCG

public boolean setsRescheduleCG(ThreadInfo ti,
                                java.lang.String reason)

Specified by:

setsRescheduleCG in interface SyncPolicy

setsPostFinalizeCG

public boolean setsPostFinalizeCG(ThreadInfo tiFinalizer)

Specified by:

setsPostFinalizeCG in interface SyncPolicy

initializeSharednessPolicy

public void initializeSharednessPolicy(VM vm,
                                       ApplicationContext appCtx)

Description copied from interface: SharednessPolicy

per application / SystemClassLoaderInfo specific initialization of this policy

Specified by:

initializeSharednessPolicy in interface SharednessPolicy

initializeObjectSharedness

public void initializeObjectSharedness(ThreadInfo allocThread,
                                       DynamicElementInfo ei)

Description copied from interface: SharednessPolicy

initializeSharednessPolicy object specific sharedness data

Specified by:

initializeObjectSharedness in interface SharednessPolicy

initializeClassSharedness

public void initializeClassSharedness(ThreadInfo allocThread,
                                      StaticElementInfo ei)

Description copied from interface: SharednessPolicy

initializeSharednessPolicy class specific sharedness data

Specified by:

initializeClassSharedness in interface SharednessPolicy

canHaveSharedObjectCG

public boolean canHaveSharedObjectCG(ThreadInfo ti,
                                     Instruction insn,
                                     ElementInfo eiFieldOwner,
                                     FieldInfo fi)

Specified by:

canHaveSharedObjectCG in interface SharednessPolicy

updateObjectSharedness

public ElementInfo updateObjectSharedness(ThreadInfo ti,
                                          ElementInfo ei,
                                          FieldInfo fi)

Specified by:

updateObjectSharedness in interface SharednessPolicy

setsSharedObjectCG

public boolean setsSharedObjectCG(ThreadInfo ti,
                                  Instruction insn,
                                  ElementInfo eiFieldOwner,
                                  FieldInfo fi)

Specified by:

setsSharedObjectCG in interface SharednessPolicy

canHaveSharedClassCG

public boolean canHaveSharedClassCG(ThreadInfo ti,
                                    Instruction insn,
                                    ElementInfo eiFieldOwner,
                                    FieldInfo fi)

Specified by:

canHaveSharedClassCG in interface SharednessPolicy

updateClassSharedness

public ElementInfo updateClassSharedness(ThreadInfo ti,
                                         ElementInfo ei,
                                         FieldInfo fi)

Specified by:

updateClassSharedness in interface SharednessPolicy

setsSharedClassCG

public boolean setsSharedClassCG(ThreadInfo ti,
                                 Instruction insn,
                                 ElementInfo eiFieldOwner,
                                 FieldInfo fi)

Specified by:

setsSharedClassCG in interface SharednessPolicy

canHaveSharedArrayCG

public boolean canHaveSharedArrayCG(ThreadInfo ti,
                                    Instruction insn,
                                    ElementInfo eiArray,
                                    int idx)

Specified by:

canHaveSharedArrayCG in interface SharednessPolicy

updateArraySharedness

public ElementInfo updateArraySharedness(ThreadInfo ti,
                                         ElementInfo eiArray,
                                         int idx)

Specified by:

updateArraySharedness in interface SharednessPolicy

setsSharedArrayCG

public boolean setsSharedArrayCG(ThreadInfo ti,
                                 Instruction insn,
                                 ElementInfo eiArray,
                                 int idx)

Specified by:

setsSharedArrayCG in interface SharednessPolicy

setsSharedObjectExposureCG

public boolean setsSharedObjectExposureCG(ThreadInfo ti,
                                          Instruction insn,
                                          ElementInfo eiFieldOwner,
                                          FieldInfo fi,
                                          ElementInfo eiExposed)

Specified by:

setsSharedObjectExposureCG in interface SharednessPolicy

setsSharedClassExposureCG

public boolean setsSharedClassExposureCG(ThreadInfo ti,
                                         Instruction insn,
                                         ElementInfo eiFieldOwner,
                                         FieldInfo fi,
                                         ElementInfo eiExposed)

Specified by:

setsSharedClassExposureCG in interface SharednessPolicy

cleanupThreadTermination

public void cleanupThreadTermination(ThreadInfo ti)

Description copied from interface: SharednessPolicy

give policy a chance to clean up referencing ThreadInfoSets upon thread termination

Specified by:

cleanupThreadTermination in interface SharednessPolicy