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( &mut self, image: &CodeImage, ) -> Result<SessionId, VMError>

Load a choreography image.

Errors

Returns a VMError if limits are exceeded.

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.