Skip to main content
SpringerLink
Log in

The structure of an operating system

  • Chapter 3.: Operating Systems Structure
  • Conference paper
  • First Online:
Language Hierarchies and Interfaces

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

Abstract

This paper describes the use of the class and inner concepts of SIMULA 67 to express the multi-level structure of an operating system. A comparison is drawn between compile-time checking and run-time protection.

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. G. Birtwhistle et al. SIMULA begin. Student Litteratur and Auerbach, 1974.

    Google Scholar 

  2. P. Brinch Hansen. Structured Multiprogramming. Comm. ACM, 15, 7 (July 1972), 574–577.

    Article  Google Scholar 

  3. O.-J. Dahl. Hierarchical Program Structures. in Structured Programming, Academic Press, 1972.

    Google Scholar 

  4. E.W. Dijkstra. Structure of the T.H.E. Multiprogramming System. Comm. ACM 11 (1968), 341.

    Google Scholar 

  5. J. Elder, Ph.D. thesis, Queen's University, Belfast.

    Google Scholar 

  6. C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica 1 (1972), 271–281.

    Article  Google Scholar 

  7. C.A.R. Hoare. Monitors: an Operating System Structuring Concept, Comm. ACM, 17, 10 (October 1974), 549–557.

    Article  Google Scholar 

  8. P. Naur (ed.). Report on the Algorithmic Language ALGOL 60.

    Google Scholar 

  9. R. Needham. Protection and Process Management in the CAP computer. in Protection in Operating Systems, IRIA 1974.

    Google Scholar 

  10. D. Parnas. Information distribution aspects of software methodology. Proceedings of IFIP Congress, 1974.

    Google Scholar 

  11. N. Wirth. The Programming Language PASCAL. Acta Informatica 1, 1 (1971), 35–63.

    Article  Google Scholar 

  12. J. Palme. Protected Program Modules in SIMULA 67. FOA P report C8372 Sept. 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Queen's University of Belfast, Belfast, Northern Ireland

    C. A. R. Hoare

Authors
  1. C. A. R. Hoare
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Friedrich L. Bauer E. W. Dijkstra A. Ershov M. Griffiths C. A. R. Hoare W. A. Wulf Klaus Samelson

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hoare, C.A.R. (1976). The structure of an operating system. In: Bauer, F.L., et al. Language Hierarchies and Interfaces. Lecture Notes in Computer Science, vol 46. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07994-7_56

Download citation

  • DOI: https://doi.org/10.1007/3-540-07994-7_56

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07994-1

  • Online ISBN: 978-3-540-37972-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation