分布式锁是分布式系统的基础原语：多个实例竞争同一资源时，需要一个「跨进程的互斥机制」。Redis 的 SET NX、ZooKeeper 的临时顺序节点、数据库的唯一索引——三条路线各有性格。本文讲清三条路线的实现、各自的死锁风险与容错性、以及「到底选哪条」的决策框架。

ZooKeeper 的 ZAB 原子广播协议：崩溃恢复与消息广播

分布式系统绕不开 CAP 定理：网络分区发生时，一致性与可用性只能二选一。但 CAP 常被误读成「三选二」的静止选择——真实的系统是在「分区发生时」的动态取舍，且在 C 与 A 之外还有延迟这个隐藏维度。本篇拆解三性的精确定义、P 的不可协商、以及现实中各系统的取舍谱系。

网络会超时、用户会双击、重试机制会重发——只要操作会被重复执行，幂等就是必需品。本篇拆解幂等的定义与天然幂等操作、五种防重方案（唯一约束、去重表、Token、乐观锁、分布式锁）的适用场景，以及「先查再写」为什么不是防重。

微服务架构中，服务 A 要调用服务 B，首先要知道 B 在哪——服务发现（Service Discovery）就是回答这个问题的机制。注册中心的选择（Eureka/Nacos/Consul/etcd）本质上是在 CAP 约束下做取舍。本文讲清服务发现的两种模式、主流注册中心的对比、以及选型的决策框架。

微服务与分库分表时代，数据库自增 ID 不再够用——需要一个跨服务、跨数据库的全局唯一 ID。UUID、雪花算法、号段模式是三种主流方案：各自在唯一性、有序性、性能上做出不同的取舍。本文讲清三种方案的实现与选型。

Druid 连接池的架构设计与监控能力解析

Kafka 的分区、副本机制与高性能 IO 设计

服务拆分、注册发现、熔断限流的架构设计要点

Raft 论文的中文精读：从复制状态机出发理解共识

Raft 的领导者选举、日志复制与安全性约束