skip to main content
article
Free Access

A Modula-2 implementation of CSP

Authors Info & Claims
Published:01 June 1987Publication History
Skip Abstract Section

Abstract

Recently, a series of process communication schemes based on message exchanges have been developed. Hoare's CSP is perhaps the most interesting one and is the base for concurrent features of modern languages (e.g. ADA, Occam, etc.).Several concurrency mechanisms have already been implemented in Modula-2 (signals, COBEGIN..COEND structure, message exchanges, etc.) but they have not completely fulfilled the Hoare's CSP scheme.In this paper a general implementation of CSP in Modula-2 is presented. Low level and modularity facilities of this language have been used to develop a kernel thus allowing the use of comunication primitives and nondeterministic selection.The original CSP scheme has been slightly modified by using port names instead of process names to specify communication.

References

  1. [1] Brinch Hansen, P.: The Programming Language Concurrent Pascal. IEEE T. S. E. SE-1 (2), 199-207. 1975.Google ScholarGoogle Scholar
  2. [2] Cerrada, J. A., Collado, M.: Distributed System Programming in Extended Pascal. Euromicro 85. Brusseles. 1985.Google ScholarGoogle Scholar
  3. [3] Cerrada, J. A., Collado, M.: An Experimental Implementation of the Communicating Sequential Processes Scheme. Mimi'85. Sant Feliu. 1985.Google ScholarGoogle Scholar
  4. [4] Dijkstra E. W.: Guarded Commands, Nondeterminacy, and Formal Derivation of Programs. Communications of ACM. 18, 8, 453-457. 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. [5] Gehani, N.: ADA, An Advanced Introduction. Prentice Hall. 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. [6] Hoare, C. A. R.: Communicating Sequential Processes. Comm. ACM 21 (8) 666-677. 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. [7] Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall. 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. [8] INMOS Limited.: Occam Programming Manual. Prentice Hall. 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. [9] Sewry, D. A.: Modula-2 Process Facilities. Sigplan Notices ACM, 19, 23-32. 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. [10] United States Department of Defense.: MIL-STD-1815A-1983: Reference Manual for the Ada Programmlng Language. American National Standard Institute. 1983. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. [11] Wirth, N.: Programming in Modula-2 and Report of the Programming Language Modula-2. Springer-Verlag. 1982. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. [12] Wirth, N.: Schemes for Multiprogramming and their implementation in Modula-2. Tech. Rep. 59. Institut für Informatik. ETH Zürich. 1984.Google ScholarGoogle Scholar

Index Terms

  1. A Modula-2 implementation of CSP

                      Recommendations

                      Comments

                      Login options

                      Check if you have access through your login credentials or your institution to get full access on this article.

                      Sign in

                      Full Access

                      • Published in

                        cover image ACM SIGPLAN Notices
                        ACM SIGPLAN Notices  Volume 22, Issue 6
                        June 1987
                        93 pages
                        ISSN:0362-1340
                        EISSN:1558-1160
                        DOI:10.1145/24900
                        Issue’s Table of Contents

                        Copyright © 1987 Authors

                        Publisher

                        Association for Computing Machinery

                        New York, NY, United States

                        Publication History

                        • Published: 1 June 1987

                        Check for updates

                        Qualifiers

                        • article

                      PDF Format

                      View or Download as a PDF file.

                      PDF

                      eReader

                      View online with eReader.

                      eReader