Thread module

wake

procedure2 overloadsSource

Wakes one thread waiting on c, if any. Change the shared state under the mutex first; see wait for an example.

wake :: (c: *Condition_Variable)

Parameters

wake :: (c: *Condition_Variable)

Parameters

See also