Skip to main content
SpringerLink
Log in

On interprocess communication

Part II: Algorithms

  • Published:
Distributed Computing Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Courtois PJ, Heymans F, Parnas DL (1971) Concurrent control with “readers” and “writers”. Commun ACM 14:190–199

    Google Scholar 

  2. Lamport L (1977) Concurrent reading and writing. Commun ACM 20:806–811

    Google Scholar 

  3. Lamport L (1986) On interprocess communication. Part I: Basic formalism. Distributed Computing 1:77–85

    Google Scholar 

  4. Lamport L (1985) Interprocess Communication. SRI Tech Rep

  5. Misra J (1986) Axioms for memory access in asynchronous hardware systems. ACM Trans Program Lang Syst 8:142–153

    Google Scholar 

  6. Peterson GL (1983) Concurrent reading while writing. ACM Trans Program Lang Syst 5:46–55

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems Research Center, Digital Equipment Corporation, 130 Lytton Avenue, 94301, Palo Alto, CA, USA

    Leslie Lamport

Authors
  1. Leslie Lamport
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Much of this research was performed while the author was a member of the Computer Science Laboratory at SRI International, where it was sponsored by the Office of Naval Research Project under contract number N00014-84-C-0621 and the Rome Air Development Command Project under contract number F30602-85-C-0024

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lamport, L. On interprocess communication. Distrib Comput 1, 86–101 (1986). https://doi.org/10.1007/BF01786228

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01786228

Keywords

Search

Navigation