当前位置:
X-MOL 学术
›
Distrib. Comput.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On the optimal space complexity of consensus for anonymous processes
Distributed Computing ( IF 1.3 ) Pub Date : 2018-03-23 , DOI: 10.1007/s00446-018-0331-9 Rati Gelashvili
Distributed Computing ( IF 1.3 ) Pub Date : 2018-03-23 , DOI: 10.1007/s00446-018-0331-9 Rati Gelashvili
The optimal space complexity of consensus in asynchronous shared memory was an open problem for two decades. For a system of n processes, no algorithm using a sublinear number of registers is known. Up until very recently, the best known lower bound due to Fich, Herlihy, and Shavit was $${\varOmega }(\sqrt{n})$$Ω(n) registers. Fich, Herlihy, and Shavit first proved their lower bound for the special case of the problem where processes are anonymous (i.e. they run the same algorithm) and then extended it to the general case. In this paper we close the gap for the anonymous case of the problem. We show that any consensus algorithm from read–write registers for anonymous processes that satisfies nondeterministic solo termination has to use $${\varOmega }(n)$$Ω(n) registers in some execution. This implies an $${\varOmega }(n)$$Ω(n) lower bound on the space complexity of deterministic obstruction-free and randomized wait-free consensus, matching the upper bound. We introduce new techniques for marshalling anonymous processes and their executions, in particular, the concepts of leader–follower pairs and reserving executions, that play a critical role in the lower bound argument and will hopefully be more generally applicable.
更新日期:2018-03-23