One-step Consensus with Zero-Degradation

In the asynchronous distributed system model, consensus is obtained in one communication step if all processes propose the same value. Assuming f < n/3, this is regardless of the failure detector output. A zero-degrading protocol reaches consensus in two communication steps in every stable run, i.e., when the failure detector makes no mistakes and its output does not change. We show that no leaderbased consensus protocol can be simultaneously one-step and zero-degrading. We propose two approaches to circumvent the impossibility result and present corresponding consensus protocols. Further, we present an atomic broadcast protocol that has a latency of 3δ in every stable run and a latency of 2δ in case of no collisions. Finally, we evaluate its performance in a cluster of workstations.

• Type: Conference
• Year: 2006
• Where: DSN
• Authors: Dan Dobre, Neeraj Suri
• Keywords: Communication Steps, Computer Networks, Consensus Protocols, DSN 2006, Failure Detector