分布式系统设计的7月回顾：从CAP理论到实际落地的工程权衡经验

分布式系统设计的7月回顾从CAP理论到实际落地的工程权衡经验CAP理论背得滚瓜烂熟但一到真实场景还是不知道怎么选。7月系列文章反复讨论同一个话题理论到工程的距离。这篇文章把本月分布式主题的核心决策逻辑汇聚到一起配上可以直接用的决策树——下次技术选型会可以直接对着这个来。一、分布式系统的核心决策全景二、CAP理论的实际权衡四个经典场景场景1支付系统需求一笔钱不能少一笔不能多。 决策CP - 一致性优先 具体方案 ├── 数据库MySQL 半同步复制至少一个从库确认 ├── 事务Seata AT模式自动补偿无需手写回滚逻辑 ├── 分布式锁Redis Redisson红锁算法防脑裂 ├── 消息RocketMQ 事务消息半消息机制保证发送一致性 └── 对账T1小时异步对账 差异自动补偿 关键点即使服务暂时不可用P99延迟增加也不能出现脏数据。场景2社交Feed流需求用户刷新必须很快看到内容偶尔少一两条可以接受。 决策AP - 可用性优先 具体方案 ├── 存储Redis缓存热点Feed MySQL异步持久化 ├── 推送消息队列异步扩散粉丝数100万用拉模式 ├── 一致性最终一致P99延迟目标 50ms ├── 降级Redis挂掉直接读MySQL降级但不停服 └── 兜底预生成热门内容缓存防止空Feed 关键点用户感知不到短暂的数据不一致但能感知到页面打不开。场景3电商库存需求不能超卖一致性但能快速减库存可用性。 决策混合策略 - 核心操作走CP展示走AP 具体方案 ├── 扣库存Redis Lua脚本原子操作单机Redis避免分布式 ├── 同步异步binlog回写MySQL最终一致 ├── 对账每15分钟Redis与MySQL对比库存 ├── 防超卖MySQL做最终兜底校验 └── 展示允许短时间Redis和MySQL库存数不一致 关键点下单扣库存走强一致展示库存走最终一致。分区取舍。场景4分布式调度需求任务必须执行一次且仅一次。 决策CP - 一致性优先 具体方案 ├── 选主ZooKeeper临时顺序节点会话断开自动释放 ├── 分片一致性Hash分配任务到执行节点 ├── 故障转移Worker心跳超时 → 自动重新分配任务 ├── 幂等任务执行前检查状态表唯一键去重 └── 监控任务积压 阈值告警 关键点宁可任务延迟执行可用性降低也不重复执行。三、分布式锁选型决策树你的业务场景是 ├── 单机Redis够用QPS 10万 │ └── Redis SET NX EX最简单大部分场景够用 ├── 需要高可靠Redis有主从切换风险 │ ├── Redisson红锁多Redis实例降低脑裂风险 │ └── ZooKeeper临时节点CP强一致代价是性能 ├── 需要可重入 │ └── Redisson RLock基于Redis Hash Lua脚本 └── 需要公平锁 └── ZooKeeper顺序节点Fair Lock天然支持 分布式锁的三个核心问题 1. 互斥同一时刻只有一个客户端持有锁 ✓ 2. 死锁客户端崩溃后锁自动释放需设置过期时间✓ 3. 误删释放锁时校验锁的持有者Lua脚本比对value✓四、分布式消息的可靠性保障消息可靠性三阶段阶段问题解决方案复杂度生产阶段消息发送失败同步发送重试 / 事务消息低/中存储阶段Broker宕机消息丢失多副本同步min.insync.replicas ≥ 2中消费阶段消费失败/重复消费手动提交幂等消费中消息幂等方案速查方案原理适用场景优缺点数据库唯一键INSERT带唯一业务ID消费结果需要持久化最简单,依赖DBRedis SETNX消费前SETNX标记高频消费场景高性能,需处理Redis不可用版本号UPDATE带版本号条件数据更新场景不依赖额外存储状态机状态流转前检查当前状态有明确状态流转业务侵入性较强分布式事务选型速查方案一致性性能复杂度推荐场景Seata AT最终一致(秒级)中低内部微服务间事务TCC最终一致高高需要自定义资源预留Saga最终一致高高长事务、跨系统本地消息表最终一致(分钟级)高中异步解耦场景RocketMQ事务消息最终一致(秒级)高低消息驱动的事务五、总结7月分布式系统的文章反复论证了一个核心观点不存在完美的分布式方案只存在适合当前约束的方案。关键不是记住CAP理论的定义而是能迅速判断自己面对的场景属于哪一类然后准确选择方案。实战决策口诀钱相关的支付/转账/清结算→ CP用Seata AT 半同步复制看的内容Feed/推荐/搜索→ AP用缓存 异步 最终一致库存类的电商/票务→ 混合扣减走CP展示走AP协调类的分布式锁/选主→ CPRedis红锁或ZK8月计划深入讨论分布式系统的混沌测试——如何主动注入故障来验证方案的有效性而不是等线上出问题才知道哪里不够好。本文为7月分布式系统设计系列文章的精华汇总。方案选型需结合具体业务场景和团队能力综合判断。资料说明本文中的协议、版本、性能、成本和行业趋势应以可核验的一手资料为准。未标注统计口径的比例、时间表和预测仅作工程讨论不应视为行业事实。可参考 0731 资料来源索引并在发布前将具体来源贴到对应断言之后。