Map
Index
Random
Help
th

Quote: for meaningful, interprocess communication need: no livelock, no deadlock, all messages handled, concurrency is order independent, serialization

topics > all references > references c-d > QuoteRef: chowTS_1978 , p. 169



Topic:
interprocess communication
Topic:
deadlocks
Topic:
race conditions

Quotation Skeleton

We submit that the following five postulates are … [messages outside system will have responses outside system], No Surprise Postulate [every message can be handled], No Deadlock postulate, Concurrent Postulate [concurrent messages can be received in any order], No harmful race Postulate [always same effects for concurrent messages]   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: interprocess communication (29 items)
Topic: deadlocks (21 items)
Topic: race conditions (30 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.