Module miri::concurrency::sync
source ยท Macrosยง
- declare_id ๐We cannot use the
newtype_index!
macro because we have to use 0 as a sentinel value meaning that the identifier is not assigned. This is because the pthreads static initializers initialize memory with zeros (see thesrc/shims/sync.rs
file).
Structsยง
- Condvar ๐The conditional variable state.
- 0 is used to indicate that the id was not yet assigned and, therefore, is not a valid identifier.
- CondvarWaiter ๐A thread waiting on a conditional variable.
- Futex ๐The futex state.
- FutexWaiter ๐A thread waiting on a futex.
- Mutex ๐The mutex state.
- 0 is used to indicate that the id was not yet assigned and, therefore, is not a valid identifier.
- RwLock ๐The read-write lock state.
- 0 is used to indicate that the id was not yet assigned and, therefore, is not a valid identifier.
- SynchronizationState ๐The state of all synchronization variables.
Traitsยง
- EvalContextExtPriv ๐