Skip to main content
SpringerLink
Log in

Dispatcher primitives for the construction of operating system kernels

  • Published:
Acta Informatica Aims and scope Submit manuscript

Summary

The main subject of this paper is the definition of a general set of dispatcher primitives which have been proved to be a suitable basis for the structured design of operating system kernels. The use of the primitives in the construction of kernel programs is demonstrated.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Brinch Hansen, P.: The nucleus of a multiprogramming system. Comm. ACM 13, 238–250 (1970)

    Google Scholar 

  2. Brinch Hansen, P.: Operating system principles. Englewood Cliffs (N.J.): Prentice-Hall 1973

    Google Scholar 

  3. Dijkstra, E. W.: The structure of the THE-multiprogramming system. Comm. ACM 11, 341–346 (1968)

    Google Scholar 

  4. Dijkstra, E. W.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115–138 (1971)

    MATH  Google Scholar 

  5. Hoare, C. A. R.: Monitors: An operating system structuring concept. Comm. ACM 17, 549–557 (1974)

    Google Scholar 

  6. Nehmer, J.: Dispatcher-Elementarfunktionen für symmetrische Mehrprozessor-DV-Systeme. Kernforschungszentrum Karlsruhe, KFK 1866, 1973

  7. Nehmer, J.: Ein Ansatz zur Standardisierung von Betriebssoftware. Lecture Notes in Computer Science 8. Berlin-Heidelberg-New York: Springer 1974, p. 175–188

    Google Scholar 

  8. Parnas, D. L.: A technique for software module specification with examples. Comm. ACM 15, 330–336 (1972)

    Google Scholar 

  9. Saltzer, J. H.: Traffic control in a multiplex computer system. Ph.D. Thesis at MIT, Boston, 1966

  10. Wettstein, H.: Prozeßumschaltungen in Betriebssystemen. Computing 12, 363–382 (1974)

    Google Scholar 

  11. Wulf, W., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C., Pollack, F.: HYDRA: The kernel of a multiprocessor operating system. Comm. ACM 17, 337–345 (1974)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kernforschungszentrum Karlsruhe Institut für Datenverarbeitung in der Technik, Postfach 3640, D-7500, Karlsruhe, Bundesrepublik Deutschland

    J. Nehmer

Authors
  1. J. Nehmer
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nehmer, J. Dispatcher primitives for the construction of operating system kernels. Acta Informatica 5, 237–255 (1975). https://doi.org/10.1007/BF00264560

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation