Skip to main content
SpringerLink
Log in

The specification of process synchronization by path expressions

  • Conference paper
  • First Online:
Operating Systems (OS 1974)

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

Included in the following conference series:

Abstract

A new method of expressing synchronization is presented and the motivations and considerations which led to this method are explained. Synchronization rules, given by ‘path expressions’, are incorporated into the type definitions which are used to introduce data objects shared by several asynchronous processes. It is shown that the method's ability to express synchronization rules is equivalent to that of P and V operations, and a means of automatically translating path expressions to existing primitive synchronization operations is given.

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.

References

  1. E.W. Dijkstra, Co-operating Sequential processes. (in Programming Languages, F. Genuys, ed. Academic Press, New York, 1968).

    Google Scholar 

  2. A.N. Habermann, Synchronization of Communicating Processes. CACM 15, 3, (March 1972), pp. 171–176.

    Google Scholar 

  3. C.A.R. Hoare, Monitors, An operating system structuring concept. (To be published).

    Google Scholar 

  4. P. Brinch Hanson, Nucleus of a Multiprogramming System. CACM 13, 4, (April 1970), pp. 238–241.

    Google Scholar 

  5. E.W. Dijkstra, Hierarchical ordering of sequential processes. (in Operating Systems Techniques) ed. C.A.R. Hoare and R.H. Perrott, Academic Press. (1973).

    Google Scholar 

  6. The programming language PASCAL, Acta Informatica, Vol. 1, 1, (May 1971), pp. 35–63.

    Google Scholar 

  7. Final Draft Report on the Algorithmic Language Algol 68.

    Google Scholar 

  8. O-J. Dahl, B. Myrhhaug and K. Nygaaŕd, the Simula 67 Common Base Language. Norwegian Computing Centre. (1970).

    Google Scholar 

  9. P.J. Courtois, F. Heymans and D.L. Parnas, Concurrent Control with. “Readers” and “Writers”. CACM 14, 10 (October 1971). pp.667–668.

    Google Scholar 

  10. P. Brinch Hansen, Structured Multiprogramming. CACM 15, 7 (July 1972) pp.574.

    Google Scholar 

  11. W. Wegbreit, B. Brosgol, G. Holloway, C. Premier and J. Spitzen, E.C.L. Programmers Manual. Center for Research in Computing Technology, Harvard University, Cambridge, Massachusetts. (1972).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Newcastle Upon Tyne (G.B.), UK

    R. H. Campbell

  2. Carnegie-Mellon University, Pittsburg

    A. N. Habermann

Authors
  1. R. H. Campbell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. N. Habermann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

E. Gelenbe C. Kaiser

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Campbell, R.H., Habermann, A.N. (1974). The specification of process synchronization by path expressions. In: Gelenbe, E., Kaiser, C. (eds) Operating Systems. OS 1974. Lecture Notes in Computer Science, vol 16. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029355

Download citation

  • DOI: https://doi.org/10.1007/BFb0029355

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06849-5

  • Online ISBN: 978-3-540-37805-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation