Quelques contributions à la stabilisation instantanée

Ce livre traite de la stabilisation instantanée, une nouvelle approche pour la tolérance aux pannes dans les systèmes distribués. Après avoir défini formellement la stabilisation instantanée, nous illustrons l'approche en étudiant plusieurs applications instantanément stabilisantes. Tout d'abord, deux parcours en profondeur pour des réseaux quelconques. Ces deux protocoles sont écrits dans le modèle à états et fonctionnent avec un démon distribué inéquitable. Le premier est basé sur des listes d'identités. Le second utilise un principe de question. Nous proposons ensuite deux applications instantanément stabilisantes obtenues à partir de nos deux parcours en profondeur. Enfin, nous adoptons une approche plus générale en proposant un transformateur de protocoles à vagues mono-initiateurs en protocoles instantanément stabilisants. Des protocoles de parcours en profonde ur et de construction d'arbre en largeur illustrent la puissance de notre méthode de transformation. Enfin, grâce à une propriété de comptage de notre transformateur, nous montrons comment utiliser ce protocole de parcours pour résoudre en quelques lignes l'exclusion mutuelle de manière instantanément stabilisante.