package picos
Pico scheduler interface
Install
Dune Dependency
Authors
Maintainers
Sources
picos-0.5.0.tbz
sha256=862d61383e2df93a876bedcffb1fd1ddc0f96c50b0e9c07943a2aee1f0e182be
sha512=87805379017ef4a7f2c11b954625a3757a0f1431bb9ba59132202de278b3e41adbe0cdc20e3ab23b7c9a8c5a15faeb7ec79348e7d80f2b14274b00df0893b8c0
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)"
>