Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

485 Pages·2017·22.503 MB·English

by  Amr El Abbadi, Benoît Garbinato (eds.)

Amr El Abbadi
Benoît Garbinato (Eds.)
9
9
2
0
1

S
Networked Systems
C
N
L
5th International Conference, NETYS 2017
Marrakech, Morocco, May 17–19, 2017
Proceedings
123
Lecture Notes in Computer Science 10299
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison
Lancaster University, Lancaster, UK
Takeo Kanade
Carnegie Mellon University, Pittsburgh, PA, USA
Josef Kittler
University of Surrey, Guildford, UK
Jon M. Kleinberg
Cornell University, Ithaca, NY, USA
Friedemann Mattern
ETH Zurich, Zurich, Switzerland
John C. Mitchell
Stanford University, Stanford, CA, USA
Moni Naor
Weizmann Institute of Science, Rehovot, Israel
C. Pandu Rangan
Indian Institute of Technology, Madras, India
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Demetri Terzopoulos
University of California, Los Angeles, CA, USA
Doug Tygar
University of California, Berkeley, CA, USA
Gerhard Weikum
Max Planck Institute for Informatics, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/7411
î
Amr El Abbadi Beno t Garbinato (Eds.)
(cid:129)
Networked Systems
5th International Conference, NETYS 2017
–
Marrakech, Morocco, May 17 19, 2017
Proceedings
123
Editors
AmrElAbbadi BenoîtGarbinato
Department ofComputer Science UniversitédeLausanne
University of California, SantaBarbara Lausanne
SantaBarbara, CA Switzerland
USA
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-319-59646-4 ISBN978-3-319-59647-1 (eBook)
DOI 10.1007/978-3-319-59647-1
LibraryofCongressControlNumber:2017940840
LNCSSublibrary:SL5–ComputerCommunicationNetworksandTelecommunications
©SpringerInternationalPublishingAG2017
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
In May 2017, the 5th edition of the International Conference on Networked Systems
(NETYS) took place in Marrakech (Morocco). For this edition, we received 81 sub-
missions,whichwerereviewedbyaProgramCommitteeof47internationalexpertsin
various fields related to networked and distributed computing systems. Out of these
submissions,theProgramCommitteedecidedtoaccept28regularpapersandsixshort
papers.Inaddition,threerenownedresearchersacceptedtogivekeynotepresentations:
– Michel Raynal, from the University of Rennes
– Sergio Rajsbaum, from the National Autonomous University of Mexico
– Alexander A. Schwarzmann, from the University of Connecticut
As program chairs of NETYS 2017 and editors of these proceedings, we want to
warmly thank again all the authors for their high-quality contributions and all the
Program Committee members and external reviewers for their invaluable hard work.
We also sincerely thank our three keynote speakers for sharing their precious insights
and expertise. In particular, we are very grateful and happy that Michel Raynal
acceptedtogiveakeynotethisyear,sincehewillbeofficiallyretiringin2017,aftera
rich academic career spanning more than four decades in the area of distributed
computing!Lastbutnotleast,ourspecialthanksgo totheOrganizingCommittee and
to all the local arrangements coordinators, and of course to Ahmed Bouajjani
(UniversitéParisDiderot,France),MohammedErradi(ENSIAS,Rabat,Morocco),and
Rachid Guerraoui (EPFL, Lausanne, Switzerland), the conference general chairs,
without whom NETYS would simply not exist.
May 2017 Amr El Abbadi
Benoît Garbinato
Organization
Program Committee
Parosh Aziz Abdulah Uppsala University, Sweden
Periklis Andritsos University of Toronto, Canada
Najib Badache USTHB, CERIST
Slimane Bah Mohammed V University, Morocco
Rida Bazzi Arizona State University, USA
Yahya Benkaouz FSR, Mohammed V University of Rabat, Morocco
Ismail Berrada L3I and LIMS
Mohamed Bettaz Laboratoire Méthodes de Conception de Systèmes,
ESI, Algeria
Silvia Bonomi Sapienza Università di Roma, Italy
Aysu Betin Can Orta Doǧu Teknik Üniversitesi, Turkey
Antonio Carzaniga Università della Svizzera italiana, Switzerland
Rachida Dssouli Concordia University, Canada
Xavier Défago Tokyo Institute of Technology, Japan
Amr El Abbadi University of California, USA
Mohamed El Kamili LiM, FSDM, USMBA, Fès
Patrick Eugster Purdue University, USA
Pascal Felber University of Neuchatel, Switzerland
Bernd Freisleben University of Marburg, Germany
Roy Friedman Technion, Israel
Eli Gafni UCLA, USA
Benoît Garbinato University of Lausanne, Switzerland
Mohamed Gouda The University of Texas at Austin, USA
Seif Haridi SICS
Maurice Herlihy Brown University, USA
Kévin Huguenin UNIL-HEC Lausanne, Switzerland
Zahi Jarir Cadi Ayyad University, Morocco
Mohammed Jmaiel ReDCAD, ENIS
Anne-Marie Kermarrec Inria, France
Mikel Larrea University of the Basque Country UPV/EHU, Spain
Miroslaw Malek Humboldt University of Berlin, Germany
Louise Moser
Achour Moustefaoui Université Nantes (LINA), France
Guevara Noubir Northeastern University, USA
Rui Oliveira Universidade do Minho, Portugal
Meriem Ouedirni IRIT/INP Toulouse/ENSEEIHT, France
Mohammed Ouzzif ESTC
Stacy Patterson RPI
VIII Organization
Fernando Pedone University of Lugano, Switzerland
Andreas Podelski University of Freiburg, Germany
Shaz Qadeer Microsoft
Michel Raynal IRISA, France
Elad Schiller Chalmers University of Technology, Sweden
Mohamed Sharaf University of Queensland, Australia
Gregor von Bochmann University of Ottawa, Canada
Fang Yu National Chengchi University, Taiwan
Mohamed Zait Oracle
Albert Zomaya
Additional Reviewers
Ali, Muqeet Ngo, Tuan Phong
Baccour, Nouha Pereira, Óscar
Bendjoudi, Ahcene Phi Diep, Bui
Bettaz, Mohamed Reaz, Rezwana
Cheikhrouhou, Saoussen Rezine, Othmane
Genkin, Daniel Sebgui, Marouane
Guidara, Ikbel Trinh, Cong Quy
Hatem, Bellaaj Vilaça, Ricardo
Jmal Maâlej, Afef Yahiaoui, Said
Keynote Presentations
Another Look at the Implementation
of Read/Write Registers in Crash-Prone
Asynchronous Message-Passing Systems
Michel Raynal
University ofRennes, Rennes,France
[email protected]
Abstract. Yet another work on the implementation of read/write registers in
crash-prone asynchronous message-passing systems! Yes…, but, differently
from its predecessors, this talk presents a communication abstraction which
capturestheessenceofsuchanimplementationinthesamesensethattotalorder
broadcast can be associated with consensus. To this end, the talk introduces a
new communication abstraction, named SCD-broadcast (SCD stands for “Set
Constrained Delivery”), which, instead of a single message, delivers to pro-
cessessetsofmessages(whosesizecanbearbitrary),suchthatthesequencesof
messagesetsdeliveredtoanytwoprocessessatisfiessomeconstraints.Thetalk
willthenshowthat:(a)SCD-broadcastallowsforaverysimpleimplementation
of a snapshot object (and consequently also of atomic read/write registers) in
crash-proneasynchronousmessage-passingsystems;(b)SCD-broadcastcanbe
built from snapshot objects (hence SCD-broadcast and snapshot objects –or
read/write registers– are “computationally equivalent”); (c) SCD-broadcast can
bebuiltinmessage-passingsystemswhereanyminorityofprocessesmaycrash
(which is the weakest assumption on the number of possible process crashes
needed toimplement aread/write register).
Reference
Imbs, D., Mostéfaoui, A., Perrin, M., Raynal, M.: Another look at the implementation of
read/write registers in crash-prone asynchronous message-passing systems (extended version).
Technical report,arXiv: ArXiv-1702.08176v1.pdf,21pages(2017)
Biography
MichelRaynalisaProfessorofInformatics,IRISA,UniversityofRennes,France.His
main research interests are the basic principles of distributed computing systems.
Recognizedasaworldleadingresearcherindistributedcomputing,heistheauthorof
numerouspapersonthistopic(morethan150inint’lscientificjournals,andmorethan
JointworkwithDamienImbs,AchourMostéfaouiandMatthieuPerrin.