The Community for Technology Leaders
Green Image
Issue No. 04 - April (2004 vol. 53)
ISSN: 0018-9340
pp: 453-466
ABSTRACT
To solve consensus, distributed systems have to be equipped with oracles such as a failure detector, a leader capability, or a random number generator. For each oracle, various consensus algorithms have been devised. Some of these algorithms are indulgent toward their oracle in the sense that they never violate consensus safety, no matter how the underlying oracle behaves. This paper presents a simple and generic indulgent consensus algorithm that can be instantiated with any specific oracle and be as efficient as any ad hoc consensus algorithm initially devised with that oracle in mind. The key to combining genericity and efficiency is to factor out the <it>information structure</it> of indulgent consensus executions within a new distributed abstraction, which we call "Lambda.” Interestingly, identifying this information structure also promotes a fine-grained study of the inherent complexity of indulgent consensus. We show that instantiations of our generic algorithm with specific oracles, or combinations of them, match lower bounds on oracle-efficiency, zero-degradation, and one-step-decision. We show, however, that no leader or failure detector-based consensus algorithm can be, at the same time, zero-degrading and configuration-efficient. Moreover, we show that leader-based consensus algorithms that are oracle-efficient are inherently zero-degrading, but some failure detector-based consensus algorithms can be both oracle-efficient and configuration-efficient. These results highlight some of the fundamental trade offs underlying each oracle,
INDEX TERMS
Asynchronous distributed system, consensus, crash failure, fault tolerance, indulgent algorithm, information structure, leader oracle, modularity, random oracle, unreliable failure detector.
CITATION
Rachid Guerraoui, Michel Raynal, "The Information Structure of Indulgent Consensus", IEEE Transactions on Computers, vol. 53, no. , pp. 453-466, April 2004, doi:10.1109/TC.2004.1268403
97 ms
(Ver 3.3 (11022016))