jon.recoil.org

Module Safe.DLSSource

Like DLS, but uses modes to enforce properties necessary for data-race freedom.

Sourcetype 'a key = 'a DLS.key

Type of a DLS key

Sourceval new_key : ?split_from_parent:('a -> (unit -> 'a) @ once portable) @ portable -> (unit -> 'a) @ portable -> 'a key

Like DLS.new_key, but safe to use in the presence of multiple domains.

Sourceval get : ('a : value mod portable). 'a key -> 'a @ contended

Like DLS.get, but safe to use in the presence of multiple domains.

Sourceval set : ('a : value mod contended). 'a key -> 'a @ portable -> unit

Like DLS.set, but safe to use in the presence of multiple domains.