Package org.mpi_sws.jmc.runtime.scheduling
package org.mpi_sws.jmc.runtime.scheduling
Defines the classes and interfaces for scheduling in the JMC runtime.
This package provides the core scheduling functionality used by the JMC runtime, including task management, scheduling algorithms, and execution control.
-
ClassesClassDescriptionRepresents a primitive value that is returned by a strategy.Represents a primitive (Number|String|Boolean) value used in scheduling choices.The scheduler is responsible for managing the execution of threads.SchedulingChoice<T extends SchedulingChoiceValue>Represents a scheduling choice in the JMC runtime.A value that the strategy uses to communicate with the runtime yields.An adapter to convert a JSON object to a
SchedulingChoiceValue
.A factory for creating instances ofSchedulingChoiceValue
.