Master 2014 2015
Stages de la spécialité SAR
Enabling clusters with Dynamic Distributed Systems


Site :Team-project REGAL
Lieu :LIP6, project-team Inria REGAL, Campus Jussieu, 4 place Jussieu, 75005 Paris, France
Encadrant : Swan Dubois and Franck Petit <firstname>.<lastname>@lip6.fr
Dates :March to August 2015 (6 months)
Rémunération :Regular internship gratification by Labex SMART
Mots-clés : Master SAR, autre qu’ATIAM

Description

Context

The availability of wireless communications has drastically increased in recent years and established new applications. Humans, agents, devices, robots, and applications interact together through more and more heterogeneous infrastructures, such as mobile ad hoc networks (MANET), vehicular networks (VANET), (mobile) sensor and actuator networks (SAN), body area networks (BAN), as well as always evolving network infrastructures on the Internet. In such networks, items (users, links, equipments, etc.) may join, leave, or move inside the network at unforeseeable times.

The dynamics of such networks, the heterogeneity of devices, usages, and participants, and often the unprecedented scale to consider, make the design of such infrastructures extremely challenging. For a vast majority of them, the dynamics are also unpredictable. Furthermore, designing applications on top of such networks requires to deal with the lack of infrastructure and numerous topological changes.

Therefore, it becomes necessary to define and to develop new accurate models capturing the features of the considered objects : users’ mobility, system stability, dynamics of applications, etc. On the top of this, operating systems and applications are required to have self-* attributes, such as self-organized, self-healing, self-configuring, self-managed, self-optimized, etc. Such distributed architectures are sometime gathered under the generic term of Autonomic Computing, referring to self-* properties of distributed systems adapting to unpredictable topological changes.

Clustering is a well-known and widely used technique to structure and organize networks. It aims at arranging the nodes of the network into groups according to some metrics, e.g., the distance with respect to some particular nodes in terms of hops or times, the node load, geographic location, community gathering, network technology, applications, etc. Clustering mainly leads to organize the network hierarchically.

Internship Assignment

We propose to focus on the particular problem of Maximal Independent Set (MIS) construction. An independent set is a set of non adjacent processes of the system. An independent set is maximal if it is not a subset of any other independent set. Classically, MIS is use to ``span’’ the system with a sparse set of processes. More specifically, MIS is particularly relevant in the context of wireless networks because it can be used as an initial and basic spanning distributed structure.

Whereas independent set construction was extensively studied in the context of static distributed systems, this problem does not receive any attention in dynamic systems at the best of our knowledge. The main goal of this project is to fill this gap.

More precisely, the internship aims at studying the MIS problem within highly dynamic distributed systems, unified in a framework called Time-Varying Graphs (TVG), which are represented as time-ordered sequences of graphs defined over a fixed set of nodes.

The scientific agenda is mainly threefold :

  • Studying independence problems in the context of TVG with the goal to define (maximal) independent sets that make sense in dynamic systems ;
  • Second, the main challenge is to produce necessary and sufficient conditions to enable existence of (maximal) independent sets in highly dynamic systems ;
  • Third, we would like to design some distributed algorithms that meet these necessary and sufficient conditions in order to obtain optimal solutions (with respect to impossibility results).

Bibliographie

Yehuda Afek, Noga Alon, Ziv Bar-Joseph, Alejandro Cornejo, Bernhard Haeupler, and Fabian Kuhn. Beeping a maximal independent set. Distributed Computing, 26(4):195–208, 2013.

Arnaud Casteigts, Paola Flocchini, Walter Quattrociocchi, and Nicola Santoro. Time-varying graphs and dynamic networks. IJPEDS, 27(5):387–408, 2012.

Richard Cole and Uzi Vishkin. Deterministic coin tossing and accelerating cascades : micro and macro techniques for designing parallel algorithms. In Proceedings of the 18th Annual ACM Symposium on Theory of Computing, May 28-30, 1986, Berkeley, California, USA, pages 206–219, 1986.

Nabil Guellati and Hamamache Kheddouci. A survey on self-stabilizing algorithms for independence, domination, coloring, and matching in graphs. J. Parallel Distrib. Comput., 70(4):406–415, 2010.

Nathan Linial. Locality in distributed graph algorithms. SIAM J. Comput., 21(1):193–201, 1992.

Thomas Moscibroda and Rogert Wattenhofer. Maximal independent sets in radio networks. In Proceedings of the Twenty-fourth Annual ACM Symposium on Principles of Distributed Computing, PODC ’05, pages 148–157. ACM, 2005.

Johannes Schneider and Roger Wattenhofer. An optimal maximal independent set algorithm for bounded-independence graphs. Distributed Computing, 22(5-6):349–361, 2010.