The complexity of renaming Conference Paper


Author(s): Alistarh, Dan; Aspnes, James; Gilbert, Seth; Guerraoui, Rachid
Title: The complexity of renaming
Affiliation
Abstract: We study the complexity of renaming, a fundamental problem in distributed computing in which a set of processes need to pick distinct names from a given namespace. We prove an individual lower bound of Ω(k) process steps for deterministic renaming into any namespace of size sub-exponential in k, where k is the number of participants. This bound is tight: it draws an exponential separation between deterministic and randomized solutions, and implies new tight bounds for deterministic fetch-and-increment registers, queues and stacks. The proof of the bound is interesting in its own right, for it relies on the first reduction from renaming to another fundamental problem in distributed computing: mutual exclusion. We complement our individual bound with a global lower bound of Ω(k log (k/c)) on the total step complexity of renaming into a namespace of size ck, for any c ≥ 1. This applies to randomized algorithms against a strong adversary, and helps derive new global lower bounds for randomized approximate counter and fetch-and-increment implementations, all tight within logarithmic factors.
Keywords: Lower bounds; Queues; Distributed computing; Renaming; fetch-and-increment; mutual exclusion; stacks
Conference Title: FOCS: Foundations of Computer Science
Conference Dates: October 22 - 25, 2011
Conference Location: Palm Springs, CA, USA
ISBN: 978-076954571-4
Publisher: IEEE  
Date Published: 2011-01-01
Start Page: 718
End Page: 727
DOI: 10.1109/FOCS.2011.66
Notes: The authors would like to thank Hagit Attiya and Keren Censor-Hillel for discussions and feedback on earlier versions of this paper, and the anonymous reviewers for their very useful suggestions.
Open access: no
IST Austria Authors
Related IST Austria Work