Expand description
Provides sequentially-consistent atomic memory locations with associated ghost state.
See the atomic_with_ghost!
documentation for more information.
Macros§
- atomic_
with_ ghost - Performs a given atomic operation on a given atomic while providing access to its ghost state.
Structs§
- Atomic
Bool - Sequentially-consistent atomic memory location storing a
bool
and associated ghost state. - Atomic
I8 - Sequentially-consistent atomic memory location storing a
i8
and associated ghost state. - Atomic
I16 - Sequentially-consistent atomic memory location storing a
i16
and associated ghost state. - Atomic
I32 - Sequentially-consistent atomic memory location storing a
i32
and associated ghost state. - Atomic
I64 - Sequentially-consistent atomic memory location storing a
i64
and associated ghost state. - Atomic
Isize - Sequentially-consistent atomic memory location storing a
isize
and associated ghost state. - Atomic
Pred Bool - Atomic
Pred I8 - Atomic
Pred I16 - Atomic
Pred I32 - Atomic
Pred I64 - Atomic
Pred Isize - Atomic
Pred Ptr - Atomic
Pred U8 - Atomic
Pred U16 - Atomic
Pred U32 - Atomic
Pred U64 - Atomic
Pred Usize - Atomic
Ptr - Sequentially-consistent atomic memory location storing a
* mut T
and associated ghost state. - Atomic
U8 - Sequentially-consistent atomic memory location storing a
u8
and associated ghost state. - Atomic
U16 - Sequentially-consistent atomic memory location storing a
u16
and associated ghost state. - Atomic
U32 - Sequentially-consistent atomic memory location storing a
u32
and associated ghost state. - Atomic
U64 - Sequentially-consistent atomic memory location storing a
u64
and associated ghost state. - Atomic
Usize - Sequentially-consistent atomic memory location storing a
usize
and associated ghost state.