Mariage maximal auto-stabilisant et systèmes répartis dynamiques
Encadrants : Swan Dubois et Franck Petit Équipes : Équipe-projet Inria REGAL
Laboratoire : LIP6, Campus Jussieu, 4 place Jussieu, 75005 Paris, France Mail : <Prenom>.<Nom>@lip6.fr
Contexte
Ce stage propose de s’intéresser au problème du mariage maximal dans les systèmes répartis. Si on représente le réseau de communication par un graphe non-orienté, ce problème revient, dans un système réparti statique, à calculer un couplage maximal de ce graphe de manière répartie. Ce problème classique a de nombreuses applications dans différents protocoles réseaux et a été largement étudié dans la litérature, y compris de manière tolérante aux pannes.
En effet, la tolérance aux pannes (aussi appelées fautes) est une des préoccupations importantes de la communautée des systèmes répartis. C’est pourquoi de nombreuses techniques ont vu le jour pour permettre à un tel système de fonctionner malgré l’occurrence de fautes. Chaque technique (stabilisation, robustesse, confinement de fautes...) priviligie une définition particulière d’une faute et du concept de tolérance.
Dans ce stage, on se concentrera sur l’approche stabilisante. Dans cette dernière, on suppose que le système est atteint pendant un temps fini par un nombre quelconque de fautes transitoires (i.e. de durée finie). Le système doit alors retrouver de lui-même un comportement conforme à ses spécifications en un temps fini. Un tel système est dit auto-stabilisant. Il existe de nombreux algorithmes auto-stabilisants pour le mariage maximal dans les systèmes statiques.
Cependant, la dynamique et la mobilité des composants tendent à devenir la norme dans les systèmes ré- partis actuels. Ces contraintes requièrent de nouveaux modèles afin de prendre en compte les caractéristiques propres de ces systèmes comme la mobilité des composants. Ces dernières années, un modèle semble s’impo- ser pour l’étude des systèmes répartis dynamiques : lesTime Varying Graphs(TVG). À notre connaissance, il n’existe pas de solutions réparties au problème du mariage maximal dans ce modèle.
Objectifs du stage
L’objectif global du stage est l’étude du mariage maximal auto-stabilisant dans les systèmes répartis dynamiques, plus spécifiquement dans le modèle des TVG. La première partie du stage consistera en une étude bibliographique concernant les TVG, le mariage maximal et l’auto-stabilisation. La suite du stage consistera en une étude algorithmique complète du problème. On se concentrera sur les points suivants :
1. Spécification du mariage maximal dans le cadre dynamique.
2. Écriture, preuve et analyse d’un algorithme auto-stabilisant pour cette spécification dans le modèle des TVG.
3. Caractérisation des hypothèses nécessaires sur la dynamique du système pour l’existence d’une solution auto-stabilisante au problème.
1