Randomized Loose Renaming in O(loglogn) Time (Extended Abstract)

Renaming is a classic distributed coordination task in which a set of processes must pick distinct identiers from a small namespace. In this paper, we consider the time complexity of this problem when the namespace is linear in the number of participants, a variant known as loose renaming. We give a non-adaptive algorithm with O(log logn) (individual) step complexity, where n is a known upper bound on contention, and an adaptive algorithm with step complexity O((log logk) 2 ), where k is the actual contention in the execution. We also present a variant of the adaptive algorithm which requires O(k log logk) total process steps. All upper bounds hold with high probability against a strong adaptive adversary. We complement the algorithms with an (log log n) expected time lower bound on the complexity of randomized renaming using test-and-set operations and linear space. The result is based on a new coupling technique, and is the rst to apply to non-adaptive randomized renaming. Since our algorithms use O(n) test-and-set objects, our results provide matching bounds on the cost of loose renaming in this setting.

[1]  Danny Hendler,et al.  Adaptive randomized mutual exclusion in sub-logarithmic expected time , 2010, PODC '10.

[2]  Paul G. Spirakis,et al.  Space Efficient Hash Tables with Worst Case Constant Access Time , 2003, Theory of Computing Systems.

[3]  Dan Alistarh,et al.  Fast Randomized Test-and-Set and Renaming , 2010, DISC.

[4]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

[5]  Danny Hendler,et al.  Randomized mutual exclusion with sub-logarithmic RMR-complexity , 2011, Distributed Computing.

[6]  Marina Papatriantafilou,et al.  Randomized naming using wait-free shared variables , 1998, Distributed Computing.

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

[8]  Eli Upfal,et al.  Probability and Computing: Randomized Algorithms and Probabilistic Analysis , 2005 .

[9]  Faith Ellen,et al.  Fully-adaptive algorithms for long-lived renaming , 2011, Distributed Computing.

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

[11]  Sergio Rajsbaum,et al.  New combinatorial topology bounds for renaming: The upper bound , 2012, JACM.

[12]  Morteza Zadimoghaddam,et al.  Optimal-time adaptive strong renaming, with applications to counting , 2011, PODC '11.

[13]  Maurice Herlihy,et al.  The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures , 2002, DISC.

[14]  Hagit Attiya,et al.  Renaming in an asynchronous environment , 1990, JACM.

[15]  Eli Upfal,et al.  Balanced Allocations , 1999, SIAM J. Comput..

[16]  Lisa Higham,et al.  Long-Lived, Fast, Waitfree Renaming with Optimal Name Space and High Throughput , 1998, DISC.

[17]  Dan Alistarh,et al.  The Complexity of Renaming , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[18]  Sergio Rajsbaum,et al.  New combinatorial topology bounds for renaming: the lower bound , 2010, Distributed Computing.

[19]  George Giakkoupis,et al.  On the time and space complexity of randomized test-and-set , 2012, PODC '12.

[20]  Yehuda Afek,et al.  Fast, wait-free (2k-1)-renaming , 1999, PODC '99.

[21]  Prasad Jayanti,et al.  A time complexity lower bound for randomized implementations of some shared objects , 1998, PODC '98.

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

[23]  George Giakkoupis,et al.  A tight RMR lower bound for randomized mutual exclusion , 2012, STOC '12.

[24]  Hagit Attiya,et al.  Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures , 2001, J. Parallel Distributed Comput..

[25]  Hagit Attiya,et al.  Adaptive and Efficient Algorithms for Lattice Agreement and Renaming , 2002, SIAM J. Comput..

[26]  Andrew Chi-Chih Yao,et al.  Probabilistic computations: Toward a unified measure of complexity , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

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

[28]  Hagit Attiya,et al.  Long-lived renaming made adaptive , 1999, PODC '99.

[29]  Andrei Z. Broder,et al.  Multilevel adaptive hashing , 1990, SODA '90.

[30]  Dan Alistarh,et al.  Sub-logarithmic Test-and-Set against a Weak Adversary , 2011, DISC.

[31]  Hagit Attiya,et al.  Counting-Based Impossibility Proofs for Renaming and Set Agreement , 2012, DISC.