Package org.mpi_sws.jmc.strategies

Class RandomSchedulingStrategy

java.lang.Object

org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy

org.mpi_sws.jmc.strategies.RandomSchedulingStrategy

All Implemented Interfaces:

ReplayableSchedulingStrategy, SchedulingStrategy

public class RandomSchedulingStrategy
extends TrackActiveTasksStrategy
implements ReplayableSchedulingStrategy

A random scheduling strategy that selects the next thread to be scheduled randomly.

Nested Class Summary

Nested classes/interfaces inherited from class org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy

TrackActiveTasksStrategy.Tracker, TrackActiveTasksStrategy.TrackLocks, TrackActiveTasksStrategy.TrackTasks

Constructor Summary

Constructors

Constructor	Description
RandomSchedulingStrategy(Long seed, String reportPath)	Constructs a new RandomSchedulingStrategy object.

Method Summary

Modifier and Type	Method	Description
void	initIteration(int iteration, JmcModelCheckerReport report)	Initializes the strategy for a new iteration.
SchedulingChoice<?>	nextTask()	Returns the next task to be scheduled.
void	recordTrace()	Records the current execution trace of the scheduling strategy.
void	replayRecordedTrace()	Replays the recorded execution trace of the scheduling strategy.
void	updateEvent(JmcRuntimeEvent event)	Updates the strategy with the event that has occurred.

Methods inherited from class org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy

getActiveTasks, isActive, markActive, markInactive, resetIteration, teardown

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.mpi_sws.jmc.strategies.SchedulingStrategy

resetIteration, teardown

Constructor Details

RandomSchedulingStrategy

public RandomSchedulingStrategy(Long seed,
 String reportPath)

Constructs a new RandomSchedulingStrategy object.

Parameters:

seed - the seed for the random number generator

Method Details

initIteration

public void initIteration(int iteration,
 JmcModelCheckerReport report)
                   throws HaltExecutionException

Description copied from interface: SchedulingStrategy

Initializes the strategy for a new iteration.

Specified by:

initIteration in interface SchedulingStrategy

Overrides:

initIteration in class TrackActiveTasksStrategy

Parameters:

iteration - the number of the iteration.

Throws:

HaltExecutionException

nextTask

public SchedulingChoice<?> nextTask()

Returns the next task to be scheduled. The task is picked randomly from the set of active tasks.

Specified by:

nextTask in interface SchedulingStrategy

Returns:

the next task to be scheduled

updateEvent

public void updateEvent(JmcRuntimeEvent event)
                 throws HaltTaskException,
HaltExecutionException

Description copied from interface: SchedulingStrategy

Updates the strategy with the event that has occurred.

May be left empty if unused

Specified by:

updateEvent in interface SchedulingStrategy

Overrides:

updateEvent in class TrackActiveTasksStrategy

Throws:

HaltTaskException

HaltExecutionException

recordTrace

public void recordTrace()
                 throws JmcCheckerException

Description copied from interface: ReplayableSchedulingStrategy

Records the current execution trace of the scheduling strategy.

Specified by:

recordTrace in interface ReplayableSchedulingStrategy

Throws:

JmcCheckerException

replayRecordedTrace

public void replayRecordedTrace()
                         throws JmcCheckerException

Description copied from interface: ReplayableSchedulingStrategy

Replays the recorded execution trace of the scheduling strategy.

Specified by:

replayRecordedTrace in interface ReplayableSchedulingStrategy

Throws:

JmcCheckerException