Proceedings of the 5th Symposium on Operating Systems Design and Implementation

OSDI '02 continues the conference's tradition of presenting the best innovative work in the systems software area, taking a broad view of what the area encompasses. We believe that this year's conference contains some of the most original, intriguing, and important work in the field today. OSDI '02 drew a highly competitive selection from a large collection of diverse, original work submitted by authors internationally to form a program of creative, well-developed papers opening up new and innovative areas--not merely incremental results building on prior work.The program presents important results in a wide range of areas, including distributed storage systems, robust software construction, OS kernel innovations, sensor networks, virtual machine monitors, large-scale network simulation, resource management architectures for Internet services, peer-to-peer systems, network analysis, and migration of execution environments.OSDI '02 received 150 submissions; all submissions were reviewed by several members of the program committee and selected external reviewers, comprising roughly 700 reviews. Program committee members did not participate in the review or discussion of any papers co-authored by themselves, members of their home institutions, former students, advisors, or recent collaborators. The program committee met at the Intel Berkeley research lab on July 30, 2002, to make the final program selection during an eleven-hour meeting.

[1]  Sally Floyd,et al.  Difficulties in simulating the internet , 2001, TNET.

[2]  Miron Livny,et al.  Condor-a hunter of idle workstations , 1988, [1988] Proceedings. The 8th International Conference on Distributed.

[3]  Marianne Shaw,et al.  Denali: Lightweight Virtual Machines for Distributed and Networked Applications , 2001 .

[4]  Brad Calder,et al.  Reducing cache misses using hardware and software page placement , 1999, ICS '99.

[5]  William J. Bolosky,et al.  A large-scale study of file-system contents , 1999, SIGMETRICS '99.

[6]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

[7]  Ari Juels,et al.  $evwu Dfw , 1998 .

[8]  Sean Quinlan,et al.  Venti: A New Approach to Archival Storage , 2002, FAST.

[9]  Steven M. Hand,et al.  Self-paging in the Nemesis operating system , 1999, OSDI '99.

[10]  Geoffrey M. Voelker,et al.  The Medusa Proxy A Tool For Exploring User-Perceived Web Performance , 2001 .

[11]  Robbert van Renesse,et al.  A Gossip-Style Failure Detection Service , 2009 .

[12]  Stephen A. Brodsky Content addressable networks , 1996 .

[13]  Gregory J. Pottie,et al.  Wireless integrated network sensors , 2000, Commun. ACM.

[14]  Peter Druschel,et al.  A Scalable and Explicit Event Delivery Mechanism for UNIX , 1999, USENIX Annual Technical Conference, General Track.

[15]  David Chaum,et al.  Blind Signatures for Untraceable Payments , 1982, CRYPTO.

[16]  Prashant J. Shenoy,et al.  Sharc: managing CPU and network bandwidth in shared clusters , 2004, IEEE Transactions on Parallel and Distributed Systems.

[17]  Jussi Kangasharju,et al.  Performance evaluation of redirection schemes in content distribution networks , 2001, Comput. Commun..

[18]  Assar Westerlund,et al.  Arla: a free AFS client , 1998 .

[19]  Victor Yodaiken,et al.  A Real-Time Linux , 2000 .

[20]  Robert Morris,et al.  Chord: A scalable peer-to-peer lookup service for internet applications , 2001, SIGCOMM 2001.

[21]  Robert Metcalfe,et al.  Ethernet: distributed packet switching for local computer networks , 1976, CACM.

[22]  Ibrahim Matta,et al.  BRITE: an approach to universal topology generation , 2001, MASCOTS 2001, Proceedings Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[23]  Bruce Walker,et al.  The LOCUS distributed operating system , 1983, SOSP '83.

[24]  Randy H. Katz,et al.  An architecture for building self-configurable systems , 2000, 2000 First Annual Workshop on Mobile and Ad Hoc Networking and Computing. MobiHOC (Cat. No.00EX444).

[25]  M. Frans Kaashoek,et al.  Mobile Computing with the Rover Toolkit , 1997, IEEE Trans. Computers.

[26]  Darrell D. E. Long,et al.  The refdbms Distributed Bibliographic Database System , 1994, USENIX Winter.

[27]  R. Brodersen,et al.  Voltage Scheduling in the lpARM Microprocessor System , 2000 .

[28]  Samuel Madden,et al.  Fjording the stream: an architecture for queries over streaming sensor data , 2002, Proceedings 18th International Conference on Data Engineering.

[29]  Nina Bhatti,et al.  Web server support for tiered services , 1999, IEEE Netw..

[30]  Gerry Kane,et al.  MIPS RISC Architecture , 1987 .

[31]  Prashant J. Shenoy,et al.  Application performance in the QLinux multimedia operating system , 2000, ACM Multimedia.

[32]  Dirk Grunwald,et al.  Nsclick:: bridging network simulation and deployment , 2002, MSWiM '02.

[33]  P. Druschel,et al.  A Resource Management Framework for Predictable Quality of Service in Web Servers , 2003 .

[34]  Chandramohan A. Thekkath,et al.  Frangipani: a scalable distributed file system , 1997, SOSP.

[35]  Li Fan,et al.  Summary cache: a scalable wide-area web cache sharing protocol , 2000, TNET.

[36]  Jeffrey F. Naughton,et al.  Adaptive parallel aggregation algorithms , 1995, SIGMOD '95.

[37]  Fred B. Schneider,et al.  Hypervisor-based fault tolerance , 1996, TOCS.

[38]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[39]  Kai Li,et al.  Libckpt: Transparent Checkpointing under UNIX , 1995, USENIX.

[40]  Raju Pandey,et al.  Supporting quality of service in HTTP servers , 1998, PODC '98.

[41]  Geoffrey Zweig,et al.  Syntactic Clustering of the Web , 1997, Comput. Networks.

[42]  Krisztián Flautner,et al.  Automatic Performance Setting for Dynamic Voltage Scaling , 2001, MobiCom '01.

[43]  Anees Shaikh,et al.  On the effectiveness of DNS-based server selection , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[44]  Mike Hibler,et al.  Microkernels meet recursive virtual machines , 1996, OSDI '96.

[45]  Steven McCanne,et al.  A reliable multicast framework for light-weight sessions and application level framing , 1995, SIGCOMM '95.

[46]  Li Fan,et al.  Web caching and Zipf-like distributions: evidence and implications , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[47]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[48]  Kiyoung Choi,et al.  Power conscious fixed priority scheduling for hard real-time systems , 1999, DAC '99.

[49]  David E. Culler,et al.  The multispace: an evolutionary platform for infrastructural services , 1999 .

[50]  Craig A. N. Soules,et al.  Self-securing storage: protecting data in compromised systems , 2000, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].

[51]  David L. Mills,et al.  Internet time synchronization: the network time protocol , 1991, IEEE Trans. Commun..

[52]  David E. Culler,et al.  A wireless embedded sensor architecture for system-level optimization , 2002 .

[53]  Jon M. Kleinberg,et al.  The Web as a Graph: Measurements, Models, and Methods , 1999, COCOON.

[54]  Konstantinos Psounis,et al.  A randomized Web-cache replacement scheme , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[55]  Steven G. Johnson,et al.  FFTW: an adaptive software architecture for the FFT , 1998, Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP '98 (Cat. No.98CH36181).

[56]  William E. Weihl,et al.  Lottery scheduling: flexible proportional-share resource management , 1994, OSDI '94.

[57]  Andrew Tridgell,et al.  Efficient Algorithms for Sorting and Synchronization , 1999 .

[58]  Margo I. Seltzer,et al.  Isolation with Flexibility: A Resource Management Framework for Central Servers , 2000, USENIX Annual Technical Conference, General Track.

[59]  Chandramohan A. Thekkath,et al.  Petal: distributed virtual disks , 1996, ASPLOS VII.

[60]  Andrew V. Goldberg,et al.  Towards an archival Intermemory , 1998, Proceedings IEEE International Forum on Research and Technology Advances in Digital Libraries -ADL'98-.

[61]  Mendel Rosenblum,et al.  Cellular disco: resource management using virtual clusters on shared-memory multiprocessors , 2000, ACM Trans. Comput. Syst..

[62]  Larry L. Peterson,et al.  Experiences with network simulation , 1996, SIGMETRICS '96.

[63]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[64]  Azer Bestavros,et al.  Admission control for soft-deadline transactions in ACCORD , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[65]  Randy H. Katz,et al.  Next century challenges: mobile networking for “Smart Dust” , 1999, MobiCom.

[66]  Antoine Joux,et al.  Differential Collisions in SHA-0 , 1998, CRYPTO.

[67]  Michael Dahlin,et al.  Design considerations for distributed caching on the Internet , 1999, Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003).

[68]  Ciprian Tutu,et al.  Practical Wide-Area Database Replication 1 , 2002 .

[69]  Irene Greif,et al.  Replicated document management in a group communication system , 1988, CSCW '88.

[70]  William J. Bowhill,et al.  Design of High-Performance Microprocessor Circuits , 2001 .

[71]  Randy H. Katz,et al.  Trace-based mobile network emulation , 1997, SIGCOMM '97.

[72]  Hui Zhang,et al.  LIRA: An Approach for Service Differentiation in the Internet , 1998 .

[73]  Dennis Shasha,et al.  Don't trust your file server , 2001, Proceedings Eighth Workshop on Hot Topics in Operating Systems.

