deterministic_wasi_ctx/
lib.rs1mod clocks;
2mod scheduling;
3
4use clocks::{DeterministicMonotonicClock, DeterministicWallClock};
5use rand_core::SeedableRng;
6use rand_pcg::Pcg64Mcg;
7pub use scheduling::{
8 replace_scheduling_functions, replace_scheduling_functions_for_wasi_preview_0,
9};
10use wasmtime_wasi::WasiCtxBuilder;
11
12pub fn add_determinism_to_wasi_ctx_builder(
13 wasi_builder: &mut WasiCtxBuilder,
14) -> &mut WasiCtxBuilder {
15 const RANDOM_SEED: u64 = 42; let random = Box::new(Pcg64Mcg::seed_from_u64(RANDOM_SEED));
22
23 wasi_builder
24 .allow_tcp(false)
25 .allow_udp(false)
26 .insecure_random(random.clone())
27 .secure_random(random)
28 .wall_clock(DeterministicWallClock)
29 .monotonic_clock(DeterministicMonotonicClock)
30}