Package org.mpi_sws.jmc.strategies.trust

Class TrustStrategy

java.lang.Object

org.mpi_sws.jmc.strategies.TrackActiveTasksStrategy

org.mpi_sws.jmc.strategies.trust.TrustStrategy

All Implemented Interfaces:

ReplayableSchedulingStrategy, SchedulingStrategy

public class TrustStrategy
extends TrackActiveTasksStrategy
implements ReplayableSchedulingStrategy

A wrapper around the Algo algorithm that implements a scheduling strategy based on trust. The class implements the ReplayableSchedulingStrategy and SchedulingStrategy and uses the TrackActiveTasksStrategy to track active tasks during the execution.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	TrustStrategy.SchedulingPolicy

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

TrackActiveTasksStrategy.Tracker, TrackActiveTasksStrategy.TrackLocks, TrackActiveTasksStrategy.TrackTasks

Constructor Summary

Constructors

Constructor	Description
TrustStrategy()
TrustStrategy(Long randomSeed, TrustStrategy.SchedulingPolicy policy, boolean debug, String reportPath)

Method Summary

Modifier and Type	Method	Description
ExecutionGraph	getExecutionGraph()
void	initIteration(int iteration, JmcModelCheckerReport report)	Initializes the strategy for a new iteration.
SchedulingChoice<?>	nextTask()	Returns the ID of the next thread 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	resetIteration(int iteration)	Resets the strategy for the current Iteration.
void	teardown()	Teardown the 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

Methods inherited from class java.lang.Object

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

Constructor Details

TrustStrategy

public TrustStrategy()

TrustStrategy

public TrustStrategy(Long randomSeed,
 TrustStrategy.SchedulingPolicy policy,
 boolean debug,
 String reportPath)

Method Details

initIteration

public void initIteration(int iteration,
 JmcModelCheckerReport report)

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.

nextTask

public SchedulingChoice<?> nextTask()

Description copied from interface: SchedulingStrategy

Returns the ID of the next thread to be scheduled.

Specified by:

nextTask in interface SchedulingStrategy

Returns:

the ID of the next thread 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

resetIteration

public void resetIteration(int iteration)

Description copied from interface: SchedulingStrategy

Resets the strategy for the current Iteration.

Specified by:

resetIteration in interface SchedulingStrategy

Overrides:

resetIteration in class TrackActiveTasksStrategy

getExecutionGraph

public ExecutionGraph getExecutionGraph()

teardown

public void teardown()

Description copied from interface: SchedulingStrategy

Teardown the strategy. Allows for releasing resources.

Specified by:

teardown in interface SchedulingStrategy

Overrides:

teardown in class TrackActiveTasksStrategy

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