Herbert Schorr, Alan J. Perlis, Peter Weiner, W. Donald Frazer
Proceedings of the Fourth Symposium on Operating System Principles
SOSP, 1973.
@proceedings{SOSP-1973,
address = "Yorktown Heights, New York, USA",
doi = "10.1145/800009",
editor = "Herbert Schorr and Alan J. Perlis and Peter Weiner and W. Donald Frazer",
publisher = "{ACM}",
title = "{Proceedings of the Fourth Symposium on Operating System Principles}",
volume = "Operating System Review 7(4)",
year = 1973,
}
Contents (21 items)
- SOSP-1973-Sorenson #communication #realtime
- Interprocess Communication in Real-Time Systems (PGS), pp. 1–7.
- SOSP-1973-SpierHC #architecture #implementation #kernel
- An Experimental Implementation on the Kernel/Domain Architecture (MJS, TNH, DNC), pp. 8–21.
- SOSP-1973-Stephenson #on the
- On the Structure and Control of Commands (CJS), pp. 22–26.
- SOSP-1973-RitchieT
- The UNIX Time-Sharing System (DR, KT), p. 27.
- SOSP-1973-DayH #interactive #named #operating system
- ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control (PD, JH), pp. 28–37.
- SOSP-1973-Walther #multi
- Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control (WW), pp. 38–44.
- SOSP-1973-Svobodova #hybrid #metric #monitoring #online #performance
- Online System Performance Measurements with Software and Hybrid Monitors (LS), pp. 45–53.
- SOSP-1973-Fuller #random #scheduling
- Random Arrival and the MTPT Drum Scheduling Discipline (SHF), pp. 54–57.
- SOSP-1973-Scheffler #memory management
- Optimal Folding of a Paging Drum in a Three Level Memory System (LJS), pp. 58–65.
- SOSP-1973-ChamberlinFL #memory management #multi
- A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory (DDC, SHF, LYL), pp. 66–72.
- SOSP-1973-DenningS #clustering
- Dynamic Storage Partitioning (PJD, JRS), pp. 73–79.
- SOSP-1973-ArvindKS #generative #on the #process #string
- On Reference String Generation Processes (A, RYK, ES), pp. 80–87.
- SOSP-1973-Ellis #on the
- On the Propability of Deadline in Computer Systems (CAE), pp. 88–95.
- SOSP-1973-Ullman #polynomial #problem #scheduling
- Polynomial Complete Scheduling Problems (JDU), pp. 96–101.
- SOSP-1973-BrunoCS #independence #scheduling
- Scheduling Independent Tasks to Reduce Mean Finishing Time (JLB, EGCJ, RS), pp. 102–103.
- SOSP-1973-GareyG #bound #scheduling
- Bounds on Scheduling with Limited Resources (MRG, RLG), pp. 104–111.
- SOSP-1973-KrauseSS #algorithm #multi #scheduling
- A Task Scheduling Algorithm for a Multiprogramming Computer System (KLK, VYS, HDS), pp. 112–118.
- SOSP-1973-Saltzer #information management #multi
- Protection and the Control of Information Sharing in MULTICS (JHS), p. 119.
- SOSP-1973-Fabry
- The Case for Capability-Based Computers (RSF), p. 120.
- SOSP-1973-PopekG #architecture #generative #requirements
- Formal Requirements for Virtualizable Third Generation Architectures (GJP, RPG), p. 121.
- SOSP-1973-Kosaraju #petri net
- Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.