This struct represents a condition variable as conceived by C.A.R. Hoare. As per Mesa type monitors however, "signal" has been replaced with "notify" to indicate that control is not transferred to the waiter when a notification is sent.
Initializes a condition variable.
Notifies all waiters.
Notifies one waiter.
Wait until notified. The associated mutex should always be the same for this condition variable.
See Implementation
This struct represents a condition variable as conceived by C.A.R. Hoare. As per Mesa type monitors however, "signal" has been replaced with "notify" to indicate that control is not transferred to the waiter when a notification is sent.