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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Koestler, A., The act of creation. Macmillan, New York, 1970.
Simon, H.A., The sciences of the artificial. MIT Press, Cambridge, 1969.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1971 Springer Science+Business Media New York
About this chapter
Cite this chapter
Dijkstra, E.W. (1971). Hierarchical Ordering of Sequential Processes. In: Hansen, P.B. (eds) The Origin of Concurrent Programming. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3472-0_5
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3472-0_5
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-2986-0
Online ISBN: 978-1-4757-3472-0
eBook Packages: Springer Book Archive