Struct DeterministicDriver 

pub struct DeterministicDriver { /* private fields */ }

Static identity and Rust value types generated for one request Capability. A deterministic, OS-independent Runtime Driver for Kernel conformance tests.

Implementations

impl DeterministicDriver

pub fn new() -> Self

Creates a Driver at monotonic instant zero.

pub fn run<F: Future>(&self, future: F) -> F::Output

Runs a root Kernel future until its deterministic terminal result.

pub fn advance(&self, duration: Duration)

Advances monotonic time without consulting a host clock.

pub fn request_shutdown(&self)

Requests cooperative Kernel shutdown.

pub fn now(&self) -> Duration

Returns the current deterministic monotonic instant.

pub fn set_jitter(&self, jitter: Duration)

Sets the deterministic jitter returned to supervision callers, capped by each policy.

pub fn with_jitter(self, jitter: Duration) -> Self

Configures deterministic jitter while retaining builder-style Driver setup.

Trait Implementations

impl Clone for DeterministicDriver

fn clone(&self) -> DeterministicDriver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeterministicDriver

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

Formats the value using the given formatter.

impl Default for DeterministicDriver

fn default() -> Self

Returns the “default value” for a type.

impl RuntimeDriver for DeterministicDriver

fn now(&self) -> Duration

Returns the current monotonic instant relative to Driver startup.

fn sleep_until(&self, deadline: Duration) -> LocalBoxFuture<'static, ()>

Waits until the supplied monotonic instant.

fn yield_now(&self) -> LocalBoxFuture<'static, ()>

Cooperatively yields to other work on the local task lane.

fn jitter(&self, maximum: Duration) -> Duration

Supplies deterministic or entropy-backed jitter bounded by the policy value.

fn spawn_local(&self, task: LocalTask) -> Result<DriverTask, SpawnError>

Schedules Kernel-owned work on the local task lane.

fn shutdown_requested(&self) -> bool

Reports whether the embedding Runner requested shutdown.