A large semaphore based operating system
- 1 July 1975
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 18 (7) , 377-389
- https://doi.org/10.1145/360881.360904
Abstract
The paper describes the internal structure of a large operating system as a set of cooperating sequential processes. The processes synchronize by means of semaphores and extended semaphores (queue semaphores). The number of parallel processes is carefully justified, and the various semaphore constructions are explained. The system is proved to be free of “deadly embrace” (deadlock). The design principle is an alternative to Dijkstra's hierarchical structuring of operating systems. The project management and the performance are discussed, too. The operating system is the first large one using the RC 4000 multiprogramming system.Keywords
This publication has 8 references indexed in Scilit:
- Program control of operating systemsBIT Numerical Mathematics, 1973
- Process StructuringACM Computing Surveys, 1973
- Job scheduling guaranteing reasonable turn-around timesActa Informatica, 1973
- Chief programmer team management of production programmingIBM Systems Journal, 1972
- Third Generation Computer SystemsACM Computing Surveys, 1971
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970
- Prevention of system deadlocksCommunications of the ACM, 1969
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968