Abstract
A distributed task T is 1-solvable if there exists a protocol that solves it in the presence of (at most) one crash failure. A precise characterization of the 1-solvable tasks was given in [BMZ]. In this paper we determine the number of rounds of communication that are required, in the worst case, by a protocol which 1-solves a given 1-solvable task T for n processors. We define the radius R (T) of T, and show that if R (T) is finite, then this number is Θ(log n R (T)); more precisely, we give a lower bound of log(n−1)R(T), and an upper bound of 2+[log(n−1) R(T)]. The upper bound implies, for example, that each of the following tasks: renaming, order preserving renaming ([ABDKPR]) and binary monotone consensus [BMZ] can be solved in the presence of one fault in 3 rounds of communications. All previous protocols that 1-solved these tasks required Ω(n) rounds. The result is also generalized to tasks whose radii are not bounded, e.g., the approximate consensus and its variants [DLPSW, BMZ].
Extended Abstract
This research was supported in part by Technion V.P.R. Funds — Wellner Research Fund and Loewengart Research Fund, and by the Foundation for Research in Electronics, Computers and Communications, administrated by the Israel Academy of Sciences and Humanities.
Preview
Unable to display preview. Download preview PDF.
References
C. Attiya, A. Bar-Noy, D. Dolev, D. Koller, D. Peleg, R. Reischuk, Achievable cases in an asynchronous environment, Proc. of the 28th FOCS, October 1987, pp. 337–346.
O. Biran, S. Moran and S. Zaks, A combinatorial characterization of the distributed tasks which are solvable in the presence of one faulty processor, Proc. of the 7th PODC, 1988, pp. 263–273.
D. Dolev, C. Dwork and L. Stockmeyer, On the minimal synchronism needed for distributed consensus, Journal of the ACM, Vol. 34 no. 1, pp. 77–97.
D. Dolev, N. A. Lynch, S. Pinter, E. Stark and W. Weihl, Reaching approximate agreement in the presence of faults, Journal of the ACM, Vol. 33 no. 3 (1986), pp. 499–516.
A. D. Fekete, Asynchronous Approximate Agreement, Proc. of the 6th PODC, 1987, pp. 64–76.
G. N. Frederickson and N. A. Lynch, Electing a leader in a synchronous ring Journal of the ACM, Vol. 34 No. 1 (1987), pp. 98–115.
M. J. Fischer, N. A. Lynch and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, Vol. 32 No. 2 (1985), pp. 373–382.
E. Korach, S. Moran and S. Zaks, Tight lower and upper bounds for some distributed algorithms for a complete network of processors, Proc. of the 3rd PODC, pp. 199–207.
S. Moran and Y. Wolfstahl, Extended impossibility results for asynchronous complete networks, Information Processing Letters, 26, 1987, pp. 145–151.
G. Neiger and S. Toueg, Automatically increasing the Fault-tolerance of distributed systems, Proc. of the 7th PODC, pp. 248–262.
G. Taubenfeld, S. Katz and S. Moran, Initial failures in distributed computations, to appear in Journal of Parallel and Distributed Computing.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Biran, O., Moran, S., Zaks, S. (1991). Tight bounds on the round complexity of distributed 1-solvable tasks. In: van Leeuwen, J., Santoro, N. (eds) Distributed Algorithms. WDAG 1990. Lecture Notes in Computer Science, vol 486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54099-7_25
Download citation
DOI: https://doi.org/10.1007/3-540-54099-7_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54099-1
Online ISBN: 978-3-540-47405-0
eBook Packages: Springer Book Archive