This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Compiler that Increases the Fault Tolerance of Asynchronous Protocols
December 1988 (vol. 37 no. 12)
pp. 1541-1553
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

[1] G. Bracha, "Asynchronous Byzantine agreement protocols,"Inform. Computat., vol. 75, pp. 130-143, Nov. 1987.
[2] M. F. Bridgland and R. J. Watro, "Fault-tolerant decision making in totally asynchronous distributed systems," inProc. Sixth Annu. ACM Symp. Principles Distributed Comput., Aug. 1987, pp. 52- 63.
[3] B. A. Coan, "Achieving consensus in fault-tolerant distributed computer systems: Protocols, lower bounds, and simulations," Ph.D. dissertation, Massachusetts Instit. of Technol., Apr. 1987.
[4] D. Dolev, C. Dwork, and L. Stockmeyer, "On the minimal synchronism needed for distributed consensus,"J. ACM, vol. 34, no. 1, pp. 77-97, Jan. 1987.
[5] D. Dolev, N. A. Lynch, S. S. Pinter, E. W. Stark, and W. E. Weihl, "Reaching approximate agreement in the presence of faults,"J. ACM, vol. 33, pp. 499-516, July 1986.
[6] A. D. Fekete, "Asymptotically optimal algorithms for approximate agreement," inProc. Fifth Annu. ACM Symp. Principles Distributed Comput., Aug. 1986, pp. 73-87.
[7] M. J. Fischer, N. A. Lynch, and M. Merritt, "Easy impossibility proofs for distributed consensus problems,"Distributed Comput., vol. 1, pp. 26-39, Jan. 1986.
[8] M. J. Fischer, N. A. Lynch, and M. S. Paterson, "Impossibility of distributed consensus with one faulty process,"J. ACM, vol. 32, no. 2, pp. 374-382, Apr. 1985.
[9] S. R. Mahaney and F. B. Schneider, "Inexact agreement: Accuracy, precision, and graceful degradation," inProc. Fourth Annu. ACM Symp. Principles Distributed Comput., Aug. 1985, pp. 237-249.
[10] G. Neiger and S. Toueg, "Automatically increasing the fault-tolerance of distributed systems," inProc. Seventh Annu. ACM Symp. Principles Distributed Comput., Aug. 1988, pp. 248-262.

Index Terms:
compiler; fault tolerance; asynchronous protocols; Byzantine faults; approximate agreement protocol; fault tolerant computing; program compilers; protocols.
Citation:
B.A. Coan, "A Compiler that Increases the Fault Tolerance of Asynchronous Protocols," IEEE Transactions on Computers, vol. 37, no. 12, pp. 1541-1553, Dec. 1988, doi:10.1109/12.9732
Usage of this product signifies your acceptance of the Terms of Use.