package picos
Pico scheduler interface
Install
Dune Dependency
Authors
Maintainers
Sources
picos-0.4.0.tbz
sha256=343a8b4759239ca0c107145b8e2cc94c14625fecc0b0887d3c40a9ab7537b8da
sha512=db22b0a5b3adc603c0e815c9011c779f892b9ace76be018b2198d3e24a7d96727c999701025fe5a5fd07d0b452cb7286fc50c939aba0e4dce809941e9ebc12a6
doc/picos.sync/Picos_sync/Condition/index.html
Module Picos_sync.Condition
Source
A condition implementation for Picos
.
ℹ️ This intentionally mimics the interface of Stdlib.Condition
. Unlike with the standard library condition variable, blocking on this condition variable allows an effects based scheduler to run other fibers on the thread.
Represents a condition variable.
wait condition
unlocks the mutex
, waits for the condition
, and locks the mutex
before returning or raising due to the operation being canceled.
ℹ️ If the fiber has been canceled and propagation of cancelation is allowed, this may raise the cancelation exception.
signal condition
wakes up one fiber waiting on the condition
variable unless there are no such fibers.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>