Overview

Ce livre traite de la stabilisation instantane, une nouvelle approche pour la tolrance aux pannes dans les systmes distribus. Aprs avoir dfini formellement la stabilisation instantane, nous illustrons l'approche en tudiant plusieurs applications instantanment stabilisantes. Tout d'abord, deux parcours en profondeur pour des rseaux quelconques. Ces deux protocoles sont crits dans le modle tats et fonctionnent avec un dmon distribu inquitable. Le premier est bas sur des listes d'identits. Le second utilise un principe de question. Nous proposons ensuite deux applications instantanment stabilisantes obtenues partir de nos deux parcours en profondeur. Enfin, nous adoptons une approche plus gnrale en proposant un transformateur de protocoles vagues mono-initiateurs en protocoles instantanment stabilisants. Des protocoles de parcours en profonde ur et de construction d'arbre en largeur illustrent la puissance de notre mthode de transformation. Enfin, gr[ce une proprit de comptage de notre transformateur, nous montrons comment utiliser ce protocole de parcours pour rsoudre en quelques lignes l'exclusion mutuelle de manire instantanment stabilisante.

Full Product Details

9786131511295

Table of Contents

Reviews

Author Information

Tab Content 6

Countries Available