[74]  David E. Culler,et al.  Scalable, distributed data structures for internet service construction , 2000, OSDI.

[75]  David Mazières,et al.  Kademlia: A Peer-to-Peer Information System Based on the XOR Metric , 2002, IPTPS.

[76]  Love H. Seawright,et al.  VM/370 - A Study of Multiplicity and Usefulness , 1979, IBM Syst. J..

[77]  Ralph C. Merkle,et al.  Protocols for Public Key Cryptosystems , 1980, 1980 IEEE Symposium on Security and Privacy.

[78]  Sanjoy Paul,et al.  RMTP: a reliable multicast transport protocol , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[79]  Calton Pu,et al.  A feedback-driven proportion allocator for real-rate scheduling , 1999, OSDI '99.

[80]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.

[81]  Antony I. T. Rowstron,et al.  Storage management and caching in PAST, a large-scale, persistent peer-to-peer storage utility , 2001, SOSP.

[82]  Robert S. Fabry,et al.  A fast file system for UNIX , 1984, TOCS.

[83]  Jeff Dike,et al.  A user-mode port of the Linux kernel , 2000, Annual Linux Showcase & Conference.

[84]  Mary Baker,et al.  Measurements of a distributed file system , 1991, SOSP '91.

[85]  Michel Dubois,et al.  Implementation and evaluation of update-based cache protocols under relaxed memory consistency models , 1995, Future Gener. Comput. Syst..

[86]  Harrick M. Vin,et al.  A hierarchial CPU scheduler for multimedia operating systems , 1996, OSDI '96.

[87]  Luigi Rizzo,et al.  Dummynet: a simple approach to the evaluation of network protocols , 1997, CCRV.

[88]  Peter J. Haas,et al.  The New Jersey Data Reduction Report , 1997 .

[89]  Farnam Jahanian,et al.  Testing of fault-tolerant and real-time distributed systems via protocol fault injection , 1996, Proceedings of Annual Symposium on Fault Tolerant Computing.

[90]  Deborah Estrin,et al.  Impact of network density on data aggregation in wireless sensor networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[91]  Margaret Martonosi,et al.  Experience with an adaptive globally-synchronizing clock algorithm , 1999, SPAA '99.

[92]  Raphael Rom,et al.  Transmission Control Protocol Specification. , 1976 .

[93]  Banu Özden,et al.  The Eclipse Operating System: Providing Quality of Service via Reservation Domains , 1998, USENIX ATC.

[94]  Tao Yang,et al.  Cluster load balancing for fine-grain network services , 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

[95]  Scott Shenker,et al.  Epidemic algorithms for replicated database maintenance , 1988, OPSR.

[96]  Peter Druschel,et al.  Lazy receiver processing (LRP): a network subsystem architecture for server systems , 1996, OSDI '96.

[97]  Samuel T. King,et al.  Operating System Extensions to Support Host Based Virtual Machines , 2000 .

[98]  Monica S. Lam,et al.  Supporting ubiquitous computing with stateless consoles and computation caches , 2000 .

[99]  Andrei Z. Broder,et al.  On the resemblance and containment of documents , 1997, Proceedings. Compression and Complexity of SEQUENCES 1997 (Cat. No.97TB100171).

[100]  John R. Douceur,et al.  The Sybil Attack , 2002, IPTPS.

[101]  Keith A. Lantz,et al.  Preemptable remote execution facilities for the V-system , 1985, SOSP 1985.

[102]  Ronald Fagin,et al.  Compactly encoding unstructured inputs with differential compression , 2002, JACM.

[103]  J. Vig Introduction to Quartz Frequency Standards , 1992 .

[104]  Robin Fairbairns,et al.  The Design and Implementation of an Operating System to Support Distributed Multimedia Applications , 1996, IEEE J. Sel. Areas Commun..

[105]  Zhen Liu,et al.  Evaluation of TCP Vegas: emulation and experiment , 1995, SIGCOMM '95.

[106]  Michael Isard,et al.  A Cooperative Backup System , 2003 .

[107]  L. Ingber Very fast simulated re-annealing , 1989 .

[108]  Per-Åke Larson,et al.  Eager Aggregation and Lazy Aggregation , 1995, VLDB.

[109]  David R. Karger,et al.  Wide-area cooperative storage with CFS , 2001, SOSP.

[110]  K. Kalliomaki,et al.  Timing performance of various GPS receivers , 1999, Proceedings of the 1999 Joint Meeting of the European Frequency and Time Forum and the IEEE International Frequency Control Symposium (Cat. No.99CH36313).

