Module `Safe.DLS`Source

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

Sourcetype 'a key = 'a Stdlib.Domain.DLS.key

Type of a DLS key

val new_key : 
  ?split_from_parent:('a -> unit -> 'a) @ portable ->
  (unit -> 'a) @ portable ->
  'a Stdlib.Domain.Safe.DLS.key

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

Sourceval get : 'a. 'a Stdlib.Domain.Safe.DLS.key -> 'a @ contended

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

Sourceval set : 'a. 'a Stdlib.Domain.Safe.DLS.key -> 'a @ portable -> unit

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

Module Safe.DLSSource