Quelques contributions à la stabilisation instantanée: Algorithmes tolérants efficacement les fautes transitoires - Softcover

Devismes, Stéphane

Softcover

ISBN 10: 6131511292 ISBN 13: 9786131511295

Publisher: Éditions universitaires européennes, 2010

Synopsis

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.

About this title

About the Author

Stéphane Devismes est maître de conférences à l'Université JosephFourier de Grenoble. Il a obtenu en 2006 un doctorat del'Université de Picardie Jules Verne d'Amiens. Il est l'auteurd'une trentaine d'articles dans le domaine de l'algorithmiquedistribuée. Ses recherches sont centrés sur la tolérance auxpannes dans les systèmes réparties.

Edition details

• Publisher: Éditions universitaires européennes
• Publication date: 2010
• Language: French
• ISBN 10: 6131511292
• ISBN 13: 9786131511295
• Binding: Paperback
• Number of pages: 208