第4章：分布式系统基础：CAP、一致性协议、Raft、Paxos
本章是分布式系统面试的「基石」章节。面试官常通过CAP理论与Paxos/Raft的对比，考察你对一致性模型的理解深度以及工程决策能力。以下结构化内容帮助你快速建立知识框架，并应对高频追问。
❓ 面试问题：请解释CAP理论，并举例说明在实际系统中如何权衡？
🎯 考察点：基础理论掌握程度、能否结合实际场景分析取舍、对分布式限制的理解。
📌 回答框架：① 定义CAP三要素 ② 强调不可能同时满足 ③ 按业务场景选CP或AP ④ 举例说明。
✏️ 简短示例回答：CAP指一致性（C）、可用性（A）、分区容错性（P）。分布式系统必须接受P，只能在C和A之间权衡。例如ZooKeeper选择CP，牺牲部分可用性换取强一致；而Eureka选择AP，允许节点数据不一致但保证注册可用。最终根据业务容忍度做决策。
⚠️ 可能追问：“如果网络分区恢复后，AP系统如何达成最终一致？” “Raft 属于CP还是AP？为什么？”
🚫 避坑提醒：不要背诵CAP定义就结束，一定要结合具体组件（如etcd、Kafka）说明取舍。避免说“CA可以实现”，实际网络分区必然存在。
❓ 面试问题：Raft Leader 选举过程是怎样的？如何处理节点故障？
🎯 考察点：对Raft核心机制的理解深度、能否清晰描述超时与任期概念、实际容错处理。
📌 回答框架：① 节点状态（Follower/Candidate/Leader） ② 选举超时与随机化 ③ 投票规则 ④ 心跳与任期延续 ⑤ 故障处理。
✏️ 简短示例回答：Follower在选举超时内未收到Leader心跳，则转为Candidate，增加任期并广播RequestVote请求。节点按先来先得原则投票（一节点一票），获得多数票者成为新Leader。若出现平局，额外超时后重新选举。Leader定期发送AppendEntries心跳维持权威，若心跳中断，其他节点触发新选举。
⚠️ 可能追问：“如果网络分区导致两个节点都自认为Leader怎么办？” “日志复制如何保证一致性？”
🚫 避坑提醒：不要忽略“随机选举超时”这个关键设计，用于避免选举冲突。需强调Raft的“Strong Leader”特性。
❓ 面试问题：Paxos和Raft的主要区别是什么？为什么Raft更流行？
🎯 考察点：协议对比分析能力、对工程可理解性的认知、是否真正理解底层难度。
📌 回答框架：① 共同目标：分布式一致性 ② Raft强Leader、日志连续、操作更少 ③ Paxos多角色复杂、理解成本高 ④ 实践对比。
✏️ 简短示例回答：Paxos通过Prepare和Accept两阶段达成共识，但角色冗多（Proposer/Acceptor/Learner），实现模糊且难以调试。Raft将问题分解为Leader选举、日志复制、安全性三块，使用唯一Leader简化流程，且日志顺序一致，开发者更易理解和实现。因此工业界如etcd、Consul优先选用Raft。
⚠️ 可能追问：“Raft的安全性（Log Matching、Election Safety）是如何保证的？” “Multi-Paxos和Raft本质区别？”
🚫 避坑提醒：不要批判Paxos不好，要客观说“Paxos理论优雅但工程实践难”，再强调Raft的设计权衡。避免背诵细节，突出可解释性。
| 特性 | Paxos | Raft |
|---|---|---|
| Leader角色 | 无固定Leader，多个Proposer | 强Leader，负责日志复制 |
| 选举方式 | 通过提案编号竞争 | 超时随机化 + 多数票 |
| 日志结构 | 允许空洞，需要额外维护 | 连续有序日志，无空洞 |
| 理解难度 | 高（多角色、多阶段） | 低（模块化、可推导） |
| 工程实现 | 复杂，易出错 | 相对简单，成熟库多 |
📁 真实项目模板：基于Raft的分布式KV存储系统
- 项目名称：FlashKV – 高可用强一致键值存储
- 业务背景：内部监控平台需要毫秒级写入、强一致读取的元数据存储，避免Redis异步复制导致的脏读。
- 规模指标：3副本5节点集群，QPS 12w+，数据量5TB，P99延迟<5ms。
- 技术栈：C++17、Raft自研实现（参考etcd/raft）、gRPC、RocksDB持久化、Prometheus监控。
- 核心难点：① 快照压缩与恢复性能优化 ② 网络分区后快速选主 ③ 日志堆积流控。
- 面试高频追问：“如何避免频繁选举？” “快照过大导致阻塞怎么办？” “和etcd相比你的实现差在哪里？”
- 可迁移回答话术：“我们采用预投票机制减少无效选举，快照使用分片异步压缩，确保选主期间不丢失已提交日志。在容错方面，引入Lease机制防止脑裂，吞吐量通过Batch+Pipeline提升……”
💡 复习建议：结合本章SVG路径图，从CAP出发厘清决策逻辑，再深入到Raft各阶段（选举、日志、安全），最后用项目案例串联记忆。面试时多举真实组件（ZooKeeper, etcd）作为论据。