Chapter 10 map: consensus and consistency
Chapter 10 map
Logical clocks
Lamport, HLC: ordering tool
Linearizability
the freshness goal
CAP and PACELC
the price of freshness
Consensus and consistency
one value, one order
Shared log
total order broadcast
State machine replication
same log, same final state
Coordination service
locks, fencing, watches