telltale-vm 2.0.0

Bytecode VM for choreographic session type protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Runtime drivers.
//!
//! Drivers own target/runtime orchestration while semantic stepping stays in
//! the VM kernel path.

pub mod single_thread;

#[cfg(feature = "multi-thread")]
pub mod threaded;

pub use single_thread::NativeSingleThreadDriver;

#[cfg(feature = "multi-thread")]
pub use threaded::NativeThreadedDriver;

/// Cooperative driver for WebAssembly targets.
///
/// Uses the single-threaded driver since WASM lacks native threading support.
#[cfg(target_arch = "wasm32")]
pub type WasmCooperativeDriver = NativeSingleThreadDriver;