Abstract
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as its basic distributed data structure, viz. a path reversal Iransformation in rooted n-node trees; besides, it was also the first one to achieve a logarithmic average-case message complexity. The present paper proposes a direct and general approach to compute the moments of the cost of path reversal. It basically uses one-one correspondences between combinatorial structures and the associated probability generating functions: the expected cost of path reversal is thus proved to be exactly H n−1 Moreover, time and message complexity of the algorithm as well as randomized bounds on its worst-case message complexity in arbitrary networks are also given. The average-case analysis of path reversal and the analysis of this distributed algorithm for mutual exclusion are thus fully completed in the paper. The general techniques used should also prove available and fruitful when adapted to the most efficient recent tree-based distributed algorithms for mutual exclusion which require powerful tools, particularly for average-case analyses.
Preview
Unable to display preview. Download preview PDF.
References
AGRAWAL D., A. EL ABBADI, An Efficient and Fault Tolerant Solution for Distributed Mutual Exclusion, ACM Transaction on Computer Systems, Vol. 9, No 1, 1–20, February 1991.
BOLLODÁS B., The Evolution of Sparse Graphs, Graph Theory and Combinatorics, 36–57, Academic Press 1984.
CARVALHO O.S.F., G. ROUCAIROL, On Mutual Exclusion in Computer Networks, Comm.of the ACM, Vol. 26, No 2, 145–147, February 1983.
FELLER W., An Introduction to Probability Theory and its Applications, 3rd Edition, Vol. I, Wiley, 1968.
FLAJOLET P., J. S. VITTER, Average-Case Analysis of Algorithms and Data Structures, Res. Rep. INRIA No 718, August 1987.
fRANCON J., G. VIENNOT, J. VUILLEMIN, Description and analysis of an Efficient Priority Queue Representation, Proceedings of the 19th Symposium on Foundations of Computer Science, 1–7, Ann Arbor, October 1978.
GINAT D., D. D. SLEATOR, R. E. TARJAN, A Tight Amortized Bound for Path Reversal, Information Processing Letters Vol. 31, 3–5, March 1989.
KNUTH D. E., The Art of Computer Programming, Vol. 1 & 3, 2nd ed., Addison-Wesley, Reading, MA, 1973.
LAMPORT L., Time, Clocks and the Ordering of Events in a Distributed System, Comm. of the ACM, Vol. 21, No 7, 558–565, July 1978.
MAEKAWA M., A √N Algorithm for Mutual Exclusion in Decentralized Systems, ACM Trans. on Computer Systems, Vol. 3, No 2, 145–159, May 1985.
NAÏMI M., M. TREHEL, An Improvement of the log n Distributed Algorithm for the Mutual Exclusion, Proceedings of the 7th International Conference On Distributed Computing Systems, 371–375, Berlin, September 1987.
NAÏMI M., M. TREHEL, A. ARNOLD, A log n Distributed Mutual Exclusion Algorithm Based on the Path Reversal, Res. Rep., R. R. du Laboratoire d'Informatique de Besançon, April 1988.
RAYMOND K., A Tree-Based Algorithm for Distributed Mutual Exclusion, ACM Trans. on Computer Systems, Vol. 7, No 1, 61–77, February 1987.
RICART G., A.K. AGRAWALA, An Optimal Algorithm for Mutual Exclusion in Computer Networks, Comm. of the ACM, Vol. 24, No 1, 9–17, January 1981.
TREHEL M., M. NAÏMI, A Distributed Algorithm for Mutual Exclusion Based on Data Structures and Fault Tolerance, Proceedings of the 6th Annual International Phoenix Conference on Computers and Communications, 35–39, Scottsdale, February 1987.
VUILLEMIN J., A Unifying Look at Data Structures, Communications of the ACM, Vol. 23, No 4, 229–239, April 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lavault, C. (1992). Analysis of an efficient distributed algorithm for mutual exclusion (average-case analysis of path reversal). In: Bougé, L., Cosnard, M., Robert, Y., Trystram, D. (eds) Parallel Processing: CONPAR 92—VAPP V. VAPP CONPAR 1992 1992. Lecture Notes in Computer Science, vol 634. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55895-0_408
Download citation
DOI: https://doi.org/10.1007/3-540-55895-0_408
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55895-8
Online ISBN: 978-3-540-47306-0
eBook Packages: Springer Book Archive