Struct miri::concurrency::sync::Condvar

struct Condvar {
    waiters: VecDeque<CondvarWaiter>,
    data_race: VClock,
}

The conditional variable state.

Fields

waiters: VecDeque<CondvarWaiter>

data_race: VClock

Tracks the happens-before relationship between a cond-var signal and a cond-var wait during a non-suprious signal event. Contains the clock of the last thread to perform a futex-signal.

Trait Implementations

impl Debug for Condvar

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

Formats the value using the given formatter.

impl Default for Condvar

fn default() -> Condvar

Returns the “default value” for a type.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 64 bytes