Issue No. 07 - July (2006 vol. 55)
ISSN: 0018-9340
pp: 843-853
ABSTRACT
The condition-based approach is one of the sophisticated methods used to overcome several impossibility results in the distributed consensus problem (e.g., impossibility of fault tolerance in asynchronous consensus or time complexity lower bounds in synchronous consensus). It introduces conditions on input vectors to specify subsets of all possible input vectors to consensus algorithms and condition-based algorithms can circumvent the impossibility if actual input vectors satisfy a particular condition. In this paper, we present a new condition-based paradigm for synchronous consensus. We introduce the new concept of adaptation on the time complexity of condition-based algorithms and present the adaptive condition-based approach to synchronous consensus. In our approach, all possible input vectors are classified into hierarchical conditions according to their difficulty called the legality level. The execution time of adaptive condition-based algorithms depends on the legality level of input vectors. We propose two adaptive condition-based algorithms for synchronous consensus. The first algorithm requires that the majority of processes be correct, and terminates within \min\{f + 2, t+ 1\} - l rounds if l < f, where f and t are the actual and the maximum numbers of faults, respectively, and l is the legality level of the input vector. Moreover, the algorithm terminates in one round if l \geq t and f=0 and terminates within two rounds if l \geq f holds. Compared with previous algorithms, this algorithm achieves the best time complexity. The second algorithm can tolerate any number of faults, and terminates within \max\{3, \min\{f + 3, t + 2\} - l\} rounds if l < f holds, terminates in one round if l \geq t and f=0, and terminates within three rounds if l \geq f holds.
INDEX TERMS
Distributed algorithm, synchronous system, consensus problem, fault tolerance, crash fault, condition-based approach, adaptiveness.
CITATION
Toshimitsu Masuzawa, Taisuke Izumi, "Condition Adaptation in Synchronous Consensus", IEEE Transactions on Computers, vol. 55, no. , pp. 843-853, July 2006, doi:10.1109/TC.2006.99