The structure of an operating system

  • C. A. R. Hoare
Chapter 3.: Operating Systems Structure
Part of the Lecture Notes in Computer Science book series (LNCS, volume 46)


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.

Key words and phrases

Programming Languages Implementation Languages Macros Operating Systems Protection Structure 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Birtwhistle et al. SIMULA begin. Student Litteratur and Auerbach, 1974.Google Scholar
  2. 2.
    P. Brinch Hansen. Structured Multiprogramming. Comm. ACM, 15, 7 (July 1972), 574–577.CrossRefGoogle Scholar
  3. 3.
    O.-J. Dahl. Hierarchical Program Structures. in Structured Programming, Academic Press, 1972.Google Scholar
  4. 4.
    E.W. Dijkstra. Structure of the T.H.E. Multiprogramming System. Comm. ACM 11 (1968), 341.Google Scholar
  5. 5.
    J. Elder, Ph.D. thesis, Queen's University, Belfast.Google Scholar
  6. 6.
    C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica 1 (1972), 271–281.CrossRefGoogle Scholar
  7. 7.
    C.A.R. Hoare. Monitors: an Operating System Structuring Concept, Comm. ACM, 17, 10 (October 1974), 549–557.CrossRefGoogle Scholar
  8. 8.
    P. Naur (ed.). Report on the Algorithmic Language ALGOL 60.Google Scholar
  9. 9.
    R. Needham. Protection and Process Management in the CAP computer. in Protection in Operating Systems, IRIA 1974.Google Scholar
  10. 10.
    D. Parnas. Information distribution aspects of software methodology. Proceedings of IFIP Congress, 1974.Google Scholar
  11. 11.
    N. Wirth. The Programming Language PASCAL. Acta Informatica 1, 1 (1971), 35–63.CrossRefGoogle Scholar
  12. 12.
    J. Palme. Protected Program Modules in SIMULA 67. FOA P report C8372 Sept. 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • C. A. R. Hoare
    • 1
  1. 1.The Queen's University of BelfastBelfastNorthern Ireland

Personalised recommendations