Back to Resources

High Availability Research Resources

From theoretical foundations to practice

Theoretical Resources

Impossibility of Distributed Consensus with One Faulty Process
Fischer, Lynch, Patterson, 1985 Advanced
5.0
The seminal FLP impossibility result proving that consensus is impossible in asynchronous distributed systems with even a single faulty process.
Download PDF
State Machine Replication Is More Expensive Than Consensus
Karolos Antoniadis et al., 2018 Advanced
5.0
Theoretical analysis showing that state machine replication imposes additional costs beyond basic consensus.
Download PDF

Practical Resources

Highly Available Transactions: Virtues and Limitations
Hunt et al., 2010 advanced
5.0
We introduce a taxonomy of highly available systems and analyze existing ACID isolation and distributed data consistency guarantees to identify which can and cannot be achieved in HAT systems. This unifies the literature on weak transactional isolation, replica consistency, and highly available systems.
Download PDF