conditionΒΆ
type condition
A condition for synchronizing concurrent code.
fun condition(): condition
Returns a new condition.
meth (Condition: condition):broadcast
Signals
Condition
, resuming all waiters.meth (Condition: condition):signal
Signals
Condition
, resuming a single waiter.meth (Condition: condition):wait(Semaphore: semaphore): integer
Increments
Semaphore
, waits untilCondition
is signalled, then decrementsSemaphore
(waiting if necessary) and returns its value.