All-to-All Gradecast Using Coding with Byzantine Failures
- 566 Downloads
This paper presents a method that uses forward error correction codes to minimize the message bit complexity when acquiring consistent global information in the presence of faulty processes. We show a modification to the gradecast algorithm that implements our method. Gradecast, first proposed by Feldman and Micali, is a broadcast algorithm for distributed systems that can handle Byzantine failures. It can be used as a basic building block to solve many important problems in distributed computing in the presence of Byzantine failures, such as agreement, clock synchronization, and approximate agreement. Many of these problems require a step where all processes need to send information to all other processes. We refer to the version of gradecast where all processes broadcast to all other processes as all-to-all gradecast. In a distributed system with n processes, n instances of the original gradecast algorithm to perform all-to-all gradecast has a message bit complexity of O(mn 3), where m is the length of the message. In this paper, we present an all-to-all gradecast algorithm that takes O(mtn 2) message bits, where t is the maximum number of faulty processes. This is a significant reduction in message bit complexity in real systems where t < < n. Our all-to-all gradecast algorithm uses coding theory to mask Byzantine failures and has wide applicability in distributed systems. For example, by replacing the original gradecast in the byzantine agreement algorithm proposed by Ben-Or, Dolev and Hoch with O(mtn 3) message bit complexity, we get a new byzantine agreement algorithm with O(mt 2 n 2) message bit complexity. Also, this algorithm can be used with their approximate agreement algorithm to get O(kn 2 t) instead of O(kn 3) message bit complexity.
KeywordsCorrect Process Clock Synchronization Broadcast Algorithm Faulty Process Approximate Agreement
Unable to display preview. Download preview PDF.
- 2.Ben-Or, M., Dolev, D., Hoch, E.N.: Simple gradecast based algorithms (September 2010), http://arxiv.org/abs/1007.1049
- 3.Roth, R.M.: Introduction to coding theory. Cambridge University Press (2006)Google Scholar
- 6.Coan, B.A., Welch, J.L.: Modular construction of a byzantine agreement protocol with optimal message bit complexity. Information and Computation, 97(1), 61–85 (1992), http://www.sciencedirect.com/science/article/pii/089054019290004Y
- 8.Hélary, J.-M., Hurfin, M., Mostéfaoui, A., Raynal, M., Tronel, F.: Computing global functions in asynchronous distributed systems prone to process crashes. In: International Conference on Distributed Computing Systems, pp. 584–591 (2000)Google Scholar
- 10.Liang, G., Vaidya, N.H.: Error-free multi-valued consensus with byzantine failures. CoRR, vol. abs/1101.3520 (2011)Google Scholar
- 14.Parchive: Parity archive tool, http://parchive.sourceforge.net/
- 16.Partow, A.: Schifra reed-solomon error correcting code library, http://www.schifra.com/