16.3 粗粒度锁

为什么这一章需要一把大伞

想象两名客服同时打开同一张订单。订单金额、商品数量和付款状态都看起来可以分别编辑，但一次保存可能同时改变它们。若每个人只保护自己正在填写的那一格，最后保存的人就可能把另一人的决定覆盖掉。

没有一条共同规则时，两个请求都可能返回成功，订单却已经不再自洽。我们需要先说清哪些东西必须一起被保护，再决定等待、失败和重试怎样让用户看得见。

概念模型：边界、责任与证据

粗粒度锁把保护范围放在一次业务决定需要的整体上，而不是放在每个字段或每一行上。它不是“锁得越大越安全”：范围必须刚好覆盖同一个业务决定，否则无关修改也会被迫排队。

锁的入口通常是聚合根。在本章的订单案例中，Order 是根，LineItem 和 Payment 是它需要共同协调的对象。所有写入都从根取得锁，再在锁内读取、校验和提交；子对象不能绕过根单独保存。

锁粒度决定两种代价：太细会漏掉跨对象的业务关系，太粗会让互不相关的订单一起等待。评审时要把“同一个业务决定”写成可检查的边界，而不是直接照搬数据库表的边界。

订单能否保存，还要靠不变量来验收。一次成功的数据库写入只能证明存储动作完成，不能证明整个不变量从读取到提交一直受到同一把锁保护。

三个阶段的代码责任

把并发协议拆成“取得、锁内工作、提交释放”三段。版本检查负责识别旧快照；锁边界负责防止同一业务决定被两个写入者同时改写。

专属代码案例：两个客服并行修改订单

下面的代码是可运行协议的最小骨架。锁包住读取和业务校验，版本检查提供第二道证据，finally 保证正常异常路径都尝试释放。真实系统还应把持有者、超时和恢复事件写入审计日志。

async function updateOrder(orderId: string, patch: OrderPatch) {
  const lease = await orderLocks.acquire(orderId, { timeoutMs: 2_000 });
  if (!lease) return { status: "busy" as const };
 
  try {
    const snapshot = await orders.read(orderId);
    const next = validateAndApply(snapshot, patch);
    if (snapshot.version !== lease.version) {
      return { status: "conflict" as const };
    }
    await orders.save({ ...next, version: snapshot.version + 1 });
    return { status: "saved" as const };
  } finally {
    await orderLocks.release(lease.id);
  }
}

这里的关键不是某个锁服务的 API，而是责任顺序：先取得同一订单的锁，再读取完整快照；保存成功后释放；冲突和忙碌都返回给调用者。若只锁住 orders.save，两名客服仍可能基于不同快照作出互相矛盾的决定。

三步可视化实验

猜一猜：把锁从一个订单扩大到一批订单，会让不变量更安全吗，还是只会让等待变多？先在图中切换阶段，再打开“注入错误边界”，观察第二名客服能否绕过保护范围。

从取得到释放的三步证据链

常见误区

选择与拒绝矩阵

粗粒度锁适合“必须一起决定”的对象集合，不适合用来代替所有业务建模。若等待时间主要来自互不相关的订单，应该先缩小边界；若用户会长时间离线，则应比较乐观版本重试、草稿合并或显式的业务队列。

本章小结

• 粗粒度锁保护一次业务决定，而不是任意扩大保护范围。
• 聚合根负责统一取得锁，子对象不能绕过根写入。
• 读取、校验、提交和释放必须形成可重放的责任链。
• 锁粒度、等待分布和冲突损失共同决定是否拒绝该方案。

可验证练习

async function saveOrder(orderId: string, patch: OrderPatch) {
  const snapshot = await orders.read(orderId);
  const next = validateAndApply(snapshot, patch);
  await orderLocks.acquire(orderId);
  await orders.save(next);
}

名词解释

前后导航

• 上一页：16.2 悲观离线锁
• 下一页：16.4 隐含锁

参考资料

• Martin Fowler：Patterns of Enterprise Application Architecture：核对图书主题与章节范围。
• Martin Fowler：Patterns of Enterprise Application Architecture 模式目录：核对粗粒度锁的公开目录定位。
• Pearson：Patterns of Enterprise Application Architecture：交叉核对出版信息。