A value wrapped into a Mutex, for more safety.
val with_lock : 'a t ‑> ('a ‑> 'b) ‑> 'b
with_lock l f
runs f x
where x
is the value protected with
the lock l
, in a critical section. If f x
fails, with_lock l f
fails too but the lock is released.
val try_with_lock : 'a t ‑> ('a ‑> 'b) ‑> 'b option
try_with_lock l f
runs f x
in a critical section if l
is not
locked. x
is the value protected by the lock l
. If f x
fails, try_with_lock l f
fails too but the lock is released.
with_lock_as_ref l f
calls f
with a reference-like object
that allows to manipulate the value of l
safely.
The object passed to f
must not escape the function call.
val update_map : 'a t ‑> ('a ‑> 'a * 'b) ‑> 'b
update_map l f
computes x', y = f (get l)
, then puts x'
in l
and returns y
.
val get : 'a t ‑> 'a
Atomically get the value in the lock. The value that is returned isn't protected!
val get_then_incr : int t ‑> int
get_then_incr x
increments x
, and returns its previous value.
val get_then_decr : int t ‑> int
get_then_decr x
decrements x
, and returns its previous value.
val get_then_set : bool t ‑> bool
get_then_set b
sets b
to true
, and returns the old value.
val get_then_clear : bool t ‑> bool
get_then_clear b
sets b
to false
, and returns the old value.