Module `Safe.TLS`Source

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

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

Type of a TLS key

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

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

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

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

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

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

Module Safe.TLSSource