Skip to main content
Springer Nature Link
Log in

Protection and synchronisation in a message-switched system

  • Part VI, Network Operating Systems
  • Conference paper
  • First Online:
Operating Systems Engineering (IBM 1980)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 143))

Included in the following conference series:

  • 142 Accesses

Abstract

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).

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

9. Bibliography

  1. Andler S. Predicate Path Expressions. Proc. Sixth Annual ACM Symposium on Principles of Programming Languages. A.C.M. Jan 1979.

    Google Scholar 

  2. 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 P. The Architecture of Concurrent Programs. Prentice Hall. 1977.

    Google Scholar 

  4. 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 D.R. Multi-Process Structure and the THOTH Operating System. PhD Thesis. University of Waterloo, August, 1978.

    Google Scholar 

  6. 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 E., and D. Jefferson Protection in the Hydra Operating System. 5th Symposium on Operating System Principles. Texas 1975.

    Google Scholar 

  8. Cook R.P. *MOD — A Language for Distributed Computing. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979.

    Google Scholar 

  9. Cosserat D.C. A Capability oriented Multiprocessor System for Real-time Applications. I.C.C. Conference, Washington, Oct 1972.

    Google Scholar 

  10. Dennis J.B. and E.C. Van Horn Programming Semantics for multiprogrammed computations. Comm. ACM 9, March 1966.

    Google Scholar 

  11. 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 D.M. Operating System of System 250. International Switching Symposium. Cambridge, Mass., June 1972.

    Google Scholar 

  13. 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 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 A.N. Path Expressions. Tech. Report. Dept. of Computer Science. Carnegie-Mellon University. June 1975.

    Google Scholar 

  16. Hoare C.A.R. Monitors, an Operating Systems Structuring Concept. CACM Oct 74.

    Google Scholar 

  17. Hoare C.A.R. Communicating Sequential Processes. C.A.C.M. 21,8. August 1978.

    Google Scholar 

  18. Jensen E.D. The Honeywell Experimental Distributed Processor — An Overview. Computer 11, 1. Jan 1978.

    Google Scholar 

  19. 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 L. Time, Clocks and the Ordering of Events in a Distributed System. C.A.C.M. 21, 7. July 1978.

    Google Scholar 

  21. Lampson B.W. & Sturgis H.E. Reflections on an Operating System Design. CACM 19, 5 (May 1976) pp 251–265.

    Google Scholar 

  22. Lelann G.E. Distributed Processing — Towards a Formal Approach. Proc. IFIP 1977.

    Google Scholar 

  23. 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 N. J. A Hybrid Implementation of Capabilities. M. Math. Thesis. University of Waterloo. April 1977.

    Google Scholar 

  25. Livesey N.J. and Eric Manning Run-time Supervision in Transaction Processing. Seventh Texas Conference on Computing Systems October 1978.

    Google Scholar 

  26. 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 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 N. J. Inter-process Communication and Naming in the Mininet System. Proc. COMPCON 79. I.E.E.E. February 1979.

    Google Scholar 

  29. Livesey N. J. Run-Time Control in a Transaction-Oriented Operating System. PhD Thesis. University of Waterloo. April 1980.

    Google Scholar 

  30. Manning Eric and R. W. Peebles. A Homogeneous Network for Data Sharing: Communications. Computer Networks, April 1978.

    Google Scholar 

  31. Manning Eric, Livesey N.J. and H. Tokuda. Inter-Process Communication in Distributed Systems: One View. IFIP '80, To appear.

    Google Scholar 

  32. 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 R. Flowgraphs and Flow Algebras. J.A.C.M., 26, 4. Oct. 1979.

    Google Scholar 

  34. 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 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 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 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 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 D.P. and R.K. Kanoida. Synchronisation with Event Counts and Sequencers. Proc. SOSP-6. Nov. 1977.

    Google Scholar 

  40. Tandem Corporation. Tandem 16 System Introduction. Undated.

    Google Scholar 

  41. Wilkes M.V and R.M. Needham. The Cambridge CAP Computer and its Operating System. North Holland. 1979.

    Google Scholar 

  42. Zave P. On the Formal Definition of Processes. Proc 1976 International Conference on Parallel Processing. IEEE Computer Society. 1976.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information and Computer Science, Georgia Institute of Technology, Atlanta, Georgia, U.S.A.

    Jon Livesey

  2. Department of Computer Science and CCNG, University of Waterloo, Waterloo, Ontario, Canada

    Eric Manning

Authors
  1. Jon Livesey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eric Manning
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mamoru Maekawa Laszio A. Belady

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Livesey, J., Manning, E. (1982). Protection and synchronisation in a message-switched system. In: Maekawa, M., Belady, L.A. (eds) Operating Systems Engineering. IBM 1980. Lecture Notes in Computer Science, vol 143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11604-4_61

Download citation

  • DOI: https://doi.org/10.1007/3-540-11604-4_61

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11604-2

  • Online ISBN: 978-3-540-39424-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics