A compiler that increases the fault tolerance of asynchronous protocols
- 1 December 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 37 (12) , 1541-1553
- https://doi.org/10.1109/12.9732
Abstract
A compiler that increases the fault tolerance of certain asynchronous protocols is presented. Specifically, it transforms a source protocol that is resilient to crash faults into an object protocol that is resilient to Byzantine faults. The compiler simplifies the design of protocols for the Byzantine fault model because it allows the design process to be broken in two steps. The first step is to design a protocol for the crash fault model. The second step, which is completely mechanical, is to compile the protocol into one for the Byzantine fault model. The compiler is used to produce an asynchronous approximate agreement protocol that operates in the Byzantine fault model and improves in several respects on the performance of the asynchronous approximate agreement protocol of D. Dolev et al. (1986).Keywords
This publication has 9 references indexed in Scilit:
- Automatically increasing the fault-tolerance of distributed systemsPublished by Association for Computing Machinery (ACM) ,1988
- Asynchronous Byzantine agreement protocolsInformation and Computation, 1987
- On the minimal synchronism needed for distributed consensusJournal of the ACM, 1987
- Fault-tolerant decision making in totally asynchronous distributed systemsPublished by Association for Computing Machinery (ACM) ,1987
- Reaching approximate agreement in the presence of faultsJournal of the ACM, 1986
- Easy impossibility proofs for distributed consensus problemsDistributed Computing, 1986
- Asymptotically optimal algorithms for approximate agreementPublished by Association for Computing Machinery (ACM) ,1986
- Impossibility of distributed consensus with one faulty processJournal of the ACM, 1985
- Inexact agreementPublished by Association for Computing Machinery (ACM) ,1985