Distributed Systems Under Failure
Browse series · RSS · Atom
Start here: first entry.
State Machine Replication: Log Design, Snapshots, and Compaction
Adversarial-first deep dive (January 2017): State Machine Replication: Log Design, Snapshots, and Compaction.
Consensus Under Partial Synchrony: From Paxos to Raft
Correctness-focused deep dive (February 2017): Consensus Under Partial Synchrony: From Paxos to Raft.
BFT from First Principles: Safety, Liveness, and Quorums
Adversarial-first deep dive (March 2017): BFT from First Principles: Safety, Liveness, and Quorums.
Membership & Reconfiguration: Changing the Set Without Breaking Safety
Adversarial-first deep dive (April 2017): Membership & Reconfiguration: Changing the Set Without Breaking Safety.
Consistency Models: Linearizability, Serializability, and What You Actually Need
Design memo (May 2017): Consistency Models: Linearizability, Serializability, and What You Actually Need.
Transactions: 2PC, 3PC, and Coordinators You Can't Trust
Design memo (June 2017): Transactions: 2PC, 3PC, and Coordinators You Can't Trust.
Gossip & Epidemic Dissemination: Fast, Probabilistic, and Weird
Threat-model-first analysis (July 2017): Gossip & Epidemic Dissemination: Fast, Probabilistic, and Weird.
Geo-Replication: Latency Budgets and Cross-Region Failure Modes
Threat-model-first analysis (August 2017): Geo-Replication: Latency Budgets and Cross-Region Failure Modes.
Queues & Streams: Exactly-Once Semantics Without Lying to Yourself
Design memo (September 2017): Queues & Streams: Exactly-Once Semantics Without Lying to Yourself.
Rate Limiting and Fairness: Protecting Critical Paths
Design memo (October 2017): Rate Limiting and Fairness: Protecting Critical Paths.
Designing for Network Partitions: Degraded Modes That Still Make Sense
Engineering notebook entry (November 2017): Designing for Network Partitions: Degraded Modes That Still Make Sense.
A Minimal TLA+ Workflow for Distributed Protocols
Spec-driven research note (December 2017): A Minimal TLA+ Workflow for Distributed Protocols.