Issue No. 02 - April (1991 vol. 2)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.89066
<p>The problem of achieving consensus in a distributed system is discussed. Systems aretreated in which either or both of two types of faults may occur: dormant (essentiallyomission and timing faults) and arbitrary (exhibiting arbitrary behavior, commonly referred to as Byzantine). Previous results showed that are number of dormant faults may be tolerated when there are no arbitrary faults and that, at most, (n-1/3) arbitrary faults may be tolerated when there are no dormant faults (n is the number of processors). Acontinuum is established between the previous results: an algorithm exists if n(f/submax/+2m/sub max/) and c(f/sub max/+m/sub max/) (where c is the system connectivity),when faults are constrained so that there are at most f/sub max/ and at most m/submax/ of these that are arbitrary. An algorithm is given and compared to known algorithms. A method is given to establish virtual links so that the communications graph appears completely connected.</p>
Index Termsconsensus; distributed system; arbitrary behavior; Byzantine; dormant faults; arbitraryfaults; communications graph; distributed processing; fault tolerant computing
F. Meyer and D. Pradhan, "Consensus With Dual Failure Modes," in IEEE Transactions on Parallel & Distributed Systems, vol. 2, no. , pp. 214-222, 1991.