Quelques contributions à la stabilisation instantanée

Francúzsky jazyk

Quelques contributions à la stabilisation instantanée

Vydavateľstvo: Éditions universitaires européennes
Rok vydania: 2010
Formát: Paperback
Rozmer: 220 x 150 mm
Jazyk: Francúzsky jazyk
ISBN: 9786131511295

Na objednávku

70.30 €

bežná cena: 74.00 €

O knihe

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.