Fast, Long-Lived Renaming Improved and Simplified

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 ⩽ M 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 that fast, long-lived (2 k − 1)-renaming can be implemented with reads and writes. This result is optimal with respect to the size of the name space.

[1]  Eli Gafni,et al.  Immediate atomic snapshots and fast renaming , 1993, PODC '93.

[2]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[3]  Mark Moir,et al.  Wait-Free Algorithms for Fast, Long-Lived Renaming , 1995, Sci. Comput. Program..

[4]  Hagit Attiya,et al.  Achievable cases in an asynchronous environment , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[5]  Gary L. Peterson,et al.  The ambiguity of choosing , 1989, PODC '89.

[6]  Maurice Herlihy,et al.  The topological structure of asynchronous computability , 1999, JACM.

[7]  Mark Moir,et al.  Long-lived renaming made fast , 1995, PODC '95.

[8]  R. Peterson,et al.  System performance prediction for personal communication systems , 1995, 1995 IEEE 45th Vehicular Technology Conference. Countdown to the Wireless Twenty-First Century.

[9]  Danny Dolev,et al.  Shared-memory vs. message-passing in an asynchronous distributed environment , 1989, PODC '89.

[10]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[11]  Leslie Lamport,et al.  A fast mutual exclusion algorithm , 1987, TOCS.