Topic: waitfor condition in parallel processing

topics > computer science > Group: parallel processing

change notification
concurrency control by monitors
concurrent while in parallel processing
critical regions
event controlled processing
parallel control statements
Subtopic: wait until condition up

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]

Subtopic: wait-for-condition loop up

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]

Subtopic: conditional, critical region up

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

Subtopic: condition signaling up

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]

Subtopic: conditions and monitor up

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]

Subtopic: event up

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]

Subtopic: process wait up

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

Related Topics up

Topic: change notification (19 items)
Topic: concurrency control by monitors (24 items)
Topic: concurrent while in parallel processing (5 items)
Topic: critical regions (58 items)
Topic: event controlled processing (46 items)
Topic: interrupts (25 items)
Topic: parallel control statements
(12 items)

Updated barberCB 5/05
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.