Featured Article from the October-December Issue

Chasing the Weakest System Model for Implementing Ω and Consensus

By Martin Hutle, Dahlia Malkhi, Ulrich Schmid, and Lidong Zhou

Aguilera et al. and Malkhi et al. presented two system models, which are weaker than all previously proposed models where the eventual leader election oracle $\Omega$ can be implemented, and thus, consensus can also be solved. The former model assumes unicast steps and at least one correct process with $f$ outgoing eventually timely links, whereas the latter assumes broadcast steps and at least one correct process with $f$ bidirectional but moving eventually timely links. Consequently, those models are incomparable. In this paper, we show that $\Omega$ can also be implemented in a system with at least one process with $f$ outgoing moving eventually timely links, assuming either unicast or broadcast steps...

View the PDF of this article       View this issue in the digital library