Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
Résumé
A self-stabilizing protocol has the capacity to recover a legitimate behavior whatever is its initial state. The majority of works in self-stabilization assume a shared memory model or a communication using reliable and FIFO channels. In this article, we interest in self-stabilizing systems using bounded but non reliable and non FIFO channels. We propose a stabilizing communication protocol with optimal fault resilience. In more details, this protocol simulates a reliable and FIFO channel and ensures a minimal number of looses, duplications, creations, and re-ordering of messages.
Un protocole auto-stabilisant a la capacité de converger vers un comportement correct quel que soit son état initial. La grande majorité des travaux en auto-stabilisation supposent une communication par mémoire partagée ou bien à travers des canaux de communication fiables et FIFO. Dans cet article, nous nous intéressons aux systèmes auto-stabilisants à passage de messages à travers des canaux de capacité bornée mais non fiables et non FIFO. Nous proposons un protocole de communication (entre voisins) stabilisant et offrant une tolérance optimale. Plus précisèment, ce protocole simule un canal de communication fiable et FIFO garantissant un nombre minimal de pertes, de duplications, de créations et de ré-ordonnancements de messages.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...