3. SOSP 1971: Palo Alto, California, USA

Proceedings of the Third Symposium on Operating System Principles, October 18-20, 1971, Stanford University, Palo Alto, California, USA. Operating System Review 6(1-2), June 1972, ACM, New York

Systems, Real and Virtual

Daniel G. Bobrow, Jerry D. Burchfiel, Daniel L. Murphy, Raymond S. Tomlinson: TENEX, a Paged Time Sharing System for the PDP-10 (Abstract). 1-10 BibTeX
Barbara Liskov: The Design of the Venus Operating System. 11-16 BibTeX
R. Stockton Gaines: An Operating System Based on the Concept of a Supervisory Computer (Abstract). 17-23 BibTeX
Sam Howry: A Multiprogramming System for Control. 24-30 BibTeX

Implementation Techniques

Peter Alsberg: Extensible Data Features in the Operating System Language OSL/2. 31-34 BibTeX
Richard J. Feiertag, Elliott I. Organick: The MULTICS Input/Output System. 35-41 BibTeX
Michael D. Schroeder, Jerome H. Saltzer: A Hardware Architecture for Implementing Protection Rings (Abstract). 42-54 BibTeX
Roger M. Needham: Handling Difficult Faults in Operating Systems. 55-57 BibTeX
Jeffrey L. Gertz: Storage Reallocation in Hierarchical Associative Memories. 58-63 BibTeX

Process Interactions and System Correctness

Richard C. Holt: Some Deadlock Properties of Computer Systems. 64-71 BibTeX
Rafael O. Fontao: A Concurrent Algorithm for Avoiding Deadlocks. 72-79 BibTeX
A. Nico Habermann: Synchronization of Communicating Processes (Abstract). 80-85 BibTeX
Gilles Kahn: An Approach to System Correctness. 86-94 BibTeX

Queuing and SCheduling

William B. Easton: Process Synchronization without Long-Term Interlock. 95-100 BibTeX
Per Brinch Hansen: Short Term Scheduling in Multiprogramming Systems. 101-105 BibTeX
R. C. Varney: Process Selection in an Hierarchical Operating System. 106-108 BibTeX
Forest Baskett: The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling. 109-113 BibTeX
Toby J. Teorey, Tad B. Pinkerton: A Comparative Analysis of Disk Scheduling Policies (Abstract). 114-121 BibTeX

Memory Management and System Performance

Edward G. Coffman Jr., T. A. Ryan: A Study of Storage Partitioning Using a Mathematical Model (Abstract). 122-129 BibTeX
Peter J. Denning, Stuart C. Schwartz: Properties of the Working Set Model (Abstract). 130-140 BibTeX
Mark L. Greenberg: An Algorithm for Drum Storage Management in Time-Sharing Systems. 141-148 BibTeX
Joseph Winograd, S. J. Morganstein, R. Herman: Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System. 149-155 BibTeX
Juan Rodriguez-Rosell: Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters. 156-163 BibTeX

Appendix

Questions from the Audience. 164-171