Timeliness, failure-detectors, and consensus performance
Idit Keidar, Alexander Shraer · 2006
We study the implication that various timeliness and failure detector assumptions have on the performance of consensus algorithms that exploit them. We present a general framework, GIRAF, for expressing such assumptions, and reasoning about the performance of indulgent algorithms.