Proceedings of the Third Symposium on Operating System Principles
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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)

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.