package picos
Pico scheduler interface
Install
Dune Dependency
Authors
Maintainers
Sources
picos-0.6.0.tbz
sha256=3f5a08199cf65c2dae2f7d68f3877178f1da8eabf5376e15114e5a8958087dfa
sha512=ad24910c47ce614268c4268874bb918da7f8b5f03b3ad706bbf30323635262e94ddab6be24eaebbca706bfa82c0a517d4272b396459e020c185942125c9bdb7b
doc/picos.thread/Picos_thread/TLS/index.html
Module Picos_thread.TLS
Source
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
.
Represents a key for associating values with threads.
create ()
allocates a new key for associating values with threads.
⚠️ Keys should not be created dynamically as each key will potentially increase the space taken by every thread.
Exception raised by get_exn
when no value is associated with the specified key for the current thread.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>