Struct DeterminismGuard 

pub struct DeterminismGuard {
    pub mode: KernelMode,
}

Guard that enforces determinism in Replay/Verify mode.

Call DeterminismGuard::check_clock_access, DeterminismGuard::check_random_access, or DeterminismGuard::check_spawn_access before performing the corresponding operation; they return Err in Replay/Verify mode.

Fields

mode: KernelMode

Implementations

impl DeterminismGuard

pub fn new(mode: KernelMode) -> Self

pub fn check_clock_access(&self) -> Result<(), KernelError>

Call before reading the system clock. Fails in Replay/Verify.

pub fn check_random_access(&self) -> Result<(), KernelError>

Call before using hardware randomness. Fails in Replay/Verify.

pub fn check_spawn_access(&self) -> Result<(), KernelError>

Call before spawning a new thread. Fails in Replay/Verify.

Trait Implementations

impl Clone for DeterminismGuard

fn clone(&self) -> DeterminismGuard

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DeterminismGuard

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

Formats the value using the given formatter.