4. SOSP 1973: Yorktown Heights, New York, USA

Proceedings of the Fourth Symposium on Operating System Principles, October 15-17, 1973, Thomas J. Watson, Research Center, Yorktown Heights, New York, USA. Operating System Review 7(4), October 1973, ACM, New York

Systems I

Paul G. Sorenson: Interprocess Communication in Real-Time Systems. 1-7
Michael J. Spier, Thomas N. Hastings, David N. Cutler: An Experimental Implementation on the Kernel/Domain Architecture. 8-21
C. J. Stephenson: On the Structure and Control of Commands. 22-26

Systems II

Dennis Ritchie, Ken Thompson: The UNIX Time-Sharing System (Abstract). 27
Paul Day, John Hines: ARGOS: An Operating System for a Computer Utility Supporting Interactive Instrument Control. 28-37
W. Walther: Multiprocessor Self Diagnosis, Surgery, and Recovery in Air Traffic Control. 38-44
Liba Svobodova: Online System Performance Measurements with Software and Hybrid Monitors. 45-53

Memory Management

Samuel H. Fuller: Random Arrival and the MTPT Drum Scheduling Discipline. 54-57
Lee J. Scheffler: Optimal Folding of a Paging Drum in a Three Level Memory System. 58-65
Donald D. Chamberlin, Samuel H. Fuller, Leonard Y. Liu: A Page Allocation Strategy for Multiprogramming Systems with Virtual Memory. 66-72
Peter J. Denning, Jeffrey P. Spirn: Dynamic Storage Partitioning. 73-79
Arvind, Richard Y. Kain, E. Sadeh: On Reference String Generation Processes. 80-87

Scheduling Theory

Clarence A. Ellis: On the Propability of Deadline in Computer Systems. 88-95
Jeffrey D. Ullman: Polynomial Complete Scheduling Problems. 96-101
John L. Bruno, Edward G. Coffman Jr., Ravi Sethi: Scheduling Independent Tasks to Reduce Mean Finishing Time (Extended Abstract). 102-103
M. R. Garey, Ronald L. Graham: Bounds on Scheduling with Limited Resources. 104-111
K. L. Krause, V. Y. Shen, Herbert D. Schwetman: A Task Schedulinh Algorithm for a Multiprogramming Computer System. 112-118

Protection and Addressing

Jerome H. Saltzer: Protection and the Control of Information Sharing in MULTICS. 119
Robert S. Fabry: The Case for Capability-Based Computers. 120
Gerald J. Popek, Robert P. Goldberg: Formal Requirements for Virtualizable Third Generation Architectures. 121
S. Rao Kosaraju: Limitations of Dijkstra's Semaphore Primitives and Petri Nets. 122-136