Struct NativeSingleThreadDriver 

pub struct NativeSingleThreadDriver { /* private fields */ }

Native cooperative runtime driver backed by the canonical VM kernel.

Implementations

impl NativeSingleThreadDriver

pub fn new(config: VMConfig) -> Self

Create a new driver from VM config.

pub fn with_vm(vm: VM) -> Self

Wrap an existing VM instance.

pub fn vm(&self) -> &VM

Access the inner VM.

pub fn load_choreography_owned( &mut self, image: &CodeImage, owner_id: impl Into<String>, ) -> Result<OwnedSession, VMError>

Preferred choreography open path that returns an ownership-bearing handle.

Errors

Returns a VMError if the choreography cannot be loaded or claimed.

pub fn step_round( &mut self, handler: &dyn EffectHandler, n: usize, ) -> Result<StepResult, VMError>

Execute one scheduler round via the kernel.

Errors

Returns a VMError if a coroutine faults.

pub fn run( &mut self, handler: &dyn EffectHandler, max_rounds: usize, n: usize, ) -> Result<RunStatus, VMError>

Run up to max_rounds with concurrency n via the kernel.

Errors

Returns a VMError if a coroutine faults.

pub fn trace(&self) -> &[ObsEvent]

Borrow the observable trace.

Trait Implementations

impl Debug for NativeSingleThreadDriver

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

Formats the value using the given formatter.