public class DistributedSchedulerFactory extends DefaultSchedulerFactory
ss, vm
BEGIN_ATOMIC, END_ATOMIC, MONITOR_ENTER, MONITOR_EXIT, NOTIFY, NOTIFY_ALL, PARK, SHARED_ARRAY_ACCESS, SHARED_FIELD_ACCESS, SHARED_OBJECT_EXPOSURE, SYNC_METHOD_ENTER, SYNC_METHOD_EXIT, THREAD_INTERRUPT, THREAD_RESUME, THREAD_SLEEP, THREAD_START, THREAD_STOP, THREAD_SUSPEND, THREAD_TERMINATE, THREAD_YIELD, UNPARK, WAIT
Constructor and Description |
---|
DistributedSchedulerFactory(Config config,
VM vm,
SystemState ss) |
Modifier and Type | Method and Description |
---|---|
ChoiceGenerator<ThreadInfo> |
createThreadTerminateCG(ThreadInfo terminateThread)
the public interface towards the insns
|
protected ThreadInfo[] |
getRunnables(ThreadInfo ti)
get list of all runnable threads in the same process as ti
|
protected ThreadInfo[] |
getRunnablesIfChoices(ThreadInfo ti)
return a list of runnable choices, or null if there is only one,
in the same process as ti
|
protected ThreadInfo[] |
getRunnablesWith(ThreadInfo ti) |
protected ThreadInfo[] |
getRunnablesWithout(ThreadInfo ti) |
createBeginAtomicCG, createEndAtomicCG, createEnterCG, createExitCG, createInterruptCG, createMonitorEnterCG, createMonitorExitCG, createNotifyAllCG, createNotifyCG, createParkCG, createSharedArrayAccessCG, createSharedFieldAccessCG, createSharedObjectExposureCG, createSyncMethodEnterCG, createSyncMethodExitCG, createThreadResumeCG, createThreadSleepCG, createThreadStartCG, createThreadStopCG, createThreadSuspendCG, createThreadYieldCG, createUnparkCG, createWaitCG, filter, getRunnableCG, getSyncCG
public DistributedSchedulerFactory(Config config, VM vm, SystemState ss)
protected ThreadInfo[] getRunnables(ThreadInfo ti)
getRunnables
in class DefaultSchedulerFactory
protected ThreadInfo[] getRunnablesIfChoices(ThreadInfo ti)
getRunnablesIfChoices
in class DefaultSchedulerFactory
protected ThreadInfo[] getRunnablesWith(ThreadInfo ti)
getRunnablesWith
in class DefaultSchedulerFactory
protected ThreadInfo[] getRunnablesWithout(ThreadInfo ti)
getRunnablesWithout
in class DefaultSchedulerFactory
public ChoiceGenerator<ThreadInfo> createThreadTerminateCG(ThreadInfo terminateThread)
createThreadTerminateCG
in interface SchedulerFactory
createThreadTerminateCG
in class DefaultSchedulerFactory