Principles of Distributed Systems: 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings

574 Pages·2011·6.63 MB·English

by  Marco Ajmone Marsan (auth.)

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