Struct LabRuntime 

pub struct LabRuntime {
    pub state: RuntimeState,
    pub scheduler: Arc<Mutex<LabScheduler>>,
    pub oracles: OracleSuite,
    /* private fields */
}

The deterministic lab runtime.

This runtime is designed for testing and provides:

• Virtual time instead of wall-clock time
• Deterministic scheduling based on a seed
• Trace capture for debugging and replay
• Chaos injection for stress testing

Fields

state: RuntimeState

Runtime state (public for tests and oracle access).

scheduler: Arc<Mutex<LabScheduler>>

Scheduler.

oracles: OracleSuite

Oracle suite for invariant verification.

Implementations

impl LabRuntime

pub fn new(config: LabConfig) -> LabRuntime

Creates a new lab runtime with the given configuration.

pub fn with_seed(seed: u64) -> LabRuntime

Creates a lab runtime with the default configuration.

pub const fn now(&self) -> Time

Returns the current virtual time.

pub const fn steps(&self) -> u64

Returns the number of steps executed.

pub const fn config(&self) -> &LabConfig

Returns a reference to the configuration.

pub fn lab_reactor(&self) -> &Arc<LabReactor>

Returns a handle to the lab reactor for deterministic I/O injection.

pub fn trace(&self) -> &TraceBufferHandle

Returns a reference to the trace buffer handle.

pub fn detected_races(&self) -> RaceReport

Returns a race report derived from the current trace buffer.

pub fn chaos_stats(&self) -> &ChaosStats

Returns a reference to the chaos statistics.

pub fn certificate(&self) -> &ScheduleCertificate

Returns the schedule certificate for determinism verification.

pub fn has_replay_recording(&self) -> bool

Returns true if replay recording is enabled.

pub fn replay_recorder(&self) -> &TraceRecorder

Returns a reference to the replay recorder.

pub fn take_replay_trace(&mut self) -> Option<ReplayTrace>

Takes the replay trace, leaving an empty trace in place.

Returns None if recording is disabled.

pub fn finish_replay_trace(&mut self) -> Option<ReplayTrace>

Finishes recording and returns the replay trace.

This consumes the replay recorder. Returns None if recording is disabled.

pub fn has_chaos(&self) -> bool

Returns true if chaos injection is enabled.

pub fn is_quiescent(&self) -> bool

Returns true if the runtime is quiescent.

pub fn advance_time(&mut self, nanos: u64)

Advances virtual time by the given number of nanoseconds.

pub fn advance_time_to(&mut self, time: Time)

Advances time to the given absolute time.

pub fn run_until_quiescent(&mut self) -> u64

Runs until quiescent or max steps reached.

Returns the number of steps executed.

pub fn enable_deadline_monitoring(&mut self, config: MonitorConfig)

Enable deadline monitoring with the default warning handler.

pub fn enable_deadline_monitoring_with_handler<F>( &mut self, config: MonitorConfig, f: F, )

where F: Fn(DeadlineWarning) + Send + Sync + 'static,

Enable deadline monitoring with a custom warning handler.

pub fn deadline_monitor_mut(&mut self) -> Option<&mut DeadlineMonitor>

Returns a mutable reference to the deadline monitor, if enabled.

pub fn step_for_test(&mut self)

Public wrapper for step() for use in tests.

This is useful for testing determinism across multiple step executions.

pub fn check_invariants(&mut self) -> Vec<InvariantViolation>

Checks invariants and returns any violations.

Trait Implementations

impl Debug for LabRuntime

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

Formats the value using the given formatter.