Struct SchedulerOptions

pub struct SchedulerOptions {
    pub keep_alive: bool,
    pub timeout: Option<Duration>,
    pub threads: usize,
    pub dump_graph: bool,
}

Construction parameters for the scheduler.

LFC uses target properties to set them. With the “cli” feature, generated programs also feature CLI options to override the defaults at runtime.

Fields

keep_alive: bool

If true, we won’t shut down the scheduler as soon as the event queue is empty, provided there are still live threads that can send messages to the scheduler asynchronously.

timeout: Option<Duration>

Timeout of reactor execution. If provided, the reactor program will be shut down at the latest at T0 + timeout. Calls to request_stop may make the program terminate earlier.

threads: usize

Max number of threads to use in the thread pool. If zero, uses one thread per core. Ignored unless building with feature parallel-runtime.

dump_graph: bool

If true, dump the dependency graph to a file before starting execution.

Trait Implementations

impl Default for SchedulerOptions

fn default() -> SchedulerOptions

Returns the “default value” for a type.