Abstract
In the long-lived M-renaming problem, N processes repeatedly acquire and release names ranging over {0,..., M−1}, where M < N. It is assumed that at most k processes concurrently request or hold names. Efficient solutions to the long-lived renaming problem can be used to improve the performance of applications in which processes repeatedly perform computations whose time complexity depends on the size of the name space containing the processes that participate concurrently. In this paper, we consider wait-free solutions to the long-lived M-renaming problem that use only read and write instructions in an asynchronous, shared-memory multiprocessor. A solution to long-lived renaming is fast if the time complexity of acquiring and releasing a name once is independent of N. We present a new fast, long-lived (k(k + 1)/2)-renaming algorithm that significantly improves upon the time and space complexity of similar previous algorithms, while providing a much simpler solution. We also show for the first time that fast, long-lived (2k − 1)-renaming can be implemented with reads and writes. This result is optimal with respect to the size of the name space.
This work was carried out while the first author was a graduate student at The University of North Carolina at Chapel Hill, Chapel Hill, North Carolina, and was supported in part by NSF Contract CCR 9216421, by a Young Investigator Award from the U.S. Army Research Office, grant number DAAH04-95-1-0323, and by a UNC Alumni Fellowship.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Anderson and M. Moir, “Fast k-Exclusion Algorithms”, submitted to Distributed Computing. Preliminary version appeared in Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, August 1994, pp. 141–150.
H. Attiya, A. Bar-Noy, D. Dolev, D. Koller, D. Peleg, and R. Reischuk, “Achievable Cases in an Asynchronous Environment”, Proceedings of the 28th Annual IEEE Symposium on Foundations of Computer Science, October 1987, pp. 337–346.
A. Bar-Noy and D. Dolev, “Shared Memory versus Message-Passing in an Asynchronous Distributed Environment”, Proceedings of the 8th Annual ACM Symposium on Principles of Distributed Computing, August 1989, pp. 307–318.
E. Borowsky and E. Gafni, “Immediate Atomic Snapshots and Fast Renaming”, Proceedings of the 12th Annual ACM Symposium on Principles of Distributed Computing, August 1993, pp. 41–50.
H. Buhrman, J. Garay, J. Hoepman, and M. Moir, “Long-Lived Renaming Made Fast”, Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, August 1995, pp. 194–203.
J. Burns and G. Peterson, “The Ambiguity of Choosing”, Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, ACM, New York, August 1989, pp. 145–157.
C. A. R. Hoare, “An Axiomatic Basis for Computer Programming”, Communications of the ACM 12, October 1969, pp. 576–580,583.
M. Herlihy and N. Shavit, “The Asynchronous Computability Theorem for t-Resilient Tasks”, Proceedings of the 25th ACM Symposium on Theory of Computing, 1993, pp. 111–120.
L. Lamport, “A Fast Mutual Exclusion Algorithm”, ACM Transactions on Computer Systems, Vol. 5, No. 1, February 1987, pp. 1–11.
M. Moir and J. Anderson, “Wait-Free Algorithms for Fast, Long-Lived Renaming”, Science of Computer Programming 25 (1995), pp. 1–39. Preliminary version appeared in Proceedings of the 8th International Workshop on Distributed Algorithms, September, 1994, pp. 141–155.
G. Peterson, personal communication, November 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Moir, M., Garay, J.A. (1996). Fast, long-lived renaming improved and simplified. In: Babaoğlu, Ö., Marzullo, K. (eds) Distributed Algorithms. WDAG 1996. Lecture Notes in Computer Science, vol 1151. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61769-8_19
Download citation
DOI: https://doi.org/10.1007/3-540-61769-8_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61769-3
Online ISBN: 978-3-540-70679-3
eBook Packages: Springer Book Archive