Struct ProtocolMachineKernel 

pub struct ProtocolMachineKernel;

Canonical cooperative kernel entrypoints.

Implementations

impl ProtocolMachineKernel

pub fn select_ready_eligible<FProgress, FEligible>( scheduler: &mut Scheduler, has_progress: FProgress, is_eligible: FEligible, ) -> Option<usize>

where FProgress: Fn(usize) -> bool + Copy, FEligible: FnMut(usize) -> bool,

Select a ready coroutine using kernel-owned scheduler policy semantics.

has_progress models policy-relevant progress state, while is_eligible is a runtime/driver eligibility gate (e.g. paused role, lane/session wave constraints). Ineligible candidates are rescheduled.

pub fn step_round<M: KernelMachine>( machine: &mut M, handler: &dyn EffectHandler, n: usize, ) -> Result<StepResult, ProtocolMachineError>

Execute one scheduler round through the canonical kernel path.

Errors

Returns a ProtocolMachineError if a coroutine faults.

pub fn run_concurrent<M: KernelMachine>( machine: &mut M, handler: &dyn EffectHandler, max_rounds: usize, concurrency: usize, ) -> Result<RunStatus, ProtocolMachineError>

Run until completion/stuck or max_rounds is reached via the kernel.

Errors

Returns a ProtocolMachineError if any coroutine faults.

pub fn run<M: KernelMachine>( machine: &mut M, handler: &dyn EffectHandler, max_steps: usize, ) -> Result<RunStatus, ProtocolMachineError>

Run with single-lane cooperative scheduling via the kernel.

Errors

Returns a ProtocolMachineError if any coroutine faults.

Trait Implementations

impl Clone for ProtocolMachineKernel

fn clone(&self) -> ProtocolMachineKernel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProtocolMachineKernel

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

Formats the value using the given formatter.

impl Default for ProtocolMachineKernel

fn default() -> ProtocolMachineKernel

Returns the “default value” for a type.

impl Copy for ProtocolMachineKernel