miri::concurrency

Module sync

Source

Structs§

Condvar 🔒
The conditional variable state.
CondvarRef
Futex 🔒
The futex state.
FutexRef
FutexWaiter 🔒
A thread waiting on a futex.
Mutex 🔒
The mutex state.
MutexRef
RwLock 🔒
The read-write lock state.
RwLockRef

Constants§

LAZY_INIT_COOKIE
We designate an init`` field in all primitives. If init` is set to this, we consider the primitive initialized.

Traits§

EvalContextExt
EvalContextExtPriv 🔒