Simple Bivalency Proofs of the Lower Bounds in Synchronous Consensus Problems
Author(s)Wang, Xianbing; Teo, Yong Meng; Cao, Jiannong
A fundamental problem of fault-tolerant distributed computing is for the reliable processes to reach a consensus. For a synchronous distributed system of n processes with up to t crash failures and f failures actually occur, we prove using a straightforward bivalency argument that the lower bound for reaching uniform consensus is (f + 2)-rounds in the case of 0 < f â¤ t â2, and a new lower bound for early-stopping consensus is min (t + 1, f + 2)-rounds where 0 â¤ f â¤ t. Both proofs are simpler and more intuitive than the traditional methods such as backward induction. Our main contribution is that we solve the open problem of proving that bivalency can be applied to show the (f + 2)-rounds lower bound for synchronous uniform consensus.
Computer Science (CS);
consensus, synchronous distributed system, bivalency, early-stopping.