Implementing the \Omega Failure Detector in the Crash-Recovery Model with partial Connectivity and/or Synchrony

Abstract

Unreliable failure detectors are mechanisms providing information about process failures, that allows to solve several problems in asynchronous systems, e.g., consensus. A particular class of failure detectors, Omega, provides an eventual leader election functionality. Recently, an algorithm implementing Omega with unknown membership and weak synchrony has been proposed by Jimenez et al. In that work, a crash failure model and a system in which every process has a direct communication link with every other process are assumed. In this paper, we adapt this algorithm to the crash-recovery failure model, and show that it also works in systems with partial connectivity and/or synchrony