- Consistency models
- Graph Theory
- Time, Clocks, and the Ordering of Events in a Distributed System
- The Art of Multiprocessor Programming by Maurice Herlihy & Nir Shavit
- Scalability! But at what COST?
- PACELS
- A distributed systems reliability glossary
- Introduction to Reliable and Secure Distributed Programming
- Paxos:
- Raft:
- Flexible Paxos: Quorum intersection revisited
- Heidi Howard - Paxos vs Raft: Have we reached consensus on distributed consensus?
- Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
- Protocol-Aware Recovery
- The Byzantine Generals
- Bitcoin
- Ethereum:
- PBFT-Line
- DAG-based
- DAG-inspired
- Leaderlessness & Scalability:
-
- Kademlia: A Peer-to-peer Information System Based on the XOR Metric
- BEPs
- BitTorrent Spec V2
- SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol
- Chord
- Distributed Transaction Processing: The XA Specification
- Two Phase Locking (2PL)
- Calvin: Fast Distributed Transactions for Partitioned Database Systems
- Maurice Herlihy — Transactional memory
- The hitchhiker's guide to distributed transactions
- Hermitage
- Simulations:
- TLA:
- Testing Distributed Systems
- Wing-Gong-Lowe (WGL) Linchecker
- Large-scale cluster management at Google with Borg
- Quincy: Fair Scheduling for Distributed Computing Clusters
- Amazon:
- Apache:
- Apple:
- FoundationDB
- Google:
- Facebook:
- ETCD Key-Value
- Scalable Channel
- Nikita Koval — Synchronization primitives can be faster with SegmentQueueSynchronizer
- A Practical Multi-Word Compare-and-Swap Operation
- Efficient Multi-word Compare and Swap
- Easy Lock-Free Indexing in Non-Volatile Memory