Module CCAtomic

type 'a t = {
  1. mutable x : 'a;
}
val make : 'a -> 'a t
val get : 'a t -> 'a
val set : 'a t -> 'a -> unit
val exchange : 'a t -> 'a -> 'a
val compare_and_set : 'a t -> 'a -> 'a -> bool
val fetch_and_add : int t -> int -> int
val incr : int t -> unit
val decr : int t -> unit
val update_cas : 'a t -> ('a -> 'res * 'a) -> 'res

Update loop with a compare-and-swap, and some basic backoff behavior. update_cas atomic f is, in essence, let res, x = f !atomic in atomic := x; res done atomically. f might be called multiple times and must be as cheap as possible.

  • since 3.17