Domain

Distributed Systems Theory

The theory that makes multi-machine systems provably correct (or explains exactly how they fail): consensus, ordering, and coordination.

1. Consensus Algorithms
2. Distributed Transactions
3. Quorum Systems
4. Clocks & Ordering
5. Distributed Locking
6. Gossip Protocols