gov.nasa.jpf.vm

Interface SyncPolicy

All Known Subinterfaces:

Scheduler

All Known Implementing Classes:

AllRunnablesSyncPolicy, DelegatingScheduler, PriorityRunnablesSyncPolicy

public interface SyncPolicy

a policy interface related to locking, blocking and thread lifetime events. As opposed to field access and SharednessPolicy, most of these events are of mandatory nature, but we want to support varying order and degrees of precision with respect to scheduling candidates NOTE - this interface is part of dividing the old SchedulerFactory (which was mostly concerned about scheduling order) into separate policy interfaces that allow control over - CG type - choice values - choice order based on operation (instruction type, MJI methods), which might require additional, policy related state (e.g. threads competing for the same object). Since the policies are interfaces kept at the same level, and are only accessed through ThreadInfo facades, they can be implemented by a single class/object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	BEGIN_ATOMIC
static java.lang.String	BLOCK
static java.lang.String	END_ATOMIC
static java.lang.String	INTERRUPT
static java.lang.String	JOIN
static java.lang.String	LOCK
static java.lang.String	NOTIFY
static java.lang.String	NOTIFYALL
static java.lang.String	PARK
static java.lang.String	POST_FINALIZE
static java.lang.String	PRIORITY
static java.lang.String	RELEASE
static java.lang.String	RESCHEDULE
static java.lang.String	RESUME
static java.lang.String	ROOT
static java.lang.String	SLEEP
static java.lang.String	START
static java.lang.String	STOP
static java.lang.String	SUSPEND
static java.lang.String	TERMINATE
static java.lang.String	UNPARK
static java.lang.String	WAIT
static java.lang.String	YIELD

Method Summary

Modifier and Type	Method and Description
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	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)

Field Detail

ROOT

static final java.lang.String ROOT

See Also:

Constant Field Values

POST_FINALIZE

static final java.lang.String POST_FINALIZE

See Also:

Constant Field Values

START

static final java.lang.String START

See Also:

Constant Field Values

BLOCK

static final java.lang.String BLOCK

See Also:

Constant Field Values

LOCK

static final java.lang.String LOCK

See Also:

Constant Field Values

RELEASE

static final java.lang.String RELEASE

See Also:

Constant Field Values

WAIT

static final java.lang.String WAIT

See Also:

Constant Field Values

JOIN

static final java.lang.String JOIN

See Also:

Constant Field Values

NOTIFY

static final java.lang.String NOTIFY

See Also:

Constant Field Values

NOTIFYALL

static final java.lang.String NOTIFYALL

See Also:

Constant Field Values

SLEEP

static final java.lang.String SLEEP

See Also:

Constant Field Values

YIELD

static final java.lang.String YIELD

See Also:

Constant Field Values

PRIORITY

static final java.lang.String PRIORITY

See Also:

Constant Field Values

INTERRUPT

static final java.lang.String INTERRUPT

See Also:

Constant Field Values

SUSPEND

static final java.lang.String SUSPEND

See Also:

Constant Field Values

RESUME

static final java.lang.String RESUME

See Also:

Constant Field Values

STOP

static final java.lang.String STOP

See Also:

Constant Field Values

PARK

static final java.lang.String PARK

See Also:

Constant Field Values

UNPARK

static final java.lang.String UNPARK

See Also:

Constant Field Values

BEGIN_ATOMIC

static final java.lang.String BEGIN_ATOMIC

See Also:

Constant Field Values

END_ATOMIC

static final java.lang.String END_ATOMIC

See Also:

Constant Field Values

RESCHEDULE

static final java.lang.String RESCHEDULE

See Also:

Constant Field Values

TERMINATE

static final java.lang.String TERMINATE

See Also:

Constant Field Values

Method Detail

initializeSyncPolicy

void initializeSyncPolicy(VM vm,
                          ApplicationContext appCtx)

called once per application, after the VM is fully initialized

initializeThreadSync

void initializeThreadSync(ThreadInfo tiCurrent,
                          ThreadInfo tiNew)

called during ThreadInfo initialization, before Thread.start()

setRootCG

void setRootCG()

set the very first CG, which is not optional

setsBlockedThreadCG

boolean setsBlockedThreadCG(ThreadInfo ti,
                            ElementInfo ei)

setsLockAcquisitionCG

boolean setsLockAcquisitionCG(ThreadInfo ti,
                              ElementInfo ei)

setsLockReleaseCG

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

setsTerminationCG

boolean setsTerminationCG(ThreadInfo ti)

setsWaitCG

boolean setsWaitCG(ThreadInfo ti,
                   long timeout)

setsNotifyCG

boolean setsNotifyCG(ThreadInfo ti,
                     boolean didNotify)

setsNotifyAllCG

boolean setsNotifyAllCG(ThreadInfo ti,
                        boolean didNotify)

setsStartCG

boolean setsStartCG(ThreadInfo tiCurrent,
                    ThreadInfo tiStarted)

setsYieldCG

boolean setsYieldCG(ThreadInfo ti)

setsPriorityCG

boolean setsPriorityCG(ThreadInfo ti)

setsSleepCG

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

setsSuspendCG

boolean setsSuspendCG(ThreadInfo tiCurrent,
                      ThreadInfo tiSuspended)

setsResumeCG

boolean setsResumeCG(ThreadInfo tiCurrent,
                     ThreadInfo tiResumed)

setsJoinCG

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

setsStopCG

boolean setsStopCG(ThreadInfo tiCurrent,
                   ThreadInfo tiStopped)

setsInterruptCG

boolean setsInterruptCG(ThreadInfo tiCurrent,
                        ThreadInfo tiInterrupted)

setsParkCG

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

setsUnparkCG

boolean setsUnparkCG(ThreadInfo tiCurrent,
                     ThreadInfo tiUnparked)

setsBeginAtomicCG

boolean setsBeginAtomicCG(ThreadInfo ti)

setsEndAtomicCG

boolean setsEndAtomicCG(ThreadInfo ti)

setsRescheduleCG

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

setsPostFinalizeCG

boolean setsPostFinalizeCG(ThreadInfo tiFinalizer)