distsys

Paxos

Lamport's family of consensus algorithms; correct and influential, but famously hard to follow.+ Defined in the Distributed Systems entry of the archive.

ask the oracle › read Distributed Systems ›

alongside it

CAP Theorem Consensus Eventual Consistency Idempotency Linearizability Partition Quorum Raft Replication Two-Phase Commit