Module Moonpool.Task_local_storageSource

Underlying storage for a task. This is mutable and not thread-safe.

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

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 Task_ocal_storage.key =
    Task_local_storage.new_key ~init:(fun () -> make_foo ()) ()

(* … *)

(* use it: *)
let … = Task_local_storage.get k_foo

get k gets the value for the current task for key k. Must be run from inside a task running on a runner.

• raises Failure

  otherwise

get_opt k gets the current task's value for key k, or None if not run from inside the task.

set k v sets the storage for k to v. Must be run from inside a task running on a runner.

• raises Failure

  otherwise

with_value k v f sets k to v for the duration of the call to f(). When f() returns (or fails), k is restored to its old value.

Access the current storage, or None if not run from within a task.

Direct access to values from a storage handle