Module rwlock

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