Élection auto-stabilisante déterministe pour la matière programmable avec une mémoire constante
Résumé
Le problème de l'élection est une primitive importante pour de nombreux systèmes distribués. Les systèmes de matière programmable sont constitués d'entités computationnelles, appelées particules, qui ont une mémoire de taille constante. Nous considérons des systèmes de matière programmable qui forment un sous-ensemble simplement connexe de la grille triangulaire. Dans ce contexte, nous présentons un algorithme d'élection auto-stabilisant silencieux, déterministe et stationnaire. Notre algorithme est le premier algorithme auto-stabilisant déterministe pour la matière programmable qui élit une particule unique lorsque certaines hypothèses sur l'ordonnanceur sont satisfaites [Gouda, 2001]. Notre résultat est surprenant car dans un réseau arbitraire, tout algorithme d'élection auto-stabilisant silencieux nécessite que chaque noeud ait Ω(log n) bits de mémoire [Dolev, 1999].
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |