Thumbnail
Access Restriction
Subscribed

Author Lauesen, Søren
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Coroutines ♦ Operating system structure ♦ Time schedule ♦ Parallel processes ♦ Project management ♦ Deadly embrace ♦ Project planning ♦ Queue semaphores ♦ Multiprogramming ♦ Synchronizing primitives ♦ Buffering ♦ Operating system ♦ Rc 4000 ♦ Software paging ♦ Debugging ♦ Correctness ♦ Semaphore applications ♦ Program maintenance ♦ Deadlock ♦ Asynchronous structuring ♦ Cooperating processes ♦ Program proving ♦ Semaphores ♦ Hierarchical structuring ♦ Project scheduling ♦ Reentrant code ♦ Reliability
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.
Description Affiliation: Nordisk Brown Boveri, Copenhagen, Denmark (Lauesen, Søren)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 18
Issue Number 7
Page Count 13
Starting Page 377
Ending Page 389


Open content in new tab

   Open content in new tab
Source: ACM Digital Library