Map
Index
Random
Help
th

QuoteRef: brinP7_1972

topics > all references > ThesaHelp: references a-b



ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
critical regions
Topic:
shared objects
Topic:
waitfor condition in parallel processing
Topic:
event controlled processing

Reference

Brinch Hansen, P., "Structured multiprogramming", Communications of the ACM, 15, 7, July 1972, pp. 574-578. Google

Quotations
576 ;;Quote: use critical regions to update shared variables
576+;;Quote: critical regions always satisfy an invariant even though they interleave arbitrarily
576 ;;Quote: within a critical region, 'await' delays until a shared variable satisfies a condition; allows cooperation between processes
577 ;;Quote: within a critical region, use 'await' to join an event queue and 'cause' to invoke the event


Related Topics up

ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: critical regions (58 items)
Topic: shared objects (13 items)
Topic: waitfor condition in parallel processing (20 items)
Topic: event controlled processing (46 items)

Collected barberCB 11/03
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.