Struct RacySelectSpec 

pub struct RacySelectSpec {
    pub value: i64,
    pub send_vtime_ms: i64,
    pub timeout_ms: i64,
}

A recognized racy select: a task sleeps then sends; main awaits the first of {receive, timeout}. The VM’s deterministic scheduler fires the smaller-virtual-time event, so the outcome is a COMPARISON of the send’s virtual time (the task’s cumulative sleep) against the timeout — reproducible on the mesh by a coordinator core, independent of real hardware timing.

Fields

value: i64

The value the task sends.

send_vtime_ms: i64

The send’s virtual time = the task’s cumulative sleep, in milliseconds.

timeout_ms: i64

The select’s timeout, in milliseconds.

Trait Implementations

impl Clone for RacySelectSpec

fn clone(&self) -> RacySelectSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RacySelectSpec

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

Formats the value using the given formatter.

impl PartialEq for RacySelectSpec

fn eq(&self, other: &RacySelectSpec) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for RacySelectSpec

impl StructuralPartialEq for RacySelectSpec