10. Consistency and Consensus
10.10 Terminology introduced here
Terminology introduced here
54- eventual vs strong consistency
- linearizability / atomic consistency / immediate consistency / external consistency
- recency guarantee
- register
- CAS
- linearization point
- serializability vs linearizability
- strict serializability / strong-1SR
- sequential consistency
- cross-channel timing dependency
- network partition
- CAP theorem
- CP / AP
- PACELC
- memory barrier / fence
- Attiya–Welch bound
- autoincrementing ID
- fetch-and-add
- sharded ID assignment
- preallocated ID blocks
- UUID / GUID / UUIDv4 / UUIDv7
- Snowflake ID
- ULID
- logical clock
- physical clock
- Lamport clock / Lamport timestamp
- hybrid logical clock (HLC)
- vector clock
- timestamp oracle
- consensus
- FLP result
- uniform agreement / integrity / validity / termination
- nontriviality
- consensus number
- shared log
- total order broadcast / atomic broadcast / total order multicast
- state machine replication
- atomic commitment
- Paxos / Multi-Paxos / EPaxos
- Raft
- Viewstamped Replication
- Zab
- epoch number / ballot number / view number / term number
- quorum overlap
- pre-vote
- unclean leader election
- reconfiguration
- coordination service
- Chubby
- ephemeral node
- zxid / cversion / revision number
- change notification / watch
- observer
- service registry