package picos

  1. Overview
  2. Docs
Pico scheduler framework

Install

Dune Dependency

Authors

Maintainers

Sources

picos-0.1.0.tbz
sha256=0f2dcc67ddd127c68f388f2c36a8725a15723e6aeba7d1ddfcf4e016b54a4674
sha512=bee2a99458a451be285e2f13cc3a9deda8eed4e118bcdfc51c256d2da5bae92eec3386c318fe42dcf451421543b519dc064967158b3f417c9b7b44ce97c5fb75

doc/picos.tls/Picos_tls/index.html

Module Picos_tlsSource

Thread-local storage.

Note that here "thread" refers to system level threads rather than fibers or domains. In case a system level thread implementation, i.e. the threads.posix library, is not available, this will use Picos_domain.DLS.

Sourcetype 'a key

Represents a key for storing values of type 'a in storage associated with threads.

Sourceval new_key : (unit -> 'a) -> 'a key

new_key compute allocates a new key for associating values in storage associated with threads. The initial value for each thread is computed by calling the given function if the key is read before it has been written.

Sourceval get : 'a key -> 'a

get key returns the value associated with the key in the storage associated with the current thread.

Sourceval set : 'a key -> 'a -> unit

set key value sets the value associated with the key in the storage associated with the current thread.

OCaml

Innovation. Community. Security.