7. SOSP 1979: Pacific Grove, California

Proceedings of the Seventh Symposium on Operating System Principles, 10-12 December 1979, Asilomar Conference Grounds, Pacific Grove, California, ACM, New York, ISBN 0-89791-009-5

System Analysis and Prediction

M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel: A Virtual Machine Emulator for Performance Evaluation (Summary). 1 BibTeX , long version: CACM 23(2)
B. Kumar, Timothy A. Gonsalves: Modelling and Analysis of Distributed Software Systems. 2-8 BibTeX

Shared Data in a Distributed System

Daniel C. Swinehart, Gene McDaniel, David Boggs: WFS: A Simple Shared File System for a Distributed Environment. 9-17 BibTeX
William H. Paxton: A Client-Based Transaction System to Maintain Data Integrity. 18-23 BibTeX

System Construction Primitives

Toby Bloom: Evaluating Synchronization Mechanisms. 24-32 BibTeX
Barbara Liskov: Primitives for Distributed Computing. 33-42 BibTeX
Butler W. Lampson, David D. Redell: Experience with Processes and Monitors in Mesa (Summary). 43-44 BibTeX , long version: CACM 23(2)

Information Flow Control

Matt Bishop, Lawrence Snyder: The Transfer of Information and Authority in a Protection System. 45-54 BibTeX
Richard P. Reitman: A Mechanism for Information Control in Parallel Systems. 55-63 BibTeX
Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek: Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). 64-65 BibTeX , long version: CACM 23(2)

Local Networks

Guy T. Almes, Edward D. Lazowska: The Behavior of Ethernet-Like Computer Communication Networks. 66-81 BibTeX
Roger M. Needham: Systems Aspects of the Cambridge Ring. 82-85 BibTeX

Personal Computers and their User Interface

Keith A. Lantz, Richard F. Rashid: Virtual Terminal Management in a Multiple Process Environment. 86-97 BibTeX
Butler W. Lampson, Robert F. Sproull: An Open Operating System for a Single-User Machine. 98-105 BibTeX
David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell: Pilot: An Operating System for a Personal Computer (Summary). 106-107 BibTeX , long version: CACM 23(2)

Distributed Operating Systems

Marvin H. Solomon, Raphael A. Finkel: The ROSCOE Distributed Operating System. 108-114 BibTeX
John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu: Medusa: An Experiment in Distributed Operating System Structure (Summary). 115-116 BibTeX , long version: CACM 23(2)
Anita K. Jones, Robert J. Chansler Jr., Ivor Durham, Karsten Schwan, Steven R. Vegdahl: StarOS, a Multiprocessor Operating System for the Support of Task Forces. 117-127 BibTeX

Domains and Capabilities

Douglas Cook: In Support of Domain Structure for Operating Systems. 128-130 BibTeX
Edward F. Gehringer: Variable-Length Capabilities as a Solution to the Small-Object Problem. 131-142 BibTeX

Distributed Data Management

Warren A. Montgomery: Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data. 143-149 BibTeX
David K. Gifford: Weighted Voting for Replicated Data. 150-162 BibTeX
David P. Reed: Implementing Atomic Actions on Decentralized Data. 163 BibTeX