On the optimal space complexity of consensus for anonymous processes

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 Ω(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varOmega }(\sqrt{n})$$\end{document} 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 Ω(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varOmega }(n)$$\end{document} registers in some execution. This implies an Ω(n)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varOmega }(n)$$\end{document} 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.