Auto-stabilisation et Green Networking
Lieu du stage : LIP6, 4 place Jussieu, 75005 Paris, France Équipe : NPA
Directeur de stage : Sébastien Tixeuil (tixeuil@lri.fr)
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 d'ajouter aux contraintes habituelles en auto-stabilisation des contraintes énergétiques sur les machines participantes. Les routeurs sensibles à l'énergie consommée permettent de décroître significativement la consommation si certains ports demeurent inutilisés.
L'absence de communication à certains voisins pour des raisons énergétiques semble contradictoire avec une auto-stabilisation rapide, car habituellement, plus on échange de données et plus on converge rapidement vers un comportement correct.
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 dans un contexte d'économie d'énergie, et on développera sur un exemple un tel algorithme.
Compétences espérées :
Algorithmique distribuée, complexité algorithmique. Il est fortement conseillé d'avoir suivi l'UE RAD.
Le stage est collaboration avec l'équipe du Professeur Toshimitsu Masuzawa de l'Université d'Osaka au Japon.