Module rwlock

Source

Modules§

RwLockToks

Structs§

InvariantPredicate_auto_RwLock_exc
InvariantPredicate_auto_RwLock_rc
ReadHandle
Handle obtained for a shared read-lock from an RwLock.
RwLock
A verified implementation of a reader-writer lock, implemented using atomics and a reference count.
WriteHandle
Handle obtained for an exclusive write-lock from an RwLock.

Traits§

RwLockPredicate

Type Aliases§

FieldType_RwLock_cell
FieldType_RwLock_exc
FieldType_RwLock_inst
FieldType_RwLock_pred
FieldType_RwLock_rc