Principles of Distributed Systems: 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings PDF
Preview Principles of Distributed Systems: 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings
Lecture Notes in Computer Science 7109 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Antonio Fernández Anta Giuseppe Lipari Matthieu Roy (Eds.) Principles of Distributed Systems 15th International Conference, OPODIS 2011 Toulouse, France, December 13-16, 2011 Proceedings 1 3 VolumeEditors AntonioFernándezAnta InstituteIMDEANetworks AvenidadelMarMediterraneo,22,28918Leganes,Madrid,Spain E-mail:[email protected] GiuseppeLipari ScuolaSuperioreSant’Anna CEIICP,RETISLab ViaMoruzzi1,56127Pisa,Italy E-mail:[email protected] MatthieuRoy LAAS-CNRS DependabilityGroup(TSF) 7avduColonelRoche,31077Toulouse,France E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-25872-5 e-ISBN978-3-642-25873-2 DOI10.1007/978-3-642-25873-2 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:Appliedfor CRSubjectClassification(1998):C.2.4,C.2,F.2,D.2,I.2.11,G.2.2 LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues ©Springer-VerlagBerlinHeidelberg2011 Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply, evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws andregulationsandthereforefreeforgeneraluse. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface On behalf of the Technical Committee of the International Conference on PrinciplesofDistributedSystems(OPODIS2011),weareverypleasedtopresent in this volume the proceedings of the 15th edition of the conference, which was heldduringDecember13–16,andwashostedbyLAAS-CNRS,Toulouse,France. OPODIS is an international forum that attracts the best researchers and practitioners in the design, analysis and development of distributed and real- time systems. In response to the call for papers, 96 complete submissions were received. Afteranaccuratereviewingprocessthatinvolved32ProgramCommittee mem- bers,36 papers were selected that, in our opinion, representthe currentstate of the artoftheresearchinourfield.We wouldliketothank allreviewersfortheir fundamental contribution in selecting the best papers. The papers and associated presentations were grouped into 11 sessions. For this edition, we decided to generate randomly the order of presentations, and hencethecontentofsessionsinordertoencourageinteractions.Thisvolumealso includes the abstract of the keynote speech, which was given by Marco Ajmone Marsan,fromPolitecnicodiTorino,Italy,andInstituteIMDEANetworks,Spain, on “From Energy-EfficientNetworking to ZEN.” This edition also had two colocated workshops: the second annual TOR- RENTS workshop on Time-Oriented Reliable Embedded Networked Systems that featured an invited talk from Klaus Havelund (Nasa/JPL) and the First International Workshop on Dynamic Systems (DYNAM). ThiseventwouldnothavebeenpossiblewithoutthesupportofLAAS-CNRS, fromthelogisticandadministrativesupporttoitsdirectorJeanArlat,andofthe Midi-Pyr´en´eesdelegationofCNRS.Wewouldliketoexpressourgratitudetoour sponsorsandparticularlytotheRTRASTAE,theFrenchSpaceandAeronautic Sciences&Technologiesfoundation,thatallowedustoprovideinsightfulrelated workshops. We hope you enjoy the proceedings. December 2011 Antonio Ferna´ndez Anta Giuseppe Lipari Matthieu Roy Organization OPODIS 2011 was organized by LAAS-CNRS, Toulouse, France. General Chair Matthieu Roy LAAS-CNRS, France Program Co-chairs Antonio Ferna´ndez Anta Institute IMDEA Networks, Spain Giuseppe Lipari Scuola Superiore Sant’Anna, Italy Steering Committee Tarek Abdelzaher University of Illinois at Urbana-Champaign, USA Alain Bui University of Versailles S.Q., France Marc Bui EPHE, France Hac`ene Fouchal University of Reims C.A., France Roberto Gomez ITESM-CEM, Mexico Chanyang Lu Washington University, USA Toshimitsu Masuzawa University of Osaka, Japan Michel Raynal IRISA, France Nicola Santoro Carleton University, Canada Philippas Tsigas Chalmers University of Technology, Sweden Program Committee Marcos K. Aguilera Microsoft Research, USA James H. Anderson University of North Carolina at Chapel Hill, USA Bjorn Andersson Carnegie Mellon University, USA Roberto Baldoni Sapienza University of Rome, Italy Olivier Beaumont University of Bordeaux I, France Thibault Bernard University of Reims, France Tommaso Cucinotta Scuola Sant’Anna, Italy Nathan Fisher Wayne State University, USA Laurent George INRIA Rocquencourt, France Chryssis Georgiou University of Cyprus, Cyprus Seth Gilbert National University of Singapore, Singapore Phuong H. Ha University of Tromsø, Norway Damir Isovic M¨alardalen University, Sweden VIII Organization Shinpei Kato Carnegie Mellon University, USA Anis Koubaa IMAMU, KSA and CISTER-ISEP, Portugal Dariusz Kowalski University of Liverpool, UK Fabian Kuhn University of Lugano, Switzerland Adam Lackorzynski University of Dresden, Germany Zhiyong Liu Institute of Computing Technology, China Chenyang Lu Washington University, USA Toshimitsu Masuzawa University of Osaka, Japan Alberto Montresor University of Trento, Italy Mohamed Mosbah University of Bordeaux 1, France Miguel A. Mosteiro Rutgers and Rey Juan Carlos University, USA and Spain Boaz Patt-Shamir Tel Aviv University, Israel Luis Rodrigues Universidade Tecnica de Lisboa, Portugal Christian Scheideler University of Paderborn, Germany Maria J. Serna Universitat Politecnica de Catalunya, Spain H˚akan Sundell University of Boras, Sweden Alex Shvartsman University of Connecticut, USA Sebastien Tixeuil Pierre-Marie Curie University, France Shmuel Zaks Technion, Israel External Referees Maissa Ben Mark Jelasity Nesrine Ouled Do¨bel Bjo¨rn Hirotsugu Kakugawa Joao Paiva Silvia Bonomi Sebastian Kniesburges Andrzej Pelc Zohir Bouzid Boris Koldehofe Anna Philippou Armando Castaneda Andreas Koutsopoulos Laurence Pilard Adriano Cerocchi Anissa Lamani Nuno Preguica J´er´emie Chalopin Derrick Lawrence Giuseppe Prencipe Octav Chipara Joao Leitao Paola Quaglia Shantanu Das Vincent Leroy Hani Qusa Sebastian Daum Cong Liu Michel Raynal Seda Davtyan Giorgia Lodi Etienne Rivi`ere Oksana Denysyuk Sofian Maabout Paolo Romano Swan Dubois Bernard Mans Abusayeed Saifullah Bjo¨rn Do¨bel Fabien Mathieu Devan Sohier Donatella Firmani Serge Midonnet Julian Stecklina Chien-Liang Fok Alessia Milani C´eline Trapes Allyx Fontaine Alex Mills Giovanni Viglietta Yong Fu Malcolm Mollison Marcus Vo¨lp Leszek Gasieniec Achour Mostefaoui Chengjie Wu Cyril Gavoille Peter Musial Rafik Zitouni Hugo Gimbert Nicolas Nicolaou Fabiola Greve Fukuhito Ooshita Martina Hu¨llmann Rotem Oshman Organization IX Related Workshops TORRENTS Workshop Chairs Claire Pagetti ONERA, France Christine Rochange IRIT, France DYNAM Workshop Committee L´elia Blin (Chair) Universit´e d’Evry Val d’Essonne, LIP6, France Yann Busnel (Chair) Universit´e de Nantes, LINA, France Shantanu Das Technion- IsraelInstitute ofTechnology,Israel Fab´ıola Greve Universidade Federal da Bahia, Brazil David Ilcinkas CNRS Bordeaux, France Anne-Marie Kermarrec INRIA Rennes Bretagne Atlantique, France Mikel Larrea University of the Basque Country, Spain Leonardo Querzoni Universit`a La Sapienza di Roma, Italy Etienne Rivi`ere University of Neuchˆatel, Switzerland Gilles Tr´edan University of Cambridge, UK Organizing Committee Sonia De Sousa LAAS-CNRS, France Brigitte Ducrocq LAAS-CNRS, France Marc-Olivier Killijian LAAS-CNRS, France Nicolas Rivi`ere LAAS-CNRS, France Matthieu Roy LAAS-CNRS, France Sponsoring Institutions RTRA STAE CNRS Table of Contents From Energy-EfficientNetworking to ZEN .......................... 1 Marco Ajmone Marsan Online Regenerator Placement..................................... 4 George B. Mertzios, Mordechai Shalom, Prudence W.H. Wong, and Shmuel Zaks A Quorum-Based Replication Framework for Distributed Software TransactionalMemory............................................ 18 Bo Zhang and Binoy Ravindran Error-free Multi-valued Broadcast and Byzantine Agreement with Optimal Communication Complexity ............................... 34 Arpita Patra Enhancing the Performance of High Availability Lightweight Live Migration....................................................... 50 Peng Lu, Binoy Ravindran, and Changsoo Kim Towards Consistency Oblivious Programming........................ 65 Yehuda Afek, Hillel Avni, and Nir Shavit Regret Freedom Isn’t Free......................................... 80 Edmund L. Wong, Isaac Levy, Lorenzo Alvisi, Allen Clement, and Mike Dahlin On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming ................................... 96 Michele Flammini, Gianpiero Monaco, Luca Moscardelli, Mordechai Shalom, and Shmuel Zaks On the Cost of Concurrency in TransactionalMemory ................ 112 Petr Kuznetsov and Srivatsan Ravi Response Time Bounds for G-EDF without Intra-Task Precedence Constraints ..................................................... 128 Jeremy P. Erickson and James H. Anderson Node-Disjoint Multipath Spanners and Their Relationship with Fault-Tolerant Spanners .......................................... 143 Cyril Gavoille, Quentin Godfroy, and Laurent Viennot XII Table of Contents The First Fully Polynomial Stabilizing Algorithm for BFS Tree Construction .................................................... 159 Alain Cournier, St´ephane Rovedakis, and Vincent Villain Anonymous Agreement: The Janus Algorithm ....................... 175 Zohir Bouzid, Pierre Sutra, and Corentin Travers Communication Complexity of Consensus in Anonymous Message Passing Systems ................................................. 191 Emanuele G. Fusco and Andrzej Pelc Non-blocking k-ary Search Trees ................................... 207 Trevor Brown and Joanna Helga Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties ............................................. 222 Jan Olaf Blech Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering ................................ 235 Joffroy Beauquier and Janna Burman Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction ....................................................... 251 Franc¸ois Bonnet, Alessia Milani, Maria Potop-Butucaru, and S´ebastien Tixeuil Fused State Machines for Fault Tolerance in Distributed Systems ...... 266 Bharath Balasubramanian and Vijay K. Garg Fork-Consistent Constructions from Registers........................ 283 Matthias Majuntke, Dan Dobre, Christian Cachin, and Neeraj Suri Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems ........................................................ 299 Martin Biely, Peter Robinson, and Ulrich Schmid On the Nature of Progress ........................................ 313 Maurice Herlihy and Nir Shavit Byzantine Fault-Tolerance with Commutative Commands ............. 329 Pavel Raykov, Nicolas Schiper, and Fernando Pedone Partially Non-Preemptive Dual Priority Multiprocessor Scheduling ..... 343 Chiahsun Ho and Shelby H. Funk Private Similarity Computation in Distributed Systems: From Cryptography to Differential Privacy ............................... 357 Mohammad Alaggan, S´ebastien Gambs, and Anne-Marie Kermarrec
Description:The list of books you might like
