loading...
Lower Bounds for Achieving Synchronous Consensus with Orderly Crash Failure
Toronto, Canada June 22-June 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICDCSW.2007.4227th International Conference on Dist ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Rong Zhang, Wuhan University, China
Yong Meng Teo, National University of Singapore, Singapore
Qijuan Chen, Wuhan University, China
Xianbing Wang, Wuhan University, China
The time lower bounds for both uniform consensus and early stopping consensus have already been proved in synchronous distributed systems with crash failures, but both have not been proved with orderly crash failures and remain as open problems. This paper uses a bivalency argument proof to solve the two open problems. The first open problem is how to prove the lower bound, min (t + 1, f + 2) rounds, for early-stopping synchronous consensus with orderly crash failures, where t \le n - 1 and 0 \leqslant f \leqslant t - 1. The second problem is to prove that the lower bound for early deciding uniform consensus with orderly crash failures is (f + 2)-rounds where 0 \leqslant f \leqslant t - 2, and (f + 1)-rounds when f = t and t -1.
Citation:
Rong Zhang, Yong Meng Teo, Qijuan Chen, Xianbing Wang, "Lower Bounds for Achieving Synchronous Consensus with Orderly Crash Failure," icdcsw, pp.61, 27th International Conference on Distributed Computing Systems Workshops (ICDCSW'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions