Struct miri::concurrency::sync::Futex
source · struct Futex {
waiters: VecDeque<FutexWaiter>,
data_race: VClock,
}
Expand description
The futex state.
Fields§
§waiters: VecDeque<FutexWaiter>
§data_race: VClock
Tracks the happens-before relationship between a futex-wake and a futex-wait during a non-spurious wake event. Contains the clock of the last thread to perform a futex-wake.
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for Futex
impl Send for Futex
impl Sync for Futex
impl Unpin for Futex
impl UnwindSafe for Futex
Blanket Implementations§
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