Solving Consensus in Eventually Stable Systems
Hagit Attiya, Jennifer Lundelius Welch · Distributed Computing · 2004
This chapter considers systems that might be poorly behaved initially with respect to timing constraints and failures, but in which consensus should be solved. It begins by describing a general mechanism for preserving the safety conditions for consensus. This mechanism can be combined with various kinds of “failure detectors” to ensure termination of the consensus algorithm. A method to implement state-machine replication with failure detectors is discussed.