第17章 会话状态模式

为什么第17章会话状态模式值得单独学习

客户端会话状态减少服务器存储和节点同步，但不能把未经保护的客户端字段当成事实来源。订单折扣、地址和权限等状态必须区分可重建数据与不可由客户端决定的授权事实。

服务器会话状态适合短生命周期、低延迟和可接受丢失的向导，但多节点部署需要粘性路由、复制或明确的故障降级策略。

数据库会话状态提供跨节点恢复和可查询的生命周期，但引入读写延迟、清理任务、容量规划和并发冲突处理。

先建立直觉：状态位置就是责任声明

会话键只负责定位或关联状态，不应直接承载未经签名的权限结论；轮换、撤销和重放防护都要写进设计记录。

过期不是一个孤立的时间常量，而是安全、用户体验、清理成本和恢复目标之间的可验证取舍。

先预测：订单向导在三个节点上运行，用户可以回到上一步修改地址，提交请求可能重试两次。把状态放在客户端、单节点内存还是共享数据库，最先要比较的不是框架偏好，而是会话键可信度、多节点恢复、版本冲突和过期后的补救。

会话状态模式的关键问题是“谁拥有当前事实、谁能修改它、失败后能恢复到什么状态”。状态位置决定数据是否需要签名、请求是否需要路由到同一节点、节点故障是否丢失进度，以及清理任务是否能按租约稳定运行。

目录单元到教学证据

第17章 会话状态模式

在 第17章 会话状态模式 的单元边界内，学习者要用订单向导会话比较三个目录节点：Client Session State、Server Session State 和 Database Session State。单元键为 poeaa24-chapter-17-session-state-patterns；核心证据是同一应用切片在正常续期、节点切换、并发提交和过期后都能说明状态权威与恢复路径。

评审记录还要回答：会话键如何生成和轮换，客户端字段如何签名或加密，服务器节点如何扩缩容，数据库如何清理过期记录，版本冲突由谁拒绝和重试。如果答案只写“由框架 session middleware 处理”，就无法在架构改变后复核。

专属代码案例：订单向导会话

下面的代码使用共享存储的版本号保护并发更新。它不实现具体数据库，而是让状态权威、版本检查、过期规则和失败信号可观察。

type CheckoutState = {
  address: string;
  updatedAt: number;
  expiresAt: number;
};
 
type SessionRecord = { version: number; state: CheckoutState };
 
class VersionConflict extends Error {}
 
function updateSession(
  record: SessionRecord,
  expectedVersion: number,
  patch: Partial<CheckoutState>,
  now: number,
): SessionRecord {
  if (record.version !== expectedVersion) {
    throw new VersionConflict("session changed");
  }
  if (now >= record.state.expiresAt) {
    throw new Error("session expired");
  }
  return {
    version: record.version + 1,
    state: { ...record.state, ...patch, updatedAt: now },
  };
}

这段代码把四项证据固定下来：状态由共享记录权威持有，客户端必须带预期版本，过期状态不能继续写入，并发更新返回明确冲突而不是静默覆盖。生产实现还需补充会话键轮换、签名或加密、原子写入、清理指标和重试幂等性。

三种状态位置

状态位置图把客户端、服务器节点和共享数据库放在同一条请求路径上，帮助评审比较带宽、路由、恢复和一致性责任，而不是只看访问速度。

故障与过期边界

会话设计必须把正常续期、并发版本冲突、节点故障和过期清理分开验证。无论选择哪个位置，都要给出会话键失效、状态恢复、用户提示和重试的可重放证据。

选择与拒绝矩阵

常见误区

可验证练习

名词解释

本章小结

掌握第17章会话状态模式的标志，不是记住某个 session middleware 的配置，而是能在订单向导中解释“会话键 → 状态权威 → 更新版本 → 节点故障 → 过期恢复”的责任链。客户端、服务器内存和数据库三个位置各有成本，设计必须把安全、扩缩容、并发、清理和用户补救放进同一组可重放证据；当状态权威不清、只依赖粘性路由或过期没有恢复路径时，应拒绝当前方案。

前后导航

• 上一页：16.4 隐含锁
• 下一页：17.1 客户会话状态

来源与改写范围

• Martin Fowler 作者图书页：核对全书主题、教程与模式参考结构。
• Martin Fowler 模式目录：核对第17章会话状态模式及其三个公开模式节点。
• Pearson 出版社页面：交叉核对英文版出版信息与目录范围。