Third Generation Computer Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
The nucleus of a multiprogramming system
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
Design requirements of a single-user operating system
ACM SIGSMALL/PC Notes
The invention of concurrent programming
The origin of concurrent programming
Metric (Extended Abstract): A kernel instrumentation system for distributed environments
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
SODS/OS: a distributed operating system for the IBM series/1
ACM SIGOPS Operating Systems Review
Parallel developments in programming languages and operating systems
Computer Languages
Hi-index | 48.22 |
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.