[111]  Thomas D. Burd,et al.  The simulation and evaluation of dynamic voltage scaling algorithms , 1998, Proceedings. 1998 International Symposium on Low Power Electronics and Design (IEEE Cat. No.98TH8379).

[112]  Per-Åke Larson,et al.  Data reduction by partial preaggregation , 2002, Proceedings 18th International Conference on Data Engineering.

[113]  Virgílio A. F. Almeida,et al.  Measuring the behaviour of a world-wide web server , 1997, HPN.

[114]  Robert H. B. Netzer,et al.  Optimal tracing and incremental reexecution for debugging long-running programs , 1994, PLDI '94.

[115]  Joe C. Chen,et al.  A Wireless Time-Synchronized COTS Sensor Platform, Part II: Applications to Beamforming , 2002 .

[116]  Mahadev Satyanarayanan,et al.  Internet suspend/resume , 2002, Proceedings Fourth IEEE Workshop on Mobile Computing Systems and Applications.

[117]  David R. Cheriton,et al.  Application-controlled physical memory using external page-cache management , 1992, ASPLOS V.

[118]  Amin Vahdat,et al.  Managing energy and server resources in hosting centers , 2001, SOSP.

[119]  Peter H. Gum,et al.  System/370 Extended Architecture: Facilities for Virtual Machines , 1983, IBM J. Res. Dev..

[120]  Mike Hibler,et al.  An integrated experimental environment for distributed systems and networks , 2002, OPSR.

[121]  Robert P. Goldberg,et al.  Architectural Principles for Virtual Computer Systems , 1973 .

[122]  Jon M. Kleinberg,et al.  Mining the Web's Link Structure , 1999, Computer.

[123]  Kang G. Shin,et al.  Real-time dynamic voltage scaling for low-power embedded operating systems , 2001, SOSP.

[124]  Jin Zhang,et al.  Active Cache: caching dynamic contents on the Web , 1999, Distributed Syst. Eng..

[125]  Peter Druschel,et al.  Soft timers: efficient microsecond software timer support for network processing , 1999, SOSP.

[126]  Yann-Hang Lee,et al.  Voltage-clock-scaling adaptive scheduling techniques for low power in hard real-time systems , 2000, Proceedings Sixth IEEE Real-Time Technology and Applications Symposium. RTAS 2000.

[127]  Dhananjay S. Phatak,et al.  Preemptive routing in ad hoc networks , 2003, J. Parallel Distributed Comput..

[128]  Miguel Oom Temudo de Castro,et al.  Practical Byzantine fault tolerance , 1999, OSDI '99.

[129]  Jeffrey C. Mogul Big memories on the desktop , 1993, Proceedings of IEEE 4th Workshop on Workstation Operating Systems. WWOS-III.

[130]  Michael González Harbour,et al.  Work-in-Progress Session , 2002, ECRTS.

[131]  Michael B. Jones,et al.  CPU reservations and time constraints: efficient, predictable scheduling of independent activities , 1997, SOSP.

[132]  Philippe Bonnet,et al.  Towards Sensor Database Systems , 2001, Mobile Data Management.

[133]  Syam Gadde,et al.  Not all Hits are Created Equal: Cooperative Proxy Caching Over a Wide-Area Network , 1998, Comput. Networks.

[134]  Douglas M. Freimuth,et al.  Kernel Mechanisms for Service Differentiation in Overloaded Web Servers , 2001, USENIX Annual Technical Conference, General Track.

[135]  Amin Vahdat,et al.  Differentiated multimedia Web services using quality aware transcoding , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[136]  Narayanan Ganapathy,et al.  General Purpose Operating System Support for Multiple Page Sizes , 1998, USENIX Annual Technical Conference.

[137]  Marvin Theimer,et al.  Reclaiming space from duplicate files in a serverless distributed file system , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[138]  Robert S. Gray,et al.  Agent Tcl: a Exible and Secure Mobile-agent System , 1996 .

[139]  Deborah Estrin,et al.  Effects of Detail in Wireless Network Simulation , 2001 .

[140]  Sandy Irani,et al.  Cost-Aware WWW Proxy Caching Algorithms , 1997, USENIX Symposium on Internet Technologies and Systems.

[141]  Ben Y. Zhao,et al.  An Infrastructure for Fault-tolerant Wide-area Location and Routing , 2001 .

[142]  Volkmar Sieh,et al.  Framework for testing the fault-tolerance of systems including OS and network aspects , 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.

[143]  Steve R. Kleiman,et al.  SnapMirror: File-System-Based Asynchronous Mirroring for Disaster Recovery , 2002, FAST.

[144]  Carl A. Waldspurger,et al.  Memory resource management in VMware ESX server , 2002, OSDI '02.

[145]  Mark Handley,et al.  A scalable content-addressable network , 2001, SIGCOMM 2001.

[146]  Donald F. Towsley,et al.  Experimental evaluation of real-time transaction processing , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[147]  Parameswaran Ramanathan,et al.  Proportional differentiated services: delay differentiation and packet scheduling , 2002, TNET.

[148]  Barry C. Smith,et al.  Yield Management at American Airlines , 1992 .

[149]  Brian N. Bershad,et al.  Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware , 1994, OSDI.

[150]  Bruce M. Maggs Global internet content delivery , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[151]  Kirk L. Johnson,et al.  The measured performance of content distribution networks , 2001, Comput. Commun..

[152]  William J. Bolosky,et al.  Single instance storage in Windows® 2000 , 2000 .

[153]  Philip Levis,et al.  Policies for dynamic clock scheduling , 2000, OSDI.

[154]  Jerome H. Saltzer,et al.  The protection of information in computer systems , 1975, Proc. IEEE.

[155]  David L. Mills,et al.  Adaptive hybrid clock discipline algorithm for the network time protocol , 1998, TNET.

[156]  David Mazières,et al.  Separating key management from file system security , 1999, SOSP.

[157]  Mary Ellen Zurko,et al.  A Retrospective on the VAX VMM Security Kernel , 1991, IEEE Trans. Software Eng..

[158]  Hal Wasserman,et al.  Comparing algorithm for dynamic speed-setting of a low-power CPU , 1995, MobiCom '95.

[159]  Steven McCanne,et al.  The BSD Packet Filter: A New Architecture for User-level Packet Capture , 1993, USENIX Winter.

[160]  Izhak Rubin,et al.  Message Delays in FDMA and TDMA Communication Channels , 1979, IEEE Trans. Commun..

[161]  Peter B. Danzig,et al.  A Hierarchical Internet Object Cache , 1996, USENIX ATC.

[162]  Deborah Estrin,et al.  Locating tiny sensors in time and space: a case study , 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[163]  Robert Szewczyk,et al.  System architecture directions for networked sensors , 2000, ASPLOS IX.

[164]  Patrick Valduriez,et al.  FAD, a Powerful and Simple Database Language , 1987, VLDB.

[165]  Alec Wolman,et al.  Measurement and Analysis of a Streaming Media Workload , 2001, USITS.

[166]  Dieter Gollmann,et al.  Computer Security , 1979, Lecture Notes in Computer Science.

[167]  Dawson R. Engler,et al.  Using programmer-written compiler extensions to catch security holes , 2002, Proceedings 2002 IEEE Symposium on Security and Privacy.

[168]  J. Bellino,et al.  Virtual machine or virtual operating system? , 1973 .

[169]  Deborah Estrin,et al.  Robust range estimation using acoustic and multimodal sensing , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[170]  David Kotz,et al.  Using the Emulab network testbed to evaluate the Armada I/O framework for computational grids , 2002 .

[171]  Roy T. Fielding,et al.  Hypertext Transfer Protocol - HTTP/1.1 , 1997, RFC.

[172]  Srinivasan Seshan,et al.  A case for end system multicast , 2002, IEEE J. Sel. Areas Commun..

[173]  Alley Stoughton,et al.  Detection of Mutual Inconsistency in Distributed Systems , 1983, IEEE Transactions on Software Engineering.

[174]  Brian D. Noble,et al.  Mobile network estimation , 2001, MobiCom '01.

[175]  Radek Vingralek,et al.  How to build a trusted database system on untrusted storage , 2000, OSDI.

[176]  Azer Bestavros,et al.  Self-similarity in World Wide Web traffic: evidence and possible causes , 1997, TNET.

[177]  Beng-Hong Lim,et al.  Virtualizing I/O Devices on VMware Workstation's Hosted Virtual Machine Monitor , 2001, USENIX Annual Technical Conference, General Track.

[178]  Jay Lepreau,et al.  The Flux OSKit: a substrate for kernel and language research , 1997, SOSP.

[179]  Edward W. Felten,et al.  Archipelago: an Island-based file system for highly available and scalable internet services , 2000 .

[180]  David E. Culler,et al.  A blueprint for introducing disruptive technology into the Internet , 2003, CCRV.

[181]  David Mazières,et al.  A low-bandwidth network file system , 2001, SOSP.

[182]  James L. Peterson,et al.  Buddy systems , 1977, CACM.

[183]  Marvin Theimer,et al.  Dealing with server corruption in weakly consistent, replicated data systems , 1997, MobiCom '97.

[184]  Erich M. Nahum,et al.  Locality-aware request distribution in cluster-based network servers , 1998, ASPLOS VIII.

[185]  David E. Culler,et al.  Supporting aggregate queries over ad-hoc wireless sensor networks , 2002, Proceedings Fourth IEEE Workshop on Mobile Computing Systems and Applications.

[186]  Scott Shenker,et al.  Scheduling for reduced CPU energy , 1994, OSDI '94.

[187]  Balachander Krishnamurthy,et al.  On the use and performance of content distribution networks , 2001, IMW '01.

[188]  Mark D. Hill,et al.  Tradeoffs in supporting two page sizes , 1992, ISCA '92.

[189]  Peter Druschel,et al.  Differentiated and predictable quality of service in web server systems , 2001 .

[190]  Brian N. Bershad,et al.  Using continuations to implement thread management and communication in operating systems , 1991, SOSP '91.

[191]  Douglas W. Clark,et al.  Performance of the VAX-11/780 translation buffer: simulation and measurement , 1985, TOCS.

[192]  Jim Gemmell,et al.  Fcast Multicast File Distribution: "Tune in, Download, and Drop Out" , 1999, IMSA.

[193]  Philip Levis,et al.  Maté: a tiny virtual machine for sensor networks , 2002, ASPLOS X.

[194]  William J. Bolosky,et al.  Mach: A New Kernel Foundation for UNIX Development , 1986, USENIX Summer.

[195]  Ken Thompson,et al.  The UNIX time-sharing system , 1974, CACM.

[196]  Kenneth L. Calvert,et al.  Lightweight network support for scalable end-to-end services , 2002, SIGCOMM 2002.

[197]  Cynthia E. Irvine,et al.  Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor , 2000, USENIX Security Symposium.

[198]  Ben Y. Zhao,et al.  OceanStore: an architecture for global-scale persistent storage , 2000, SIGP.

[199]  Wendi B. Heinzelman,et al.  Adaptive protocols for information dissemination in wireless sensor networks , 1999, MobiCom.

[200]  John L. Henning SPEC CPU2000: Measuring CPU Performance in the New Millennium , 2000, Computer.

[201]  Paulo Veríssimo,et al.  A posteriori agreement for fault-tolerant clock synchronization on broadcast networks , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[202]  Deborah Estrin,et al.  Time synchronization for wireless sensor networks , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[203]  Mahadev Satyanarayanan,et al.  Scale and performance in a distributed file system , 1988, TOCS.

[204]  Johan Pouwelse,et al.  Dynamic voltage scaling on a low-power microprocessor , 2001, MobiCom '01.

[205]  Luigi Rizzo,et al.  Dummynet and Forward Error Correction , 1998, USENIX Annual Technical Conference.

[206]  Margo I. Seltzer,et al.  Tickets and currencies revisited: extensions to multi-resource lottery scheduling , 1999, Proceedings of the Seventh Workshop on Hot Topics in Operating Systems.

[207]  Trevor Mudge,et al.  Thread-level parallelism and interactive performance of desktop applications , 2000, SIGP.

[208]  Charles E. Perkins,et al.  Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[209]  Alec Wolman,et al.  Organization-Based Analysis of Web-Object Sharing and Caching , 1999, USENIX Symposium on Internet Technologies and Systems.

[210]  Mike Hibler,et al.  The persistent relevance of the local operating system to global applications , 1996, EW 7.

[211]  Andrew P. Black,et al.  Fine-grained mobility in the Emerald system , 1987, TOCS.

[212]  Roger Wattenhofer,et al.  Optimizing file availability in a secure serverless distributed file system , 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.

[213]  Brian D. Noble,et al.  When Virtual Is Better Than Real , 2001 .

[214]  Eric Melski Burt: The Backup and Recovery Tool , 1999, LISA.

[215]  Deborah Estrin,et al.  Directed diffusion: a scalable and robust communication paradigm for sensor networks , 2000, MobiCom '00.

[216]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[217]  Ian Clarke,et al.  Freenet: A Distributed Anonymous Information Storage and Retrieval System , 2000, Workshop on Design Issues in Anonymity and Unobservability.

[218]  E. Nett,et al.  Continuous clock synchronization in wireless real-time applications , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[219]  Bennet S. Yee,et al.  Secure Coprocessors in Electronic Commerce Applications , 1995, USENIX Workshop on Electronic Commerce.

[220]  Jeffrey S. Chase,et al.  Payload Caching: High-Speed Data Forwarding for Network Intermediaries , 2001, USENIX ATC, General Track.

[221]  K. K. Ramakrishnan,et al.  Eliminating receive livelock in an interrupt-driven kernel , 1996, TOCS.

[222]  Jim Gray,et al.  Why Do Computers Stop and What Can Be Done About It? , 1986, Symposium on Reliability in Distributed Software and Database Systems.

[223]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[224]  William J. Bolosky,et al.  A secure directory service based on exclusive encryption , 2002, 18th Annual Computer Security Applications Conference, 2002. Proceedings..

[225]  Sharon E. Perl,et al.  Myriad: Cost-Effective Disaster Tolerance , 2002, FAST.

[226]  Deborah Estrin,et al.  Habitat monitoring: application driver for wireless communications technology , 2001, SIGCOMM LA '01.

[227]  Alfred Menezes,et al.  Handbook of Applied Cryptography , 2018 .

[228]  Dan S. Wallach,et al.  Extensible security architectures for Java , 1997, SOSP.

[229]  Tao Yang,et al.  Neptune: Scalable Replication Management and Programming Support for Cluster-based Network Services , 2001, USITS.

[230]  Andrea C. Arpaci-Dusseau,et al.  Information and control in gray-box systems , 2001, SOSP.

[231]  Georg Stellner,et al.  CoCheck: checkpointing and process migration for MPI , 1996, Proceedings of International Conference on Parallel Processing.

[232]  Stefan Saroiu,et al.  A Measurement Study of Peer-to-Peer File Sharing Systems , 2001 .

[233]  Kevin R. Fall,et al.  Network emulation in the VINT/NS simulator , 1999, Proceedings IEEE International Symposium on Computers and Communications (Cat. No.PR00250).

[234]  W. W. Peterson,et al.  Error-Correcting Codes. , 1962 .

[235]  Mark Russinovich,et al.  Replay for concurrent non-deterministic shared-memory applications , 1996, PLDI '96.

[236]  Prashant J. Shenoy,et al.  Resource overbooking and application profiling in shared hosting platforms , 2002, OSDI '02.

[237]  Anja Feldmann,et al.  Rate of Change and other Metrics: a Live Study of the World Wide Web , 1997, USENIX Symposium on Internet Technologies and Systems.

[238]  Thomas Stricker,et al.  Partition repositories for partition cloning OS independent software maintenance in large clusters of PCs , 2000, Proceedings IEEE International Conference on Cluster Computing. CLUSTER 2000.

[239]  Alan Jay Smith,et al.  Improving dynamic voltage scaling algorithms with PACE , 2001, SIGMETRICS '01.

[240]  Anja Feldmann,et al.  Characteristics of TCP Connection Arrivals , 2002 .

[241]  Hiroto Yasuura,et al.  Real-time task scheduling for a variable voltage processor , 1999, Proceedings 12th International Symposium on System Synthesis.

[242]  Venkata N. Padmanabhan,et al.  The content and access dynamics of a busy web site: findings and implicatins , 2000, SIGCOMM.

[243]  Hamid Pirahesh,et al.  Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals , 1996, Data Mining and Knowledge Discovery.

[244]  Helen J. Wang,et al.  Online aggregation , 1997, SIGMOD '97.

[245]  Kay Römer Time synchronization in ad hoc networks , 2001, MobiHoc '01.

[246]  Kung Yao,et al.  Blind beamforming on a randomly distributed sensor array system , 1998, IEEE J. Sel. Areas Commun..

[247]  Thomas J. LeBlanc,et al.  Debugging Parallel Programs with Instant Replay , 1987, IEEE Transactions on Computers.

[248]  W. E. Weihl,et al.  An object-oriented framework for modular resource management , 1996, Proceedings of the Fifth International Workshop on Object-Orientation in Operation Systems.

[249]  Robert Tappan Morris,et al.  Resilient overlay networks , 2001, SOSP.

[250]  Wei Hu,et al.  Scalability in the XFS File System , 1996, USENIX Annual Technical Conference.

[251]  Peter Druschel,et al.  Resource containers: a new facility for resource management in server systems , 1999, OSDI '99.

[252]  Jim Gray,et al.  A census of Tandem system availability between 1985 and 1990 , 1990 .

[253]  Miguel Castro,et al.  Farsite: federated, available, and reliable storage for an incompletely trusted environment , 2002, OPSR.

[254]  Dawson R. Engler,et al.  Bugs as deviant behavior: a general approach to inferring errors in systems code , 2001, SOSP.

[255]  M. S. Corson,et al.  A highly adaptive distributed routing algorithm for mobile wireless networks , 1997, Proceedings of INFOCOM '97.

[256]  Marvin Theimer,et al.  Feasibility of a serverless distributed file system deployed on an existing set of desktop PCs , 2000, SIGMETRICS '00.

[257]  Mahadev Satyanarayanan,et al.  Disconnected operation in the Coda File System , 1992, TOCS.

[258]  David A. Wagner,et al.  A Secure Environment for Untrusted Helper Applications , 1996, USENIX Security Symposium.

[259]  Kwei-Jay Lin,et al.  Enhancing the real-time capability of the Linux kernel , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

[260]  Deborah Estrin,et al.  Building efficient wireless sensor networks with low-level naming , 2001, SOSP.

[261]  Özalp Babaoglu,et al.  Converting a swap-based system to do paging in an architecture lacking page-referenced bits , 1981, SOSP.

[262]  Andrew S. Tanenbaum,et al.  Modern Operating Systems , 1992 .

[263]  Anoop Gupta,et al.  Complete computer system simulation: the SimOS approach , 1995, IEEE Parallel Distributed Technol. Syst. Appl..

[264]  Mark D. Hill,et al.  A new page table for 64-bit address spaces , 1995, SOSP.

[265]  David E. Culler,et al.  A transmission control scheme for media access in sensor networks , 2001, MobiCom '01.

[266]  Jochen Liedtke,et al.  OS-controlled cache predictability for real-time systems , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[267]  Mark S. Squillante,et al.  On maximizing service-level-agreement profits , 2001, PERV.

[268]  Willy Zwaenepoel,et al.  IO-Lite: a unified I/O buffering and caching system , 1999, TOCS.

[269]  Hari Balakrishnan,et al.  The design and implementation of an intentional naming system , 1999, SOSP.

[270]  Andrew S. Grimshaw,et al.  Legion: An Operating System for Wide-Area Computing , 1999 .

[271]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[272]  G.J. Minden,et al.  A survey of active network research , 1997, IEEE Communications Magazine.

[273]  Ben Y. Zhao,et al.  Maintenance-Free Global Data Storage , 2001, IEEE Internet Comput..

[274]  John S. Heidemann,et al.  Replication in Ficus distributed file systems , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[275]  Robert P. Goldberg,et al.  Survey of virtual machine research , 1974, Computer.

[276]  Peter Deutsch,et al.  ZLIB Compressed Data Format Specification version 3.3 , 1996, RFC.

[277]  Willy Zwaenepoel,et al.  Cluster reserves: a mechanism for resource management in cluster-based network servers , 2000, SIGMETRICS '00.

[278]  Matt Bishop,et al.  Checking for Race Conditions in File Accesses , 1996, Comput. Syst..

[279]  Anja Feldmann,et al.  Web proxy caching: the devil is in the details , 1998, PERV.

[280]  Robert J. Creasy,et al.  The Origin of the VM/370 Time-Sharing System , 1981, IBM J. Res. Dev..

[281]  Andrew R. Cherenson,et al.  The Sprite network operating system , 1988, Computer.

[282]  Scott Devine,et al.  Disco: running commodity operating systems on scalable multiprocessors , 1997, TOCS.

[283]  Eric A. Brewer,et al.  Cluster-based scalable network services , 1997, SOSP.

[284]  Brian N. Bershad,et al.  Reducing TLB and memory overhead using online superpage promotion , 1995, Proceedings 22nd Annual International Symposium on Computer Architecture.

[285]  Eric A. Brewer,et al.  System Design Issues for Internet Middleware Services: Deductions from a Large Client Trace , 1997, USENIX Symposium on Internet Technologies and Systems.

[286]  James F. Kurose,et al.  Open issues and challenges in providing quality of service guarantees in high-speed networks , 1993, CCRV.

[287]  Trevor N. Mudge,et al.  Power: A First-Class Architectural Design Constraint , 2001, Computer.

[288]  F. Alajaji,et al.  c ○ Copyright by , 1998 .

[289]  Eric A. Brewer,et al.  Harvest, yield, and scalable tolerant systems , 1999, Proceedings of the Seventh Workshop on Hot Topics in Operating Systems.

[290]  Trevor Mudge,et al.  Design tradeoffs for software-managed TLBs , 1993, ISCA '93.

[291]  Michael J. Feeley,et al.  The Measured Access Characteristics of World-Wide-Web Client Proxy Caches , 1997, USENIX Symposium on Internet Technologies and Systems.

[292]  Norman C. Hutchinson,et al.  Deciding when to forget in the Elephant file system , 1999, SOSP.

[293]  T.F. Abdelzaher,et al.  Web server QoS management by adaptive content delivery , 1999, 1999 Seventh International Workshop on Quality of Service. IWQoS'99. (Cat. No.98EX354).

[294]  Antony I. T. Rowstron,et al.  Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems , 2001, Middleware.

[295]  Syam Gadde,et al.  Web caching and content distribution: a view from the interior , 2001, Comput. Commun..

[296]  David A. Patterson,et al.  Serverless network file systems , 1995, SOSP.

[297]  Ron Oldfield,et al.  Armada: a parallel file system for computational grids , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[298]  Beng Chin Ooi,et al.  Online Feedback for Nested Aggregate Queries with Multi-Threading , 1999, VLDB.

[299]  Matt Blaze,et al.  A cryptographic file system for UNIX , 1993, CCS '93.