Real Life Is Uncertain. Consensus Should Be Too!
arXiv:2602.11362 · doi:10.1145/3713082.3730374
Abstract
Modern distributed systems rely on consensus protocols to build a fault-tolerant-core upon which they can build applications. Consensus protocols are correct under a specific failure model, where up to machines can fail. We argue that this -threshold failure model oversimplifies the real world and limits potential opportunities to optimize for cost or performance. We argue instead for a probabilistic failure model that captures the complex and nuanced nature of faults observed in practice. Probabilistic consensus protocols can explicitly leverage individual machine \textit{failure curves} and explore side-stepping traditional bottlenecks such as majority quorum intersection, enabling systems that are more reliable, efficient, cost-effective, and sustainable.
HotOS '25: Proceedings of the 2025 Workshop on Hot Topics in Operating Systems