Messages in typed languages

ABSTRACT

Messages are increasingly being used for interprocess communication. The problem of introducing messages into typed languages is considered, and a solution in terms of typed message-channels is presented. Our particular treatment permits dynamic connexions, including secure linking of separately-compiled programmes, and also features nondeterminacy, thereby enabling automatic resource-scheduling without monitors. Implementation considerations are discussed, and a comparison with the work of other authors is given.

REFERENCES

• 1: R. M. Balzer Ports - a Method for Dynamic Interprogramme Communication and Job Control Proc. AFIPS 1971 SJCC; 38 485--489.
• 2: J. G. P. Barnes "RTL/2 Design & Philosophy" Heyden, 1976. ISBN = 0-85501-226-9.
• 3: P. Brinch Hansen The Programming Language 'Concurrent Pascal' IEEE SE 1 (2) 199--207; June 1975.
• 4: Per Brinch Hansen, The Architecture of Concurrent Programs, Prentice Hall PTR, Upper Saddle River, NJ, 1977
• 5: B. Eichenauer, V. Haase, P. Holleczek, K. Kreuter, & G. Mueller PEARL, eine prozess- und experimentorientierte Programmiersprache Angewandte Informatik 15 (9) 363--372; September 1973.
• 6: Arthur Evans, Jr., PAL—a language designed for teaching programming linguistics, Proceedings of the 1968 23rd ACM national conference, p.395-403, August 27-29, 1968 [doi>10.1145/800186.810604]
• 7: G. Goos, J. Juergens, & K. Lagally The Operating System BSM, viewed as a Community of Parallel Processes Rechenzentrum, TU Muenchen, Report 7208; March 1972.
• 8: C. E. Hewitt & B. Smith Towards a Programming Apprentice IEEE SE 1 (1) 26--45; March 1975.
• 9: C. E. Hewitt & H. Baker Laws for Communicating Parallel Processes Proc. IFIP Congress 1977; 987--992.
• 10: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 11: P. Hugot & M. Ritout Procol: a Programming System Developed for Real-Time Applications Proc. 6th. Australian Computer Conf., 1974; 300--312. ISBN = 0-909924-11-9.
• 12: J. G. Hunt An Introduction to Limp pp. 110--120 of "Programmiersprachen" Springer Verlag, 1978. ISBN = 3-540-08680-3; 0-387-08680-3.
• 13: J. G. Hunt Limpet: a Minimal Subset of Limp QMC; March 1978.
• 14: J. G. Hunt Demonstrably-Secure Interprocess Communication using Dynamic Typed Message-Channels QMC; August 1978.
• 15: J. G. Hunt Interrupts QMC; August 1978.
• 16: J. G. Hunt Parallel Processes and their Coordination QMC; September 1978.
• 17: IECCA "Official Definition of Coral 66" HMSO, 1973.
• 18: M M Jackson, Information systems: Modelling, sequencing and transformations, Proceedings of the 3rd international conference on Software engineering, p.72-81, May 10-12, 1978, Atlanta, Georgia, United States
• 19: G. Kahn The Semantics of a Simple Language for Parallel Programming Proc. IFIP Congress 1974; 471--475.
• 20: G. Kahn & D. B. MacQueen Coroutines and Networks of Parallel Processes Proc. IFIP Congress 1977; 993--998.
• 21: B. Knight The PDP-11 lmplementation of the TRIPOS Kernel University of Cambridge; January 1978.
• 22: M. D. May & R. J. B. Taylor The EPL Programming Manual Dept. Computer Science, University of Warwick; April 1977.
• 23: J. G. Mitchell, W. Maybury, & R. Sweet Mesa Language Manual Xerox CSL-78-1; February 1978.
• 24: D. Morris, G. R. Frank, & C. J. Theaker Machine-Independent Operating Systems Proc. IFIP Congress 1977; 819--825. see also: MUSS Basic System Manual Dept. Computer Science, University of Manchester; August 1977.
• 25: John C. Reynolds, G/EDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, v.13 n.5, p.308-319, May 1970 [doi>10.1145/362349.362364]
• 26: M. Richards BCPL: A Tool for Compiler-Writing & Systems-Programming Proc. AFIPS 1969 SJCC; 34 557--566.
• 27: Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]
• 28: R. K. Siegel Hallucinations Scientific American 237 (4) 132--140; October 1977.
• 29: C. Sunshine & S. Zucker "Interprocess Communication Extensions for the Unix Operating System" Part I: "Design Considerations" C Sunshine R-2064/1-AF Part II: "Implementation" S Zucker R-2064/2-AF Rand Corporation, Santa Monica, California; June 1977.
• 30: David C. Walden, A system for interprocess communication in a resource sharing computer network, Communications of the ACM, v.15 n.4, p.221-230, April 1972 [doi>10.1145/361284.361288]
• 31: A. R. West & C. Burton MOPSY - a Message-Based Operating System QMC; June 1978.
• 32: N. Wirth Modula: a Language for Modular Multiprogramming SPE 7 (1) 3--35; January 1977.
• 33: N. Wirth Design and Implementation of Modula SPE 7 (1) 67--84; January 1977.
• 34: H. Zima Progress - eine Programmiersprache fuer Realzeitsysteme Angewandte Informatik 16 (8) 335--339; August 1974.
• 35: (Anon) KSOS Executive Summary Ford Aerospace and Communications Corp.; 1978.