module AtomicBool: sig
.. end
Atomic containers for bool
values.
type
t
The type of atomic containers for bool
values.
val make : bool -> t
Returns a new container holding the passed value.
val compare_and_set : t -> bool -> bool -> bool
compare_and_set a e u
atomically sets the value of a
to u
if
the current value is e
. Returns whether the value of a
was equal
to e
.
val get : t -> bool
Returns the current value.
val get_and_set : t -> bool -> bool
get_and_set a x
atomically sets the value of a
to x
, and
returns the previous value.
val lazy_set : t -> bool -> unit
lazy_set a x
eventually sets the value of a
to x
.
val set : t -> bool -> unit
set a x
sets the value of a
to x
.
val weak_compare_and_set : t -> bool -> bool -> bool
Similar to compare_and_set
, with a weak semantics: may be
faster on some platforms, but does not provide ordering guarantees.