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.
[1]
Danny Dolev,et al.
Shared-memory vs. message-passing in an asynchronous distributed environment
,
1989,
PODC '89.
[2]
Eli Gafni,et al.
Immediate atomic snapshots and fast renaming
,
1993,
PODC '93.
[3]
Maurice Herlihy,et al.
The asynchronous computability theorem for t-resilient tasks
,
1993,
STOC.
[4]
Leslie Lamport,et al.
A fast mutual exclusion algorithm
,
1987,
TOCS.
[5]
Mark Moir,et al.
Long-lived renaming made fast
,
1995,
PODC '95.
[6]
K. Mani Chandy,et al.
Parallel program design - a foundation
,
1988
.
[7]
Gary L. Peterson,et al.
The ambiguity of choosing
,
1989,
PODC '89.
[8]
Mark Moir,et al.
Wait-Free Algorithms for Fast, Long-Lived Renaming
,
1995,
Sci. Comput. Program..
[9]
Hagit Attiya,et al.
Achievable cases in an asynchronous environment
,
1987,
28th Annual Symposium on Foundations of Computer Science (sfcs 1987).
[10]
Mark Moir,et al.
Using local-spin k-exclusion algorithms to improve wait-free object implementations
,
1997,
Distributed Computing.