Module Fuseau.FLSSource

A key used to access a particular (typed) storage slot on every fiber.

new_key ~init () makes a new key. Keys are expensive and should never be allocated dynamically or in a loop. The correct pattern is, at toplevel:

  let k_foo : foo FLS.key = FLS.new_key ~init:(fun () -> make_foo ()) ()

(* … *)

(* use it: *)
let _ = FLS.get k_foo

Get the value for this key in the current fiber. Only call from inside a fiber

Set the value for this key in the current fiber. Only call from inside a fiber

with_value k v f runs f() in a context where key k maps to value v. Once f() returns, the previous binding of k is restored.