Модуль Atomic.Loc

module Loc: sig .. end

Атомарные «местоположения», например поля записей.

Начиная с версии 5.4

type 'a t = 'a atomic_loc

Этот модуль предоставляет специальный тип 'a Atomic.Loc.t для атомарных местоположений (хранящих значение типа 'a) внутри объектов, которые сами могут не быть атомарными ссылками. В частности, он используется для атомарных полей записей: если запись r содержит атомарное поле f типа foo, то [%atomic.loc r.f] имеет тип foo Atomic.Loc.t.

Представленный ниже API повторяет API для доступа к атомарным ссылкам; дополнительную информацию см. в документации выше.

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