Module atomic 

Macros

open_atomic_update

open_atomic_update_in_proof

peek_atomic_update

peek_atomic_update_in_proof

try_open_atomic_update

try_open_atomic_update_in_proof

Structs

AtomicUpdate

The atomic update (AU) is a ghost object which encapsulates the linearization point of a logically atomic function.

Commit

A trivial wrapper type which indicates a commit.

PAtomicBool

PAtomicI8

PAtomicI16

PAtomicI32

PAtomicI64

PAtomicIsize

PAtomicPtr

PAtomicU8

PAtomicU16

PAtomicU32

PAtomicU64

PAtomicUsize

PermissionBool

PermissionDataBool

PermissionDataI8

PermissionDataI16

PermissionDataI32

PermissionDataI64

PermissionDataIsize

PermissionDataPtr

PermissionDataU8

PermissionDataU16

PermissionDataU32

PermissionDataU64

PermissionDataUsize

PermissionI8

PermissionI16

PermissionI32

PermissionI64

PermissionIsize

PermissionPtr

PermissionU8

PermissionU16

PermissionU32

PermissionU64

PermissionUsize

Enums

UpdateControlFlow

The control flow corresponding to the atomic update output.

Traits

UpdatePredicate

Trait used to specify the update predicate for the AtomicUpdate.

UpdateTry

Type Aliases

AtomicCellId