Date : 2007
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Tolérance aux fautes (informatique)
Autostabilisation (informatique)
Accès en ligne / online access
Résumé / Abstract : Dans cette thèse, nous avons tout d'abord proposé deux parcours en profondeur instantanément stabilisants 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 profondeur et de construction d'arbre en largeur illustrent notre méthode de transformation. Enfin, grâce à une propriété de comptage due à notre transformateur, nous montrerons comment utiliser ce protocole de parcours pour résoudre en quelques lignes l'exclusion mutuelle de manière instantanément stabilisante.