Quelques contributions à la stabilisation instantanée / Stéphane Devismes ; sous la dir.de Alain Cournier et Vincent Villain

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2006

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Tolérance aux fautes (informatique)

Autostabilisation (informatique)

Villain, Vincent (Directeur de thèse / thesis advisor)

Cournier, Alain (Directeur de thèse / thesis advisor)

Université de Picardie Jules Verne (1968-....) (Organisme de soutenance / degree-grantor)

Relation : Quelques contributions à la stabilisation instantanée / Stéphane Devismes / Villeurbanne : [CCSD] , 2007

Relation : Quelques contributions à la stabilisation instantanée / Stéphane Devismes ; sous la dir.de Alain Cournier et Vincent Villain / Lille : Atelier national de reproduction des thèses , 2006

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.