Causal Mutual Byzantine Broadcast
Résumé
Récemment, la primitive de diffusion mutual-broadcast a été introduite pour capturer la propriété temporelle nécessaire et suffisant à l'implémentation d'un registre atomique dans un système tolérant les pannes. Plus précisément, mutual-broadcast permet à tout processus d'émettre des messages, qui seront reçus par tous les processus. La propriété fondamentale est qu'il est impossible que deux processus "s'ignorent mutuellement", c'est-à-dire que chacun émette un message, puis que chacun reçoive son propre message localement avant le message de l'autre processus. Dans ce rapport, nous étendons le travail réalisé sur mutual-broadcast aux systèmes soumis aux fautes byzantines. Dans un premier temps, nous montrons qu'il est nécessaire d'ajouter la propriété de réception causale pour que mutual-broadcast reste équivalent aux registres atomiques dans un contexte byzantin, et nous spécifions plus précisément causal-mutual-broadcast. Dans un deuxième temps, nous proposons un algorithme pour implémenter causal-mutual-broadcast et pouvant supporter jusqu'à t < n/3 processus byzantins parmi n processus.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|