On interprocess communication
- 419 Downloads
Interprocess communication is studied without assuming any lower-level communication primitives. Three classes of communication registers are considered, and several constructions are given for implementing one class of register with a weaker class. The formalism developed in Part I is used in proving the correctness of these constructions.
KeywordsOperating System Communication Network Computer System System Organization Computer Hardware
Unable to display preview. Download preview PDF.
- 1.Courtois PJ, Heymans F, Parnas DL (1971) Concurrent control with “readers” and “writers”. Commun ACM 14:190–199Google Scholar
- 2.Lamport L (1977) Concurrent reading and writing. Commun ACM 20:806–811Google Scholar
- 3.Lamport L (1986) On interprocess communication. Part I: Basic formalism. Distributed Computing 1:77–85Google Scholar
- 4.Lamport L (1985) Interprocess Communication. SRI Tech RepGoogle Scholar
- 5.Misra J (1986) Axioms for memory access in asynchronous hardware systems. ACM Trans Program Lang Syst 8:142–153Google Scholar
- 6.Peterson GL (1983) Concurrent reading while writing. ACM Trans Program Lang Syst 5:46–55Google Scholar