Module Await_sync.Mutex

k t is the type of a mutex protecting the contents of the k capsule.

create k creates a new mutex for the capsule 'k associated with k, consuming the key itself.

The optional padded argument specifies whether to pad the data structure to avoid false sharing. See Atomic.make for a longer explanation.

with_access w t ~f acquires t, runs f within the associated capsule, then releases t. If t is locked then uses w to wait until it is unlocked.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

with_access_poisoning w t ~f acquires t, runs f within the associated capsule, then releases t. If t is locked then uses w to wait until it is unlocked.

Poisons t if f raises an uncaught exception.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

with_access_or_cancel w c t f is Completed (with_access w t f) if c is not canceled, otherwise it is Canceled.

• raises Terminated

  if w is terminated, even if c is canceled.

with_access_or_cancel_poisoning w c t f is Completed (with_access_poisoning w t f) if c is not canceled, otherwise it is Canceled.

Poisons t if f raises an uncaught exception.

• raises Terminated

  if w is terminated, even if c is canceled.

with_password w t f acquires t, runs f with permission to access the associated capsule, then releases t. If t is locked then uses w to wait until it is unlocked.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

with_password_poisoning w t f acquires t, runs f with permission to access the associated capsule, then releases t. If t is locked then uses w to wait until it is unlocked.

Poisons t if f raises an exception.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

with_password_or_cancel w c t f is Completed (with_password w t f) if c is not canceled, otherwise it is Canceled.

• raises Terminated

  if w is terminated, even if c is canceled.

with_password_or_cancel_poisoning w c t f is Completed (with_password_poisoning w t f) if c is not canceled, otherwise it is Canceled.

Poisons t if f raises an exception.

• raises Terminated

  if w is terminated, even if c is canceled.

with_key t ~f locks t and runs f, providing it a key for 'k uniquely. If t is locked, then with_key uses w to wait until it is unlocked.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

with_key_poisoning t ~f locks t and runs f, providing it a key for 'k uniquely. If the function raises without returning the key back, the mutex is poisoned. If t is locked, then with_key_poisoning uses w to wait until it is unlocked.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

with_key_or_cancel w c t ~f is Completed (with_key w t ~f) if c is not canceled, otherwise it is Canceled.

• raises Terminated

  if w is terminated, even if c is canceled.

with_key_or_cancel_poisoning w c t ~f is Completed (with_key_poisoning w t ~f) if c is not canceled, otherwise it is Canceled.

• raises Terminated

  if w is terminated, even if c is canceled.

Condition variable for waiting for changes to state protected by a lock.

release_temporarily w t k ~f releases t, runs f without the mutex, reacquires t and returns the result of running f along with the k.

To obtain a key to pass to release_temporarily, use with_key or similar functions.

• raises Poisoned

  if t cannot be reacquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is reacquired.

release_temporarily_or_cancel w c t k ~f is Completed (release_temporarily w t k ~f) if c is not canceled, otherwise it is Canceled.

poison t key poisons the mutex associated with the key.

Note that poisoning a mutex does not signal waiters on associated condition variables.

acquire_and_poison w t acquires t and then immediately poisons it, returning the key to the protected capsule.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

acquire_and_poison_or_cancel w c t is Completed (acquire_and_poison w t) if c is not canceled, otherwise it is Canceled.

acquire w t acquires t and returns a guard for the locked mutex. If t is locked, then acquire uses w to wait until it is unlocked.

• raises Poisoned

  if t cannot be acquired because it is poisoned.

• raises Terminated

  if w is terminated before the mutex is acquired.

acquire_or_cancel w c t is Completed (acquire w t) if c is not canceled, otherwise it is Canceled.

is_poisoned t determines whether the mutex t is poisoned.

poison_unacquired t poisons t without acquiring it. Does nothing if t is already poisoned.

Note that this can render the capsule associated with t innaccessible, since it potentially destroys the associated key.

Note that poisoning a mutex does not signal waiters on associated condition variables.