From Omega to ?P in the Crash-Recovery Failure Model with Unknown Membership

Unreliable failure detectors are mechanisms providing information about process failures. This paper addresses the implementation of the Eventually perfect failure detector class, denoted diamP, in the crash-recovery failure model. The approach followed is to transform existing implementations of the Omega failure detector, which provides an eventual leader election functionality, into diamP. In a system with the minimal requirements to implement diamP, we first propose a generic transformation algorithm that uses the underlying Omega as a black box. Then, we enhance the algorithm to provide a common set of k correct processes. The algorithms do not require the membership of the system to be known a priori.