Module atomic_relacq 

Structs

AtomicBool

Creusot wrapper around std::sync::atomic::AtomicBool.

AtomicI8

Creusot wrapper around std::sync::atomic::AtomicI8.

AtomicI16

Creusot wrapper around std::sync::atomic::AtomicI16.

AtomicI32

Creusot wrapper around std::sync::atomic::AtomicI32.

AtomicI64

Creusot wrapper around std::sync::atomic::AtomicI64.

AtomicIsize

Creusot wrapper around std::sync::atomic::AtomicIsize.

AtomicPtr

Creusot wrapper around std::sync::atomic::AtomicPtr.

AtomicU8

Creusot wrapper around std::sync::atomic::AtomicU8.

AtomicU16

Creusot wrapper around std::sync::atomic::AtomicU16.

AtomicU32

Creusot wrapper around std::sync::atomic::AtomicU32.

AtomicU64

Creusot wrapper around std::sync::atomic::AtomicU64.

AtomicUsize

Creusot wrapper around std::sync::atomic::AtomicUsize.

LoadCommitter

Wrapper around a single atomic load operation, where multiple ghost steps can be performed.

StoreCommitter

Wrapper around a single atomic operation, where multiple ghost steps can be performed.