Stabilisation instantan´ee et fautes byzantines
(Informatique distribu´ee, r´eseaux)
Lieu du stage : LIP6, Campus Jussieu, 4 place Jussieu, 75005 Paris, France.
Equipe :´ Equipe-projet INRIA REGAL, ´´ Equipe NPA.
Directeur du stage : DUBOIS Swan ([email protected]) et TIXEUIL S´ebastien ([email protected]).
1 Contexte
La tol´erance aux pannes (aussi appel´ees fautes) est une des pr´eoccupations importantes de la communaut´ee des syst`emes distribu´es. C’est pourquoi de nombreuses techniques ont vu le jour pour permettre `a un tel syst`eme de fonctionner malgr´e l’occurrence de fautes. Chaque technique (stabilisation, robustesse, confinement de fautes...) priviligie une d´efinition particuli`ere d’une faute et du concept de tol´erance.
Dans ce stage, on se concentrera sur l’approche stabilisante. Dans cette derni`ere, on suppose que le syst`eme est atteint pendant un temps fini par un nombre quelconque de fautes transitoires. Le syst`eme doit alors retrouver de lui-mˆeme un comportement conforme `a ses sp´ecifications en un temps fini. Un tel syst`eme est dit auto-stabilisant.
Si, de plus, ce temps de stabilisation est nul, le syst`eme est alors qualifi´e d’instantan´ement stabilisant.
Ces derni`eres ann´ees, une classe particuli`ere d’algorithme a ´et´e d´efinie. Ils sont auto-stabilisant et, de plus, capable de tol´erer des fautes byzantines permanentes. Selon le degr´e de tol´erance atteint, ces algorithmes sont qualifi´es deauto-stabilisant tol´erant aux fautes, destrictement stabilisant ou defortement stabilisant. A ce jour, il n’existe pas de tel concept de tol´erance en stabilisation instantan´ee.
C’est pourquoi ce stage propose de s’int´eresser au probl`eme du confinement de fautes permanentes dans un syst`eme instantan´ement stabilisant.
2 Objectifs du stage
L’objectif global du stage est l’´etude des syst`emes instantan´ement stabilisants r´esistants aux fautes byzantines permanentes.
La premi`ere partie du stage consistera en une ´etude bibliographique concernant l’auto-stabilisation, la stabilisa- tion instantan´ee et ses variantes tol´erant les fautes byzantines permanentes. Ensuite, il faudra d´efinir un nouveau crit`ere de tol´erance alliant stabilisation instantan´ee et confinement de fautes permanentes. La suite du stage com- portera une ´etude algorithmique compl`ete (i.e. ´ecriture, preuve et analyse d’algorithmes) du probl`eme. On pourra notamment se concentrer sur les points suivants:
1. R´esultats d’impossibilit´e pour certains probl`emes classiques des syst`emes distribu´es.
2. R´esultats de borne inf´erieure sur les rayons de confinement ou d’autres mesures de complexit´e.
3. ´Ecriture d’algorithmes pour certains probl`emes classiques des syst`emes distribu´es.
3 Comp´ etences esp´ er´ ees
Algorithmique distribu´ee, complexit´e algorithmique.
1
