Hierarchical Ordering of Sequential Processes

  • Edsger W. Dijkstra
Chapter

Abstract

One of the primary functions of an operating system is to rebuild a machine that must be regarded as non-deterministic (on account of cycle stealing and interrupts) into a more or less deterministic automaton. Taming the degree of indeterminacy in steps will lead to a layered operating system. A bottom layer will be discussed and so will the adequacy of the interface it presents. An analysis of the requirements of the correctness proofs will give us an insight into the logical issues at hand. A “director-secretary” relationship will be introduced to reflect a possible discipline in the use of sequencing primitives.

Keywords

Bottom Layer Sequential Process Central Processor Speed Ratio Critical Section 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Koestler, A., The act of creation. Macmillan, New York, 1970.Google Scholar
  2. Simon, H.A., The sciences of the artificial. MIT Press, Cambridge, 1969.Google Scholar

Copyright information

© Springer Science+Business Media New York 1971

Authors and Affiliations

  • Edsger W. Dijkstra

There are no affiliations available

Personalised recommendations