Cassandra, Consul, Redis Cluster가 어떻게 수천 대 노드의 상태를 동기화하는가? Gossip 프로토콜의 수학적 원리부터 SWIM, HyParView, Merkle Tree 기반 anti-entropy, 실전 시스템까지 720줄로 깊이 있게 파헤친다.
etcd, Consul, CockroachDB, TiDB가 모두 Raft를 쓰는 이유는 이해하기 쉽기 때문이다. Leader Election, Log Replication, Safety Property, Membership Change, Snapshot까지 — 실전 시스템 분석과 함께 700줄로 깊이 있게 파헤친다.