![](https://dblp.dagstuhl.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
3rd SOSP 1971: Palo Alto, California, USA
- Edward J. McCluskey, Nicholas A. Fortis, Butler W. Lampson, Thomas H. Bredt:
Proceedings of the Third Symposium on Operating System Principles, SOSP 1971, Stanford University, Palo Alto, California, USA, October 18-20, 1971. ACM 1972
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 - Barbara H. Liskov:
The Design of the Venus Operating System. 11-16 - R. Stockton Gaines:
An Operating System Based on the Concept of a Supervisory Computer (Abstract). 17-23 - Sam Howry:
A Multiprogramming System for Control. 24-30
Implementation Techniques
- Peter Alsberg:
Extensible Data Features in the Operating System Language OSL/2. 31-34 - Richard J. Feiertag, Elliott I. Organick:
The MULTICS Input/Output System. 35-41 - Michael D. Schroeder, Jerome H. Saltzer:
A Hardware Architecture for Implementing Protection Rings (Abstract). 42-54 - Roger M. Needham:
Handling Difficult Faults in Operating Systems. 55-57 - Jeffrey L. Gertz:
Storage Reallocation in Hierarchical Associative Memories. 58-63
Process Interactions and System Correctness
- Richard C. Holt:
Some Deadlock Properties of Computer Systems. 64-71 - Rafael O. Fontao:
A Concurrent Algorithm for Avoiding Deadlocks. 72-79 - A. Nico Habermann:
Synchronization of Communicating Processes (Abstract). 80-85 - Gilles Kahn:
An Approach to System Correctness. 86-94
Queuing and SCheduling
- William B. Easton:
Process Synchronization without Long-Term Interlock. 95-100 - Per Brinch Hansen:
Short Term Scheduling in Multiprogramming Systems. 101-105 - Robert C. Varney:
Process Selection in an Hierarchical Operating System. 106-108 - Forest Baskett:
The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling. 109-113 - Toby J. Teorey, Tad B. Pinkerton:
A Comparative Analysis of Disk Scheduling Policies (Abstract). 114-121
Memory Management and System Performance
- Edward G. Coffman Jr., T. A. Ryan:
A Study of Storage Partitioning Using a Mathematical Model (Abstract). 122-129 - Peter J. Denning, Stuart C. Schwartz:
Properties of the Working Set Model (Abstract). 130-140 - Mark L. Greenberg:
An Algorithm for Drum Storage Management in Time-Sharing Systems. 141-148 - Joseph Winograd, S. J. Morganstein, R. Herman:
Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System. 149-155 - Juan Rodriguez-Rosell:
Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters. 156-163
Appendix
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.