The TYPESET-10 Message Exchange Facility: a case study in systemic design

This paper describes the design considerations which led to the successful implementation of an interprocess communication mechanism, named the Message Exchange Facility (MX). The software implemented Message Exchange Facility provides services analogous to those of the hardware bus. It is the central link that binds a collection of synergistic asynchronous processes into a single systemic entity, the Digital Equipment Corporation's TYPESET-10 computerized newspaper production system. The peculiar functional constraints and requirements -dictated by TYPESET-10's specialized runtime environment- confronted us with a very difficult, and at the same time highly challenging, design problem. In this paper, the emphasis is placed on the decision making process leading from the statement of the problem to a specific technical solution.

[1]  Roy H. Campbell,et al.  The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[2]  Sacha Krakowiak,et al.  Process management and resource sharing in the multiaccess system in ESOPE , 1970, CACM.

[3]  T. J. Bergendahl,et al.  DIGITAL EQUIPMENT CORPORATION. , 1968, Analytical chemistry.

[4]  Per Brinch Hansen,et al.  Structured multiprogramming , 1972, CACM.

[5]  John M. Chambers.  A user-controlled synchronization method , 1973, OPSR.

[6]  John B. Johnston,et al.  Structure of multiple activity algorithms , 1969, SOSP '69.

[7]  Butler W. Lampson,et al.  A scheduling philosophy for multiprocessing systems , 1968, CACM.

[8]  Jean-Loup Baer.  Multiprocessing Systems , 1976, IEEE Transactions on Computers.

[9]  Edsger W. Dijkstra.  Information Streams Sharing a Finite Buffer , 1972, Inf. Process. Lett..

[10]  Brian Randell,et al.  Process Structuring , 1973, CSUR.

[11]  W. J. Chandler,et al.  Interference between communicating parallel processes , 1972, CACM.

[12]  Vinton G. Cerf,et al.  HOST-HOST communication protocol in the ARPA network , 1899, AFIPS '70 (Spring).

[13]  Michael J. Spier,et al.  The multics interprocess communication facility , 1969, SOSP '69.

[14]  David C. M. Wood.  An example in synchronization of cooperating processes: theory and practice , 1973, OPSR.

[15]  David Lorge Parnas,et al.  Concurrent control with “readers” and “writers” , 1971, CACM.

[16]  Per Brinch Hansen,et al.  The nucleus of a multiprogramming system , 1970, CACM.

[17]  Paul G. Sorenson,et al.  Interprocess communication in real-time systems , 1973, SOSP '73.

[18]  Michael J. Spier,et al.  A critical look at the state of our science , 1974, OPSR.

[19]  Niklaus Wirth.  On multiprogramming, machine coding, and computer organization , 1969, CACM.

[20]  A. Nico Habermann.  Synchronization of Communicating Processes , 1972, Commun. ACM.

[21]  Arthur J. Bernstein,et al.  Process control and communication , 1969, SOSP '69.