CAP theorem (Brewer): consistency, availability, partition tolerance — pick 2. CP: ZooKeeper, etcd, HBase. AP: Cassandra, CouchDB, DynamoDB. PACELC: extends CAP with latency-consistency tradeoff. Consensus: Paxos (basic, multi-paxos), Raft (leader-based, understandable), PBFT (byzantine fault tolerant). Raft: leader election (randomized timeout), log replication, safety (committed ≥ majority ACK). CRDT: conflict-free replicated data types, merge without coordination. Vector clocks: partial...
- distributed-systems
- consensus
- databases