A Symmetric Synchrony Condition for Solving Byzantine Consensus

Olivier Baldellon 1 Achour Mostefaoui 1 Michel Raynal 1
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Résumé : Cet article démontre un résultat de minimalité dans la résolution du problème de consensus dans un système réparti ou certain processus (au plus t) des n processus du système peuvent exhiber un comportement byzantin. Il a été montré que si le système est asynchrone le consensus n'est pas décidable alors qu'il l'est dans un système synchrone. Il s'agit de montrer quel est le motif le plus faible formé de canaux de communications synchrones qui permet de rendre le consensus décidable. Cet article montre que si les messages sont signés, un motif appelé t-bisource est le motif minimal.
Type de document :
Communication dans un congrès
M.K. Aguilera et al. 12th International Conference on Distributed Computing and Networking (ICDCN 2011), Jan 2011, Bangalore, India. Springer Verlag, 6522, pp.215-226, 2011, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00544666
Contributeur : Achour Mostefaoui <>
Soumis le : mercredi 8 décembre 2010 - 16:10:40
Dernière modification le : mercredi 16 mai 2018 - 11:23:13

Identifiants

  • HAL Id : inria-00544666, version 1

Citation

Olivier Baldellon, Achour Mostefaoui, Michel Raynal. A Symmetric Synchrony Condition for Solving Byzantine Consensus. M.K. Aguilera et al. 12th International Conference on Distributed Computing and Networking (ICDCN 2011), Jan 2011, Bangalore, India. Springer Verlag, 6522, pp.215-226, 2011, LNCS. 〈inria-00544666〉

Partager

Métriques

Consultations de la notice

271