Auto-stabilisation en Compétition
(informatique distribuée, réseaux)Lieu du stage : LIP6, 104 avenue du Président Kennedy, 75016 Paris, France Équipe : NPA, Projet INRIA Grand Large
Directeur de stage : Sébastien Tixeuil ([email protected])
Présentation générale du domaine :
L’auto-stabilisation a été définie il y a une trentaine d’années par Dijkstra comme la propriété d’un système réparti de retrouver un comportement correct en un temps fini sans intervention extérieure. L’auto-stabilisation est un moyen efficace de se prémunir contres des défaillances transitoires qui peuvent corrompre les mémoires des nœuds d’un réseau ou le contenu des canaux de communications.
De manière générale, la littérature en auto-stabilisation fait l’hypothèse que les nœuds coopèrent pour résoudre un problème commun. La difficulté vient du fait que le système peut être démarré dans un état arbitraire et que les conditions d’ordonnancement des nœuds (définies par le démon) peuvent conduire à la non-stabilisation du système.
Objectifs du stage :
L’objectif de ce stage est de définir une nouvelle notion dérivée de l’auto-stabilisation : l’auto- stabilisation en compétition. Plutôt que d’avoir l’ensemble des nœuds qui luttent contre l’environnement pour résoudre un problème commun, on suppose que les nœuds sont partitionnés en plusieurs groupes, et que chaque groupe résout un problème qui lui est propre (en pratique les groupes résolvent les mêmes problèmes mais avec des paramètres d’entrée différents). Par exemple, on peut imaginer deux groupes de nœuds désireux de construire un arbre couvrant, mais le premier groupe cherche à minimiser la latence alors que le deuxième groupe cherche à maximiser le débit.
Pour simplifier l’environnement, on supposera que l’état initial peut être arbitraire, mais que l’ordonnancement du système est simple et connu à l’avance par tous les nœuds du système. On étudiera les hypothèses et implications des algorithmes auto-stabilisants en compétition, et on développera sur un exemple un tel algorithme.
Compétences espérées :
Algorithmique distribuée, complexité algorithmique.
