Module Agnostic_mutex

module Agnostic_mutex: sig .. end

Agnostic mutexes do not remember the thread by which they got locked. Therefore anybody can unlock them, even if they have not locked them. This also means that they will work in child processes: they are fork-safe. The only error-check is that unlocked agnostic mutexes cannot be unlocked again, this will raise a Failure-exception.

Though standard OCaml-mutexes (they do not check for errors) could in principle be used, too, on Linux systems, because their semantics happens to be almost equivalent, this is not recommended.

type t

val create : unit -> t

val equal : t -> t -> bool

val lock : t -> unit

val try_lock : t -> bool

val unlock : t -> unit

val critical_section : t -> f:(unit -> 'a) -> 'a