Edward J. McCluskey, Nicholas A. Fortis, Butler W. Lampson, Thomas H. Bredt
Proceedings of the Third Symposium on Operating System Principles
SOSP, 1971.

@proceedings{SOSP-1971,
	address       = "Palo Alto, California, USA",
	doi           = "10.1145/800212",
	editor        = "Edward J. McCluskey and Nicholas A. Fortis and Butler W. Lampson and Thomas H. Bredt",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third Symposium on Operating System Principles}",
	volume        = "Operating System Review 6(1-2)",
	year          = 1971,
}

Contents (23 items)

6 ×#operating system
3 ×#multi
3 ×#process
3 ×#scheduling
2 ×#algorithm
2 ×#concurrent

SOSP-1971-BobrowBMT

TENEX, a Paged Time Sharing System for the PDP-10 (DGB, JDB, DLM, RST), pp. 1–10.

SOSP-1971-Liskov #design #operating system

The Design of the Venus Operating System (BL), pp. 11–16.

SOSP-1971-Gaines #concept #operating system

An Operating System Based on the Concept of a Supervisory Computer (RSG), pp. 17–23.

SOSP-1971-Howry #multi

A Multiprogramming System for Control (SH), pp. 24–30.

SOSP-1971-Alsberg #operating system

Extensible Data Features in the Operating System Language OSL/2 (PA), pp. 31–34.

SOSP-1971-FeiertagO #multi

The MULTICS Input/Output System (RJF, EIO), pp. 35–41.

SOSP-1971-SchroederS #architecture #hardware #implementation

A Hardware Architecture for Implementing Protection Rings (MDS, JHS), pp. 42–54.

SOSP-1971-Needham #fault #operating system

Handling Difficult Faults in Operating Systems (RMN), pp. 55–57.

SOSP-1971-Gertz

Storage Reallocation in Hierarchical Associative Memories (JLG), pp. 58–63.

SOSP-1971-Holt #concurrent

Some Deadlock Properties of Computer Systems (RCH), pp. 64–71.

SOSP-1971-Fontao #algorithm #concurrent

A Concurrent Algorithm for Avoiding Deadlocks (ROF), pp. 72–79.

SOSP-1971-Habermann #communication #process

Synchronization of Communicating Processes (ANH), pp. 80–85.

SOSP-1971-Kahn #approach #correctness

An Approach to System Correctness (GK), pp. 86–94.

SOSP-1971-Easton #process

Process Synchronization without Long-Term Interlock (WBE), pp. 95–100.

SOSP-1971-Hansen #multi #scheduling

Short Term Scheduling in Multiprogramming Systems (PBH), pp. 101–105.

SOSP-1971-Varney #operating system #process

Process Selection in an Hierarchical Operating System (RCV), pp. 106–108.

SOSP-1971-Baskett #dependence #scheduling

The Dependence of Computer System Queues upon Processing Time Distribution and Central Processor Scheduling (FB), pp. 109–113.

SOSP-1971-TeoreyP #analysis #comparative #policy #scheduling

A Comparative Analysis of Disk Scheduling Policies (TJT, TBP), pp. 114–121.

SOSP-1971-CoffmanR #case study #clustering #using

A Study of Storage Partitioning Using a Mathematical Model (EGCJ, TAR), pp. 122–129.

SOSP-1971-DenningS #set

Properties of the Working Set Model (PJD, SCS), pp. 130–140.

SOSP-1971-Greenberg #algorithm

An Algorithm for Drum Storage Management in Time-Sharing Systems (MLG), pp. 141–148.

SOSP-1971-WinogradMH #memory management #operating system #simulation

Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System (JW, SJM, RH), pp. 149–155.

SOSP-1971-Rodriguez-Rosell #behaviour #how #parametricity

Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters (JRR), pp. 156–163.