Quote: use condition variables when one-at-a-time mutual exclusion (i.e., mutex) is not sufficient

Quote: mechanisms for 'wait until condition': interrupts, prediction, priority, busy waiting [»donnMD_1987]

Quote: 'when' statement in OWL waits until condition comes true; periodic testing of condition [»donnMD_1987]

Quote: conditions are first-in, first-out await queues

Quote: use 'alt' to randomly select an enabled block of statements for a communication expression

Quote: the time to start and terminate an 'alt' is proportional to the number of branches; may need to build a decision tree [»wilsGV_1995]

Quote: buntil goes to last step point satisfying a condition; useful; two-pass algorithm [»bootB6_2000]

Quote: within a critical region, 'await' delays until a shared variable satisfies a condition; allows cooperation between processes [»brinP7_1972]

Quote: within a critical region, use 'await' to join an event queue and 'cause' to invoke the event [»brinP7_1972]

Quote: a guarded region delays until one of its conditions is true; similar to a guarded command but does not raise an exception [»brinP9_1978]

Quote: a wait on multiple conditions should be in a loop that tests the conditions; otherwise no guarantee that the conditions hold after the wait [»hoveD7_2004]

Quote: protect all condition variables with a boolean expression; guarantees that the expression is true despite an inconsistent Signal or Broadcast [»birrAD_1991]

Quote: in Mesa when a process establishes a condition, it notifies waiting processes; a waiting process retries the guard before continuing [»lampBW2_1980]

Quote: conditional, critical regions better than mutual-exclusion; non-blocking without priority inversion; reevaluate conditions on update [»harrT10_2003]

Quote: the Wait operation unlocks a mutex and blocks on a condition variable; use Signal and Broadcast to unblock

Quote: AlertWait waits on a mutex and condition variable until a signal or explicit alert; an alert raises an exception [»birrAD_1991]

Quote: use wait and signal operations inside a monitor to wait for other resources [»hoarCA10_1974]

Quote: a mutex protects the invariant of the associated data; restore the invariant before calling Wait or Signal [»birrAD_1991]

Quote: in CSP, (x->P | y->Q) describes an object that engages in events x or y and then behaves as process P or Q [»hoarCA_1985]

Quote: Unix 'wait' suspends until a child process exits; receives the child's processid and exit status [»ritcDM7_1978a]