Edsger W. Dijkstra
Abstract
A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundness of the design and the correctness of its implementation.
- ACM Forum, vol.17, No.5, May 1974, p. 294. Google Scholar
Digital Library
- ACM Forum, vol.17, No.9, September 1974, p. 542-543. Google ScholarDigital Library
Recommendations
The structure of the “THE”-multiprogramming system
SOSP '67: Proceedings of the first ACM symposium on Operating System PrinciplesA multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been ...
The nucleus of a multiprogramming system
This paper describes the philosophy and structure of a multi-programming system that can be extended with a hierarchy of operating systems to suit diverse requirements of program scheduling and resource allocation. The system nucleus simulates an ...
Comments