Package org.mpi_sws.jmc.strategies

package org.mpi_sws.jmc.strategies

Defines the strategies used by JMC to check and validate code.

Related Packages

Package	Description
org.mpi_sws.jmc.strategies.trust	Defines the strategy for complete exhaustive model checking of the input program.

Class	Description
JmcInvalidStrategyException	Exception thrown when an invalid strategy is encountered.
JmcReplayUnsupported	Exception thrown when replay is not supported by the current strategy.
RandomSchedulingStrategy	A random scheduling strategy that selects the next thread to be scheduled randomly.
ReplayableSchedulingStrategy	A ReplayableSchedulingStrategy is a scheduling strategy that can record and replay its execution trace.
SchedulingStrategy	The scheduling strategy is responsible for deciding which thread to schedule next.
SchedulingStrategyConfiguration	Configuration class for scheduling strategies.
SchedulingStrategyConfiguration.Builder
SchedulingStrategyConfiguration.SchedulingStrategyConstructor
SchedulingStrategyFactory	Factory class for creating scheduling strategies.
TrackActiveTasksStrategy	A strategy that tracks the active tasks.
TrackActiveTasksStrategy.Tracker	Tracks the active tasks based on events.
TrackActiveTasksStrategy.TrackLocks	Tracks the locks acquired and released events of tasks.
TrackActiveTasksStrategy.TrackTasks	Tracks the tasks start finish and join request events.