Module atomic_ghost

Source
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§

AtomicBool
Sequentially-consistent atomic memory location storing a bool and associated ghost state.
AtomicI8
Sequentially-consistent atomic memory location storing a i8 and associated ghost state.
AtomicI16
Sequentially-consistent atomic memory location storing a i16 and associated ghost state.
AtomicI32
Sequentially-consistent atomic memory location storing a i32 and associated ghost state.
AtomicI64
Sequentially-consistent atomic memory location storing a i64 and associated ghost state.
AtomicIsize
Sequentially-consistent atomic memory location storing a isize and associated ghost state.
AtomicPredBool
AtomicPredI8
AtomicPredI16
AtomicPredI32
AtomicPredI64
AtomicPredIsize
AtomicPredPtr
AtomicPredU8
AtomicPredU16
AtomicPredU32
AtomicPredU64
AtomicPredUsize
AtomicPtr
Sequentially-consistent atomic memory location storing a * mut T and associated ghost state.
AtomicU8
Sequentially-consistent atomic memory location storing a u8 and associated ghost state.
AtomicU16
Sequentially-consistent atomic memory location storing a u16 and associated ghost state.
AtomicU32
Sequentially-consistent atomic memory location storing a u32 and associated ghost state.
AtomicU64
Sequentially-consistent atomic memory location storing a u64 and associated ghost state.
AtomicUsize
Sequentially-consistent atomic memory location storing a usize and associated ghost state.

Traits§

AtomicInvariantPredicate