Abstract
Condition-Based Approach studies restrictions on the inputs of a distributed problem, called conditions, to circumvent several impossibility results. Especially, for the synchronous consensus problem, the relation between conditions and time complexity bounds has been studied. In our previous work [12], we introduced the adaptiveness on time complexity of the condition-based approach, and established the adaptive condition-based approach: It classifies all possible input vectors into the hierarchical sequence of conditions according to their difficulty called legality level. For such hierarchy, adaptive algorithms achieve time complexity depending on the legality level of input vectors. In this paper, we propose an improved version of the adaptive condition-based algorithms for synchronous consensus that achieves better time complexity than the previous one. On the assumption that majority of processes are correct, the proposed algorithm terminates within min{f+2, t+1} rounds if l < f, where f and t is the actual and the maximum numbers of faults respectively, and l is the legality level of input vectors. Moreover, the algorithm terminates in 1 round if l ≥ t and f = 0, and terminates within 2 rounds if l ≥ f holds. Compared with our previous algorithm, the proposed algorithm improves time complexity by one round in the case of f = t and l > f.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Attiya, H., Welch, J.L.: Sequential consistency versus linearizability. ACM Transactions on Computer Systems 12(2), 91–122 (1994)
Ben-Or, M.: Another advantage of free choice (extended abstract): Completely asynchronous agreement protocols. In: Proc. of the second annual ACM symposium on Principles of distributed computing (PODC), pp. 27–30 (1983)
Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43(2), 225–267 (1996)
Charron-Bost, B., Schiper, A.: Uniform consensus is harder than consensus. Journal of Algorithms 51, 15–37 (2004)
Dolev, D., Dwork, C., Stockmeyer, L.: On the minimal synchronism needed for distributed consensus. Journal of the ACM 34(1), 77–97 (1987)
Dolev, D., Reischuk, R., Strong, R.: Early stopping in byzantine agreement. Journal of ACM 37(4), 720–741 (1990)
Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. Journal of the ACM 35(2), 288–323 (1988)
Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. Journal of the ACM 32(2), 374–382 (1985)
Guerraoui, R.: Revisiting the relationship between non-blocking atomic commitment and consensus. In: Helary, J.-M., Raynal, M. (eds.) WDAG 1995. LNCS, vol. 972. Springer, Heidelberg (1995)
Hadzilacos, V., Toueg, S.: Fault-tolerant broadcasts and related problems. In: Mullender, S. (ed.) Distributed Systems, ch. 5, pp. 97–145. Addison-Wesley, Reading (1993)
Herlihy, M.: Wait-free synchronization. ACM Transactions on Programming Languages and Systems 13, 124–149 (1991)
Izumi, T., Masuzawa, T.: Synchronous condition-based consensus adapting to input-vector legality. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol. 3274, pp. 16–29. Springer, Heidelberg (2004)
Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)
Mostefaoui, A., Rajsbaum, S., Raynal, M.: Conditions on input vectors for consensus solvability in asynchronous distributed systems. Journal of the ACM 50(6), 922–954 (2003)
Mostefaoui, A., Rajsbaum, S., Raynal, M.: Using conditions to exppedite consensus in synchronous distributed systems. In: Fich, F.E. (ed.) DISC 2003. LNCS, vol. 2848, pp. 249–263. Springer, Heidelberg (2003)
Mostefaoui, A., Rajsbaum, S., Raynal, M.: The synchronous condition-based consensus hierarchy. In: Guerraoui, R. (ed.) DISC 2004. LNCS, vol. 3274, pp. 1–15. Springer, Heidelberg (2004)
Mostefaoui, A., Rajsbaum, S., Raynal, M., Roy, M.: Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. Distributed Computing 17(1), 1–20 (2004)
Raynal, M.: Consensus in synchronous systems: A concise guided tour. In: Proc. of Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 221–228 (2002)
Zibin, Y.: Condition-based consensus in synchronous systems. In: Fich, F.E. (ed.) DISC 2003. LNCS, vol. 2848, pp. 239–248. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Izumi, T., Masuzawa, T. (2005). An Improved Algorithm for Adaptive Condition-Based Consensus. In: Pelc, A., Raynal, M. (eds) Structural Information and Communication Complexity. SIROCCO 2005. Lecture Notes in Computer Science, vol 3499. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11429647_15
Download citation
DOI: https://doi.org/10.1007/11429647_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26052-3
Online ISBN: 978-3-540-32073-9
eBook Packages: Computer ScienceComputer Science (R0)