SOSP'03 Proceedings of the 19Th ACM Symposium on Operating Systems Principles
Total Page：16
File Type：pdf, Size：1020Kb
SOSP'03 Proceedings of the 19th ACM Symposium on Operating Systems Principles The Sagamore Bolton Landing (Lake George), New York, USA October 19-22, 2003 Sponsored by: ACM SIGOPS (Association for Computing Machinery Special Interest Group on Operating Systems) and supported by Goo~gle ~,earch invent IBM Research intel. ,¢'/~:.~/~ OUALCO'WW"~ w nware The Association for Computing Machinery 1515 Broadway New York, New York 10036 Copyright © 2003 by the Association for Computing Machinery, Inc. (ACM). Permission to make digital or hard copies of portions of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyright for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permission to republish from: Publications Dept., ACM, Inc. Fax +1 (212) 869-0481 or <[email protected]>. For other copying of articles that carry a code at the bottom of the first or last page, copying is permitted provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923. Notice to Past Authors of ACM-Published Articles ACM intends to create a complete electronic archive of all articles and/or other material previously published by ACM. If you have written a work that has been previously published by ACM in any journal or conference proceedings prior to 1978, or any SIG Newsletter at any time, and you do NOT want this work to appear in the ACM Digital Library, please inform [email protected], stating the title of the work, the author(s), and where and when published. ISBN: 1-58113-757-5 Additional copies may be ordered prepaid from: ACM Order Department PO Box 11405 New York, NY 10286-1405 Phone: 1-800-342-6626 (US and Canada) + 1-212 -626-0500 (all other countries) Fax: +1-212-944-1318 E-mail: [email protected] ACM Order Number 534030 Printed in the USA ii Message from the General Chair Welcome to the 19th SOSP, and to the beautiful Adirondack mountains of New York State! Larry Peterson and his committee have put together a strong and varied technical program, showcasing the most significant and influential work in operating systems today. Other program highlights include the poster and work-in-progress sessions, the Anita Borg luncheon and the evening banquet on Monday, and the SIGOPS business meeting Tuesday evening. The banquet will include presentation of the third annual Mark Weiser award, and eulogies for Roger Needham and Anita Borg, both of whom were lost to us this year. The business meeting will include presentation of awards in the first-ever SIGOPS division of the ACM Student Research Competition (SRC). Entrants in the SRC include all the regular papers and posters on which a student is principal author. To help to put the competition on an equal footing, four poster finalists will be making formal presentations during the session on Monday afternoon. Many thanks to Kevin Jeffay and his subcommittee for organizing the poster session and judging the submissions, and to Ann Sobel for her help in bringing SIGOPS into the SRC. Continuing the tradition of past SOSPs, we have encouraged student attendance through reduced registration fees and a strong program of financial scholarships. Generous support for this program has come from Microsoft via the SRC, from the National Science Foundation (CISE CCR), from Hewlett-Packard Labs, and from SIGOPS itself. Thanks to Cary Gray and his scholarship committee (John Carter, Norm Hutchinson, Marc Shapiro, and Bob Wisniewski) for their outstanding work under very tight time constraints. Other corporate supporters have made an enormous difference in the financial health of the conference. Google is underwriting the Monday banquet, IBM Research the poster/SRC session, and VMware the work-in-progress session. Microsoft Research, Intel, Mercury, and Qualcomm all made generous unrestricted gifts. Last, and most important, I am indebted to the many volunteers who made SOSP possible. Leonidas Kontothanassis handled local arrangements with his trademark infectious good cheer. Galen Hunt worked miracles in shielding the rest of us from budgetary details. Amy Murphy kept publicity not only timely and informative, but artistically pleasing as well; Kai Shen carried registration off without a hitch; and Chris Small went above the call of duty in assembling historical materials for our two-disc CD set. Thanks also to Alan Cox and Lisa Tolles for assembling the proceedings; to Cindy Sullivan, Mike Ryan, and the entire Sagamore staff; to David Kotz, Keith Marzullo, and the rest of the SIGOPS leadership; and to Donna Baglio, Irene Frawley, Maritza Nichols, and Jessica Wilmers of the ACM for their oversight and assistance. Michael L. Scott General Chair, SOSP-19 August 2003 iii Message from the Program Chair I am pleased to introduce this collection of 22 papers selected for inclusion in the 19th Symposium on Operating System Principles. We received 128 papers, a 50% increase over two years ago, and as far as I can determine, a record number of submissions for SOSP. It seems that the systems research community has returned from its dot-corn adventures, and is back to producing high-quality research results. Due to the relatively high number of submissions, the reviewing process was a slight modification of ones used in past years. Each paper was initially assigned to three committee members, each of whom wrote their own review and solicited an external review. We used these reviews to cull the set of papers under consideration by half. The remaining papers were assigned to a fourth committee member, who again wrote a review and solicited an external review. Also, all committee members read the remaining 64 papers and produced a quartile ranking, ensuring that the entire committee was familiar with all the papers discussed at the PC meeting. Selecting the final set of papers for SOSP is always a balancing act between preserving the tradition of accepting only the highest quality work in the field, and taking a chance on innovative but less mature work. I hope you'll agree that we struck the right balance. As you'll see throughout the course of the program, the topics covered by the papers are as wide-ranging as ever, but all the papers are in the mold that defines this community-- they give the "systems perspective" of whatever problem area is being addressed. I am greatly indebted to the members of the program committee. They were diligent and conscientious in their reviews and deliberations, and without exception, a wonderful group of people to work with. Thank you! I would also like to acknowledge all the hard work and care General Chair Michael Scott, and the rest of the organizing committee, put into the conference, especially Michael's efforts to make the Student Research Competition a reality. Finally, a special thanks to Publicity Chair, Amy Murphy, for keeping the conference's web presence accurate and complete. Larry Peterson Program Chair, SOSP-19 August 2003 iv Table of Contents SOSP'03 Organization ................................................................................................................... vii Referees .................................................................................................................................................. ix Safely Executing Untrusted Code Chair: K. Birman • Upgrading Transport Protocols using Untrusted Mobile Code ............................................... 1 P. Patel (University of Utah), A. Whitaker, D. Wetherall (University of Washington), J. Lepreau, T. Stack (University of Utah) • Model-Carrying Code: A Practical Approach for Safe Execution of Untrusted Applications ............................................................................................................... 15 R. Sekar, V. N. Venkatakrishnan, S. Basu, S. Bhatkar, D. C. DuVarney (Stony Brook University) File and Storage Systems Chair: T. Wobber • The Google File System ................................................................................................................... 29 s. Ghemawat, H. Gobioff, S.-T. Leung (Google) • Preserving Peer Replicas By Rate-Limited Sampled Voting .................................................. 44 P. Maniatis, M. Roussopoulos, TJ Giuli, D. S. H. Rosenthal, M. Baker, Y. Muliadi (Stanford University) • Decentralized User Authentication in a Global File System ................................................... 60 M. Kaminsky (Massachusetts Institute of Technology), G. Savvides (McGill University), D. Mazi6res (New York University), M. F. Kaashoek (Massachusetts Institute of Technology) Probing The Black Box Chair: D. Engler • Performance Debugging for Distributed Systems of Black Boxes ...................................... 74 M. K. Aguilera, J. C. Mogul, J. L. Wiener (Hewlett Packard Laboratories), P. Reynolds (Duke University), A. Muthitacharoen (Massachusetts Institute of Technology) • Transforming Policies into Mechanisms with Infokernel ....................................................... 90 A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, N. C. Burnett, T. E. Denehy, T. J. Engle, H. S. Gunawi, J. A. Nugent, F. I. Popovici (University of Wisconsin at Madison) • User-level Internet Path Diagnosis