logicaffeine-runtime 0.10.0

Deterministic concurrency runtime (scheduler, channels, seed/trace) for the Logicaffeine interpreter and VM. Pure, WASM-safe, tokio-free — never linked into AOT-compiled binaries.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

#![doc = include_str!("../README.md")]

pub mod channel;
pub mod config;
// The work-stealing M:N driver is a standard part of the native runtime — it is
// always available off-WASM. It is excluded only on `wasm32`, where there are no
// OS threads (the cooperative M:1 driver is the browser's only option). This is a
// target gate, NOT an opt-in Cargo feature: genuine multicore is not optional.
#[cfg(not(target_arch = "wasm32"))]
pub mod executor;
pub mod payload;
pub mod scheduler;
pub mod seed;
pub mod task;

pub use channel::ChanId;
pub use config::{ClockMode, SchedulePolicy, SchedulerConfig};
pub use payload::RtPayload;
pub use scheduler::{
    run_with_seed, run_with_trace, ChanView, RunOutcome, SchedSnapshot, Scheduler, TaskStateKind,
    TaskView,
};
pub use seed::{ChoiceKind, ChoicePoint, Chooser, SchedSeed, SchedTrace, SeededRng};
pub use task::{SelectArm, Task, TaskCtx, TaskId, TaskStep};

#[cfg(not(target_arch = "wasm32"))]
pub use executor::{run_workstealing_seeded, FuncIdx, SpawnDesc, WsOutcome};