A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement
Reading group: Guillermo Toyos Marfurt presented "A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement" (PODC'22) at 1A330 the 19/1/2024 at 10h50.
Abstract
We study two fundamental problems of distributed computing, consensus and approximate agreement, through a novel approach for proving lower bounds and impossibility results, that we call the asynchronous speedup theorem. For a given 𝑛-process task Π and a given computational model 𝑀, we define a new task, called the closure of Π with respect to 𝑀. The asynchronous speedup theorem states that if a task Π is solvable in 𝑡 ≥ 1 rounds in 𝑀, then its closure w.r.t. 𝑀 is solvable in 𝑡 − 1 rounds in 𝑀. We prove
this theorem for iterated models, as long as the model allows solo executions. We illustrate the power of our asynchronous speedup theorem by providing a new proof of the wait-free impossibility of consensus using read/write registers, and a new proof of the wait-free impossibility of solving consensus using registers and test&set objects for 𝑛 > 2. The proof is merely by showing that, in each case, the closure of consensus (w.r.t. the corresponding model) is consensus itself. Our main application is the study of the power of additional objects, namely test&set and binary consensus, for wait-free solving approximate agreement faster. By analyzing the closure of approximate agreement w.r.t. each of the two models, we show that while these objects are more powerful than read/write registers from the computability perspective, they are not more powerful as far as helping solving approximate agreement faster is concerned.