jon.recoil.org

Module Safe.TLSSource

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

Sourcetype 'a key = 'a TLS.key

Type of a TLS key

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

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

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

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

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

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