SOSP 15 Proceedings front matter

SOSP 15 Proceedings front matter

Here is the text for the front-matter for the SOSP proceedings (the stuff that comes before the actual papers.) The HTML below as all the same data, but formatted differently. To see how it really looks, grab the postscript, or Word 7.0 (set your browser's helper app for "application/ms-word").

(If someone wants to hack the html here to look more like the proceedings by using tables and font size changes and such, I'll gladly incorporate the result.)

Fifteenth ACM Symposium
on Operating Systems Principles

Conference Committee:

General Chair: John K. Bennett, Rice

Program Chair: Mark Weiser, Xerox PARC

Registration/Publicity: Mandy Nevin, Rice

Publications: Sandhya Dwarkadas, Rice

Treasurer: Alan L. Cox, Rice

Poster Session: Frans Kaashoek, MIT

CD ROM: Andrew Birrell, DEC SRC

Work-In-Progress: Michael B. Jones, Microsoft Research

Program Committee:

Mary Baker, Stanford

Andrew Birrell, DEC SRC

Andrew Black, Oregon Graduate Institute

Deborah Estrin, USC

Michael B. Jones, Microsoft Research

Frans Kaashoek, MIT

Sacha Krakowiak, Bull-IMAG & U Grenoble

Hank Levy, U Washington

Greg Minshall, Ipsilon Networks

David Nichols, Xerox PARC

John Ousterhout, Sun Microsystems

Susan Owicki, independent consultant

Margo Seltzer, Harvard

Mark Weiser, Xerox PARC


The SOSP Program Process

Creating an SOSP program consists of at least the following steps: pick a program chair, pick a balanced committee of outstanding scientists, refine the call-for-papers, read the papers, write comments about the papers, review the comments, rank the papers, meet to refine the reviews and rankings, choose the papers, choose TOCS recommendations, choose posters, conduct shepherding, receive final papers and organize proceedings. Each committee member read all submitted papers, and the committee together wrote more than 250 pages of 9pt single-space 2-column comments about the 84 submitted papers. These comments were our guide to discussion and selection, and were also sent back to the authors of each paper so that all could learn. (Several authors thanked the committee for the unusually detailed feedback.) During the committee meeting itself we had these comments in front of us, and we also used a wall-sized poster of information about the papers to help reach consensus.

The most incredible part of reading these 84 SOSP papers is how interesting they all were! We had almost no poor papers, and reading all 84 is a lot of fun and leads to a feeling of, for a few moments, really being on top of the O.S. field.

These papers were so excellent that we recommended four papers for publication in the ACM Transactions on Computing Systems, and we extended our program of 22 papers with 8 additional posters to be presented only to attendees.

New This Year

I hate to always do the same old thing, and yet SOSP is not broken. I made only a few small changes:

Old This Year

I continued the fifteen year tradition of asking all committee members to read all papers. We again have a Work-In-Progress session, organized by Mike Jones, and a debate, organized by Mary Baker. And of course the conference tradition of animated conversation, sometimes long into the night, will continue.

Looking Ahead

It is my fond wish that all future SOSP's are online, publish a CDROM, and include large amounts of source code that enable independent researchers to verify and surpass SOSP results.

This may be the last SOSP to use so much paper. Although I had a few requests from authors who wanted to mail me the Postscript of their papers, my experience is that Postscript does not work for universal printing exchange without the occasional intervention of a human. I don't know how many times colleagues have mailed me Postscript, only to have it break on a local printer because their word processing software generates Postscript with imbedded 68000 binary instructions, assumes strange fonts, or otherwise is broken. I did not want to be responsible for the hand fixing and verification of 84 papers.

This year I put the final proceedings together in the traditional way: starting with the final hardcopy from authors, then adding the front matter (e.g. this "foreword"), writing page numbers in pencil on the back of each sheet, and forwarding the resulting stack of papers to ACM for copyright notices and printing. (Something new: all authors got to review the draft front-matter on the web and make corrections before I sent it to ACM). I would have been willing to work with 22 papers of Postscript and handle the whole thing electronically, but it would certainly have been more work than the paper method. The benefit would have been more uniform, and in many cases higher quality, output.

Perhaps by SOSP '97 these problems will be solved, or a more energetic program chair will have the energy to go the last 10%.

My Thanks

It has been a pleasure working with the general chair, John Bennett, who helped set the pace and whose arrangements I look forward to enjoying. Many people emailed me with helpful SOSP suggestions; past SIGOPS Chair Hank Levy, and past SOSP chairs Barbara Liskov and John Ousterhout, provided especially significant advice (not all of which I followed). The program committee was a joy to work with, giving weeks of time and decades of wisdom with humor and energy. My deepest thanks go the wonderful Operating Systems community without whose papers and willingness to volunteer there would be no conference at all. I joined the O.S. community only ten years ago, relatively late in my career. In the vitality, warmth, and unmatched striving for excellence of its people I continue to find a home.

Mark Weiser
Program Chair
September 1995


We've produced a CD-ROM to accompany the proceedings of this SOSP. The CD contains copies of each paper, and abstracts of the poster presentations. In addition, several of the authors provided us with sources for their systems and we've included these on the CD.

The CD includes the papers in a variety of formats (PostScript, Acrobat, and SRC's Lectern format), and also includes on-line viewing software for Acrobat and Lectern for a variety of systems. Similarly, we've provided the sources in multiple archive formats (tar, zip and cpt).

The CD itself is in ISO 9660 format. You should be able to mount it on just about any system. ISO 9660 is the standard CD format on Windows. Macintosh users can read this format too, provided their system includes a CD-ROM driver and the extensions "Foreign File Access" and "ISO 9660 File Access" (both available from Apple or your CD-ROM driver vendor). The "mount" command on Unix systems should include an option for ISO 9660 CD's (e.g. "-t cdfs"). This CD does not use the Rock Ridge extensions, and it adheres to 8.3 upper-case-only naming restrictions. When the CD is mounted on a Macintosh, the files have appropriate file types and icons.

Once you've got the CD available on your system, we recommend opening the file "README.HTM" with a Web browser (such as Netscape Navigator, Mosaic, etc.). The CD is arranged so that you can navigate to all the files via HTML pages stored on the CD. If you don't have a Web browser, start by reading the file "README.TXT".

We plan to distribute the CD with the proceedings.

Andrew Birrell
Digital Systems Research Center
September 1995

Outside Reviewers

The following people assisted the Program Committee by writing reviews of one or more of the submitted papers:

Atul Adya

Tom Anderson

Wendell Baker

Claude Bétourné

Robert Bedichek

Josep Bernabeu

Trevor Blackwell

Gordon Blair

Edouard Bugnion

Vinny Cahill

Miguel Castro

John Chapin

J. Bradley Chen

Gang Chen

Stuart Cheshire

Pierre-Yves Chevalier

George Coulouris

Yves Deswarte

John DeTreville

Scott Devine

Antonio Dias

Pavani Diwanji

Jean Dollimore

Andrzej Duda

Dawson Engler

Bertil Folliot

Rob Fowler

Matt Frank

Sanjay Ghemawat

David Gifford

Robert Gruber

Sandeep Gupta

James Gwertzman

Daniel Hagimont

Jeff Harris

Steve Herrod

Wilson Hsieh

Norman Hutchinson

Rebecca Hwa

Jon Inouye

Valérie Issarny

Anthony Joseph

André Kramer

David Kranz

Kevin Lai

Butler Lampson

Gérard Le Lann

Chris Lefelhocz

Kai Li

Ana Licuana

Chris Lindblad

Barbara Liskov

Ken Mackenzie

Umesh Maheshwari

Mark Manasse

Christine Morin

Robert Morris

Eliot Moss

Sape Mullender

Andrew Myers

Jim O'Toole

Steve Otto

Max Poletto

Calton Pu

Michel Riveill

Luis Rodrigues

Xavier Rousset de Pina

Frédéric Ruget

Jerry Saltzer

Len Shapiro

Marc Shapiro

Liuba Shrira

Sandeep Singhal

Marcin Skubiszewski

Keith Smith

Patrick Sobalvarro

Richard Staehli

Jean-Bernard Stéfani

Jonathan Stone

Diane Tang

Josh Tauber

David Tennenhouse

Dan Teodosiu

Mark Vandevoorde

Paulo Veríssimo

Carl Waldspurger

Deborah Wallach

Jonathan Walpole

Bill Weihl

Dena Weinstein

David Wetherall

Emmett Witchel

John Wroclawski

Joel Ying

Nina Yuan

John Zahorjan

Matt Zelesko

Xinhua Zhao

Fifteenth ACM Symposium
on Operating Systems Principles

Table of Contents


Hypervisor-based Fault Tolerance. T.C. Bressoud (ISIS Distributed Systems), F.B. Schneider (Cornell) 1

Hive: Fault Containment for Shared-Memory Multiprocessors. J. Chapin, M. Rosenblum,
S. Devine, T. Lahiri, D. Teodosiu, and A. Gupta (Stanford) 12

Logged Virtual Memory. D. R. Cheriton and K. J. Duda (Stanford) 26

Distributed Computing

U-Net: A User-Level Network Interface for Parallel and Distributed Computing. T. von Eicken, A. Basu, V. Buch, W. Vogels (Cornell) 40

A Highly Available, Scalable ITV System. M. N. Nelson, M. Linton (Silicon Graphics),
S. Owicki (independent consultant) 54

Object and Native Code Thread Mobility Among Heterogeneous Computers. B. Steensgaard (Microsoft Research), E. Jul (University of Copenhagen) 68

Work in Progress

organized by Michael B. Jones.

File Systems

Informed Prefetching and Caching. R. H. Patterson, G. A. Gibson, E. Ginting, D. Stodolsky,
J. Zelenka (Carnegie Mellon University) 79

The HP AutoRAID Hierarchical Storage System. J. Wilkes, R. Golding, C. Staelin and T. Sullivan (Hewlett-Packard Laboratories) 96

Serverless Network File Systems. T. E. Anderson, M. D. Dahlin, J. M. Neefe, D. A. Patterson,
D. S. Roselli, R.Y. Wang (UC-Berkeley) 109

Performance of Cache Coherence in Stackable Filing. J. Heidemann and G. Popek (UCLA)


Exploiting Weak Connectivity for Mobile File Access. L.B. Mummert, M.R. Ebling,
M. Satyanarayanan (Carnegie Mellon University) 143

Rover: A Toolkit for Mobile Information Access. A.D. Joseph, A.F. deLespinasse, J.A. Tauber, D.K. Gifford, M.F. Kaashoek (MIT Lab for Computer Science) 156

Managing Update Conflicts in a Weakly Connected Replicated Storage System. D.B. Terry, M.M. Theimer, K. Petersen, A.J. Demers, M.J. Spreitzer, C.H. Hauser (Computer Science Lab, Xerox PARC) 172

Virtual Memory

A New Page Table for 64-bit Address Spaces. M. Talluri, M.D. Hill (U Wisconsin-Madison), Y.A. Khalidi (Sun Microsystems Laboratories) 184

Implementing Global Memory Management in a Workstation Cluster. M.J. Feeley, W.E. Morgan, F.P. Pighin, A.R. Karlin, H.M. Levy (U. Washington), C.A. Thekkath (DEC Systems Research Center) 201

CRL: High-Performance All-Software Distributed Shared Memory. K.L. Johnson,
M.F. Kaashoek, D.A. Wallach (MIT) 213


Going Threadbare: sense or sedition? Debate on the threads abstraction,
organized by Mary Baker.

Poster Session

organized by Frans Kaashoek

The Performance of the Container Shipping I/O System. E. W. Anderson, J. Pasquale (U.C. San Diego) 229

Time-Function Scheduling: A General Approach To Controllable Resource Management. L. L. Fong,
M. S. Squillante (IBM T.J. Watson) 230

A Real-time Upcall Facility for Protocol Processing with QoS Guarantees. R. Gopalakrishnan, G. M. Parulkar
(Washington U., St. Louis) 231

Using Annotated Interface Definitions to Optimize RPC. B. Ford, M. Kibler, J. Lepreau (U. Utah) 232

SMART: A Processor Scheduler for Multimedia Applications. J. Nieh, M. S. Lam (Stanford) 233

Autonomous Replication Across Wide-Area Networks. J. S. Gwertzman, M. Seltzer (Harvard) 234

Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. S. Ghemawat, M. F. Kaashoek,
B. Liskov (MIT Lab for Computer Science) 235

Exploiting Process Lifetime Distributions for Dynamic Load Balancing. Mor Harchol-Balter, A. B. Downey. (U.C. Berkeley) 236


On Micro-Kernel Construction. J. Liedtke (GMD) 237

Exokernel: An Operating System Architecture for Application-Level Resource Management. D.R. Engler, M.F. Kaashoek and J. O'Toole, Jr. (MIT Lab for Computer Science) 251

Extensibility, Safety and Performance in the SPIN Operating System. B.N. Bershad, S. Savage, P. Pardyak, E.G. Sirer, M. Fiuczynski, D. Becker, C. Chambers, S. Eggers (U Washington)

O.S. Performance

The Impact of Architectural Trends on Operating System Performance. M. Rosenblum,
E. Bugnion, S. A. Herrod, E. Witchel, and A. Gupta (Stanford) 285

The Measured Performance of Personal Computer Operating Systems. J.B. Chen, Y. Endo,
K. Chan, D. Mazières, A. Dias, M. Seltzer, M.D. Smith (Harvard) 299

Optimistic Incremental Specialization: Streamlining a Commercial Operating System. C. Pu,
T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole and K. Zhang (Oregon Graduate Institute) 314

Mark Weiser (
last updated September 17, 1995