Struct SchedulerKnobs 

pub struct SchedulerKnobs {
    pub config: SchedulerConfig,
    pub seed: u64,
}

The knobs that parameterize the emitted deterministic scheduler. This is the SAME SchedulerConfig the oracle runtime (logicaffeine_runtime) runs — the ready-queue policy (FIFO / LIFO / round-robin / seeded-random / priority), the clock (virtual Logical vs Wall), the default channel capacity, and the M:N workers count (1 = cooperative single core, N = work-stealing) — plus the seed that drives the seeded chooser for the random-choice points (TaskPick under Random, SelectWinner, TimerTieBreak). Emitting C straight from a SchedulerConfig guarantees the AOT scheduler’s knobs are ONE-TO-ONE with the oracle’s, so a program run at knobs on the VM and the same knobs in AOT-C agree.

The DEFAULT — Fifo / workers = 1 / Logical / seed = 0 — is the exact point every determinism lock pins against run_vm_concurrent (which uses SchedulerConfig::default()), and is the fixed policy the hand-written scheduler already implements (child-first spawn, FIFO ready queue, earliest-timer-first virtual clock).

Fields

config: SchedulerConfig

The oracle-shared scheduler config: policy / clock / default_channel_capacity / preempt_every / workers.

seed: u64

Seed for the emitted SplitMix64 chooser (mirrors logicaffeine_runtime::seed::SeededRng). Only observable under SchedulePolicy::Random or on a genuine multi-ready Select / timer tie.

Implementations

impl SchedulerKnobs

pub fn emit_defines(&self) -> String

The C #define block the emitted scheduler reads for its knobs. Prepended to the stepped tier’s C. The policy / clock enums match the emitted scheduler’s LOGOS_SCHED_* / LOGOS_CLOCK_* constants one-to-one; logos_ready_pop branches on LOGOS_SCHED_POLICY, the timer/select tie-breaks draw from a SplitMix64 seeded by LOGOS_SCHED_SEED, and channels default to LOGOS_CHAN_DEFAULT_CAP.

Trait Implementations

impl Clone for SchedulerKnobs

fn clone(&self) -> SchedulerKnobs

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SchedulerKnobs

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SchedulerKnobs

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for SchedulerKnobs

fn eq(&self, other: &SchedulerKnobs) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for SchedulerKnobs

impl Eq for SchedulerKnobs

impl StructuralPartialEq for SchedulerKnobs