Skip to main content
SpringerLink
Log in
Book cover

Concepts of Operating Systems pp 157–171Cite as

Process Synchronisation — Language-Based Approaches

  • Chapter

  • 64 Accesses

Part of the book series: Macmillan Computer Science Series ((COMPSS))

Abstract

It has been shown how semaphores can be used for process communication and to achieve mutual exclusion. They can, of course, be used also for more complicated synchronisation problems. The main advantage of semaphores over more ad hoc methods is that the semaphore invariant provides a means of treating synchronisation problems with mathematical rigour. It can actually be proved, rather than just assumed, that the solutions are correct.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

11.7 References and bibliography

  • P. Brinch-Hansen (1976). ‘The Solo Operating System in Processes, Monitors and Classes’, Software Practice and Experience, Vol. 6, pp. 165–200.

    Article  Google Scholar 

  • G.R. Brookes and A.J. Stewart (1989). Introduction to occam 2 on the Transputer, Macmillan, London.

    Google Scholar 

  • N.H. Gehani (1983). Ada An Advanced Introduction, Prentice Hall, Englewood Cliffs NJ.

    Google Scholar 

  • A.N. Habermann and D.E. Perry (1983). Ada for Experienced Programmers, Addison-Wesley, Reading, Mass.

    Google Scholar 

  • C.A.R. Hoare (1974). ‘Monitors; An Operating System Structuring Concept’, Communications of the ACM, Vol. 17, pp. 549–57.

    Article  Google Scholar 

  • C.A.R. Hoare (1978). ‘Communicating Sequential Processes’, Communications of the ACM, Vol. 21, pp. 666–77.

    Article  Google Scholar 

  • Inmos (1988). Occam Reference Manual, Prentice Hall, London.

    Google Scholar 

  • J. Jones and N. Goldsmith (1988). Programming in Occam 2, Prentice Hall, London.

    Google Scholar 

  • A.M. Lister and K.J. Maynard (1976). ‘An Implementation of Monitors’, Software Practice and Experience, Vol. 6, pp. 377–86.

    Article  Google Scholar 

  • I.C. Pyle (1985). The Ada Programming Language, Prentice Hall, London.

    Google Scholar 

  • H.A. Schmid (1976). ‘On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors’, Acta Informatica, Vol. 6, No. 3, pp. 227–79.

    Article  Google Scholar 

  • N. Wirth (1977). ‘MODULA: A Language for Modular Programming’, Software Practice and Experience, Vol. 7, pp. 3–36.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Staffordshire University, UK

    Colin J. Theaker

  2. Hull University, UK

    Graham R. Brookes

Authors
  1. Colin J. Theaker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Graham R. Brookes
    View author publications

    You can also search for this author in PubMed Google Scholar

Copyright information

© 1993 Colin J. Theaker and Graham R. Brookes

About this chapter

Cite this chapter

Theaker, C.J., Brookes, G.R. (1993). Process Synchronisation — Language-Based Approaches. In: Concepts of Operating Systems. Macmillan Computer Science Series. Palgrave, London. https://doi.org/10.1007/978-1-349-11511-2_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-349-11511-2_11

  • Publisher Name: Palgrave, London

  • Print ISBN: 978-0-333-52366-7

  • Online ISBN: 978-1-349-11511-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation