Table of Contents Session 1: Nomadic computing and reconciliation Chair: Eric Jul Application-independent reconciliation for nomadic applications Marc Shapiro, Antony Rowstron, Anne-Marie Kermarrec 1 Panasync: Dependency tracking among file copies Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte 7 Context-Aware Multimedia Computing in the Intelligence Hospital Scott Mitchel, Mark Spiteri, John Bates, George Couloris 13 Session 2: OS Architecture I Chair: Andrew Herbert Towards Robust OSes for Appliances Gilles Muller, Charles Consel, Renaud Marlet, Luciano Barreto, Fabrice Mérillon, Laurent Réveillère 19 Multiprocessing and Portability for PDAs Grzegorz Czajkowski 25 Session 3: Energy-Aware OS’s Chair: Jochen Liedtke Every Joule is Precious: The Case for Revisiting Operating System Design for Energy Efficiency Amin Vahdat, Alvin Lebeck, Carla Ellis 31 The Benefits of Event-Driven Energy Accounting in Power-Sensitive Systems Frank Bellosa 37 Tetherless Computing – The R2 Low-Power Messaging and Rendezvous Layer J.N. Weatherall 43 Providing an Embedded Software Environment for Wireless PDAs Valérie Issarny, Michel Banâtre, Frédéric Weis, Gilbert Cabillic, Paul Couderc, Teresa Higuera, Frédéric Parain 49 Session 4: Naming and mobility Chair: Marc Shapiro Table of Contents Supporting effective caching in a wide-area distributed location service Aline Baggio, Gerco Ballintijn, Maarten can Steen 55 CarNet: A Scalable Ad Hoc Wireless Network System Robert Morris, John Jannotti, Frans Kaashoek, Jinyang Li, Douglas Decouto 61 Geographical and Organisational Locality in Active Environments Mark Wharton 67 Session 5: Distributed Storage Chair: Satya CryptoCache: A Secure Sharable File Cache for Roaming Users Christian Jensen 73 Deferring Trust in Fluid Replication Brian Noble, Ben Fleis 79 Let's put NetApp and CacheFlow out of business! Eran Grabber, Elizabeth Shriver 85 Session 6: Pannel Theme: Middleware – is it a good idea? Session 7: OS Architecture II Chair: Paulo Guedes Congestion Prices as Feedback Signals: An Approach to QoS Management Rolf Neugebauer 91 Increasing Relevance of Memory Hardware Errors – A Case for Recoverable Programming Models Dejan Milojicic, Alan Messer, James Shau, Guangrui Fu, Alberto Munoz 97 Easing the management of data-parallel systems via adaptation David Petrou, Khalil Amiri, Gregory Ganger, Garth Gibson 103 The SawMill Multiserver Approach Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin Elphinstone, Volkmar Uhlig, Jonathon Tidswell, Luke Deller, Lars Reuther 109 Session 8: Breakout session Theme: What are the next big challenges for the OS? Table of Contents Proceedings — only New Channels, Old Concerns: Scalable and Reliable Datamination Colin Allison, Duncan McPherson, Dirk Husemann 115 Porting Multithreading Libraries to an Exokernel System Ernest Artiaga, Albert Serra, Marisa Gil 121 Proximate interactions of wireless appliances Michel Banâtre, Paul Couderc, Jean-Marc Menaud, Frédéric Weis 127 Trust and Confidence in Open Systems: Does Security harmonize with Mobility? Uwe Baumgarten, Claudia Eckert, and Harald Görl 133 An Algorithm for Stabilising Multiple Stores Ewa Z. Bern, John Rosenberg 139 On Architecture Transparency in Operating Systems Danilo Beuche, Antônio Augusto Frölich, Reinhard Meyer, Holger Papajewski, Friedrich Schön, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk 147 Research Issues in Developing a Platforn for Spatial-Aware Applications Peter Coschurba, Uwe Kubach, Alexander Leonhardi 153 System Support for Smart Cars: Requirements and Research Directions Raymond Cunningham and Vinny Cahill 159 Position Paper: The Role of Platforms and Operating Systems in Supporting Home Networks Nigel Davies and Pierre-Guillaume Raverdy 165 Increasing Appliance Autonomy using Energy-Aware Scheduling of Java Multimedia Applications Frédéric Parain, Gilbert Cabillic, Michel Bânatre, Teresa Higuera, Valerie Issarny, Jean-Philippe Lesot 171 A System Architecture for Pervasive Computing Robert Grimm, Tom Anderson, Brian Bershad, and David Wetherall 177 The Data Management Problem in Post-PC Devices and a Solution Ramakrishna Gummadi, Randy H. Katz 183 Table of Contents Synchronous IPC over Transparent Monitors Trent Jaeger, Jonathon E. Tidswell, Alain Gefflaut, Yoonho Park, Kevin J. Elphinstone, Jochen Liedtke 189 Towards a real-world wide web Tim Kindberg, John Barton 195 Decomposition of Preemptive Scheduling in the Go! Component-Based Operating System Greg Law and Julie McCann 201 Preliminary Thoughts On Memory-Bus Scheduling Jochen Liedtke, Marcus Völp, Kevin Elphinstone 207 Building Appliances out of Components using Pebble Kostas Magoutis, José Carlos Brustoloni, Eran Gabber, Wee Teck Ng, and Avi Silberschatz 211 Smart Cards: A System Support for Service Accessibility from Heterogeneous Devices Raphaël Marvie, Marie-Claude Pelligrini, Olivier Potonniée 217 Balancing configurability and efficiency in network support tools Hugo Miranda, Luis Rodrigues 223 Gaia: Enabling Active Spaces Manuel Roman, Roy H. Campbell 229 Distributing Processing without DPEs: Design Considerations for Public Computing Platforms Timothy Roscoe, Bryan Lyles 235 Commons: resource sharing and protection in mobile appliance OS Tetsuya Saito, Tatsuya Hagino 241 Caching Trust Rather Than Content M. Satyanarayanan 245 Distributed Object Invocation in OBIWAN Luís Veiga, João Garcia, João Silva, Paulo Ferreira 247