Protection and synchronisation in a message-switched system

  • Jon Livesey
  • Eric Manning
Part VI, Network Operating Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 143)


We present a language, the Task Graph Language for the centralized representation of distributed control in the Mininet distributed operating system. This context-free language allows a programmer to specify the inter-process communication between a suite of distributed processes in the form of a Task Graph (centralized representation) and to have the constraints of the Task Graph enforced at run-time by coöperating Token Lists, one at each task (distributed control).

The language allows the specification of connectivity (which tasks can send messages to which), sequencing (which messages must precede or follow one another), concurrency (which messages can be sent without regard to order), and mutual exclusion (which message sequences incident on a single task must be non-interfering).


Message Passing Token List Mutual Exclusion Message Transmission Task Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

9. Bibliography

  1. Andler 79.
    Andler S. Predicate Path Expressions. Proc. Sixth Annual ACM Symposium on Principles of Programming Languages. A.C.M. Jan 1979.Google Scholar
  2. Baskett 79.
    Baskett F., J.H. Howard, and J.T. Montague Task Communication in DEMOS. Proc. 6th ACM Symposium on O.S. Principles. 1979.Google Scholar
  3. Brinch Hansen 77.
    Brinch Hansen P. The Architecture of Concurrent Programs. Prentice Hall. 1977.Google Scholar
  4. Campbell 74.
    Campbell R.H. and A.N. Habermann The Specification of Process Synchronization by Path Expressions. Lecture Notes in Computer Science. Springer-Verlag, Vol 16, 1974.Google Scholar
  5. Cheriton 78.
    Cheriton D.R. Multi-Process Structure and the THOTH Operating System. PhD Thesis. University of Waterloo, August, 1978.Google Scholar
  6. Chandy 79.
    Chandy K. M. and J. Misra Distributed Simulation: A Case Study in the Design and Verification of Distributed Programs. IEEE Trans. on Software Engineering. SE-5, No. 5, Sept 1979.Google Scholar
  7. Cohen 75.
    Cohen E., and D. Jefferson Protection in the Hydra Operating System. 5th Symposium on Operating System Principles. Texas 1975.Google Scholar
  8. Cook 79.
    Cook R.P. *MOD — A Language for Distributed Computing. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979.Google Scholar
  9. Cosserat 72.
    Cosserat D.C. A Capability oriented Multiprocessor System for Real-time Applications. I.C.C. Conference, Washington, Oct 1972.Google Scholar
  10. Dennis 66.
    Dennis J.B. and E.C. Van Horn Programming Semantics for multiprogrammed computations. Comm. ACM 9, March 1966.Google Scholar
  11. Devy 79.
    Devy M. and M. Diaz Multilevel Specification and Validation of the Control in Communication Systems. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979.Google Scholar
  12. England 72.
    England D.M. Operating System of System 250. International Switching Symposium. Cambridge, Mass., June 1972.Google Scholar
  13. Farber 73.
    Farber D. J. and K.C. Larsen The System Architecture of the Distributed Computer System — The Communications System. Proc. NCC. June 1973.Google Scholar
  14. Farber 76.
    Farber D.J. and J.R. Pickens The Overseer, a Powerful Communications Attribute for Bebugging and Security in thin-wire Connected Control Structures. Proc. ICCC 1976. October 1976.Google Scholar
  15. Habermann 75.
    Habermann A.N. Path Expressions. Tech. Report. Dept. of Computer Science. Carnegie-Mellon University. June 1975.Google Scholar
  16. Hoare 74.
    Hoare C.A.R. Monitors, an Operating Systems Structuring Concept. CACM Oct 74.Google Scholar
  17. Hoare 78.
    Hoare C.A.R. Communicating Sequential Processes. C.A.C.M. 21,8. August 1978.Google Scholar
  18. Jensen 78.
    Jensen E.D. The Honeywell Experimental Distributed Processor — An Overview. Computer 11, 1. Jan 1978.Google Scholar
  19. Kamibayashi 78.
    Kamibayashi N. et al. Distributed Processing Oriented Interprocess Communication Facility for KOCOS. Proc. 3rd USA-Japan Computer Conference. AFIPS. Oct 1978.Google Scholar
  20. Lamport 78.
    Lamport L. Time, Clocks and the Ordering of Events in a Distributed System. C.A.C.M. 21, 7. July 1978.Google Scholar
  21. Lampson 76.
    Lampson B.W. & Sturgis H.E. Reflections on an Operating System Design. CACM 19, 5 (May 1976) pp 251–265.Google Scholar
  22. Lelann 77.
    Lelann G.E. Distributed Processing — Towards a Formal Approach. Proc. IFIP 1977.Google Scholar
  23. Lessor 79.
    Lessor V., Serrain D. and Bonar J. PCL: A Process Oriented Job Control Language. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979.Google Scholar
  24. Livesey 77.
    Livesey N. J. A Hybrid Implementation of Capabilities. M. Math. Thesis. University of Waterloo. April 1977.Google Scholar
  25. Livesey 78.
    Livesey N.J. and Eric Manning Run-time Supervision in Transaction Processing. Seventh Texas Conference on Computing Systems October 1978.Google Scholar
  26. Livesey 78a.
    Livesey N. J. and Eric Manning What Mininet has Taught us about Programming Style. Proc. COMPSAC 78. I.E.E.E. October 1978.Google Scholar
  27. Livesey 78b.
    Livesey N. J. Contribution to: Enslow, P. Ed. Workshop on Interprocess Communication in Highly Distributed Systems. Atlanta, Georgia. November 20–22, 1978.Google Scholar
  28. Livesey 79.
    Livesey N. J. Inter-process Communication and Naming in the Mininet System. Proc. COMPCON 79. I.E.E.E. February 1979.Google Scholar
  29. Livesey 80.
    Livesey N. J. Run-Time Control in a Transaction-Oriented Operating System. PhD Thesis. University of Waterloo. April 1980.Google Scholar
  30. Manning 78.
    Manning Eric and R. W. Peebles. A Homogeneous Network for Data Sharing: Communications. Computer Networks, April 1978.Google Scholar
  31. Manning 80.
    Manning Eric, Livesey N.J. and H. Tokuda. Inter-Process Communication in Distributed Systems: One View. IFIP '80, To appear.Google Scholar
  32. Mao 79.
    Mao T. W. and R.T. Yeh Communications Port — A Language Concept for Concurrent Programming. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979.Google Scholar
  33. Milner 79.
    Milner R. Flowgraphs and Flow Algebras. J.A.C.M., 26, 4. Oct. 1979.Google Scholar
  34. Mills 76.
    Mills D.L. The Basic Operating System for The Distributed Computer Network. Tech. Report TR 416. University of Maryland. Jan. 1976.Google Scholar
  35. Peacock 79a.
    Peacock J. K., J.W. Wong and Eric Manning. A Distributed Approach to Queuing Network Simulation. Proc. Winter Simulation Conference. San Diego 1979.Google Scholar
  36. Peacock 79b.
    Peacock J. K., J.W. Wong and Eric Manning. Distributed Simulation Using a Network of Processors. Computer Networks, 3, 1. February 1979.Google Scholar
  37. Peacock 80.
    Peacock J. K., Eric Manning and J.W. Wong. Synchronization of Distributed Simulation Using Broadcast Algorithms. Computer Networks 4, 1. February 1980.Google Scholar
  38. Peebles 74.
    Peebles R.W. and Eric Manning. A Homogeneous Network for Data Sharing — Software Architecture and Data Management. CCNG Report E-16. University of Waterloo. 1974.Google Scholar
  39. Reed 78.
    Reed D.P. and R.K. Kanoida. Synchronisation with Event Counts and Sequencers. Proc. SOSP-6. Nov. 1977.Google Scholar
  40. Tandem.
    Tandem Corporation. Tandem 16 System Introduction. Undated.Google Scholar
  41. Wilkes 79.
    Wilkes M.V and R.M. Needham. The Cambridge CAP Computer and its Operating System. North Holland. 1979.Google Scholar
  42. Zave 76.
    Zave P. On the Formal Definition of Processes. Proc 1976 International Conference on Parallel Processing. IEEE Computer Society. 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Jon Livesey
    • 1
  • Eric Manning
    • 2
  1. 1.School of Information and Computer ScienceGeorgia Institute of TechnologyAtlantaU.S.A.
  2. 2.Department of Computer Science and CCNGUniversity of WaterlooWaterlooCanada

Personalised recommendations