The Availability and Performance of Epidemic Quorum Algorithms
Paulo A. V. Ferreira · 2007
Epidemic quorum systems enable highly available agreement even when a quorum is not simultaneously connected, making them suitable for weakly connected environments. Although recent work has proposed epidemic quorum algorithms, their availability and performance tradeos are not well studied. This paper formally denes generic epidemic quorum systems. The formalism unies proposed epidemic quorum systems and is a framework for devising and studying epidemic coteries. We prove the safety of the resulting systems and analytically characterize their availability and performance. In particular, we identify previously undocumented trade-os between both aspects that do not exist in the classical counterpart. Furthermore, we present analytical results comparing the availability and performance of relevant epidemic quorum systems, relating them to classical quorum systems.