3. 会话一致性定义
在分布式系统与SSO单点登录场景中，会话一致性是指用户在一次登录会话期间，其身份状态、权限信息与业务上下文在多个服务节点、多个请求链路之间保持逻辑等价的能力。当异步任务编排介入后，会话一致性的边界从“同步请求-响应”扩展到了“异步事件-回调-补偿”的全链路。
3.1 分布式会话一致性的含义
分布式会话一致性包含三个核心维度：
| 维度 | 定义 | SSO场景示例 |
|---|---|---|
| 身份一致性 | 同一用户在不同服务节点获取的认证令牌（Token/SessionID）指向同一身份主体 | 用户从Service A跳转到Service B，B能正确识别用户为user_1001 |
| 状态一致性 | 会话的过期时间、刷新状态、登出标记在所有节点间同步 | 用户在任一服务登出，所有节点的会话立即失效 |
| 数据一致性 | 异步任务编排中，会话上下文（如角色、权限、租户ID）在任务链路上不丢失、不篡改 | 异步审批流程中，每个步骤都能获取到发起人的完整会话信息 |
关键认知： 会话一致性不是“所有节点数据完全一致”，而是“用户感知到的会话行为符合预期”。在异步场景下，允许短暂的不一致窗口，但必须保证最终用户不会看到“登录后又掉线”或“权限时有时无”的异常。
3.2 会话一致性的CAP权衡
分布式会话系统本质上是一个分布式存储系统，必然面临CAP定理的约束。在SSO异步任务编排场景下，三者的权衡尤为突出：
- C（一致性，Consistency）： 所有节点在同一时刻看到相同的会话状态。强一致性要求写操作完成后，任何后续读操作都能读到最新值。
- A（可用性，Availability）： 每个请求都能获得非错误的响应，但不保证返回的是最新数据。高可用要求会话服务不能因为节点故障或网络分区而拒绝服务。
- P（分区容错性，Partition Tolerance）： 系统在网络分区（节点间通信中断）时仍能继续运行。分布式系统必须选择P，因为网络分区是必然发生的。
在SSO场景下，典型的CAP取舍策略如下：
| 策略 | 选择 | 适用场景 | 风险 |
|---|---|---|---|
| CP（一致性+分区容错） | 牺牲可用性，保证强一致 | 金融级SSO、权限变更即时生效场景 | 分区时用户无法登录或会话校验失败 |
| AP（可用性+分区容错） | 牺牲一致性，保证高可用 | 高并发门户、非关键业务SSO | 用户可能看到过期的会话状态 |
| 混合（最终一致性） | 分区时选AP，恢复后同步 | 异步任务编排、消息驱动的SSO | 需要补偿机制处理不一致窗口 |
实践建议： 在异步任务编排的SSO场景中，绝大多数团队选择AP + 最终一致性的组合。因为异步任务天然存在延迟，强一致性会严重拖累任务吞吐量。关键在于设计好“不一致窗口”的边界和补偿策略。
3.3 强一致性与最终一致性
在异步任务编排的SSO场景中，强一致性和最终一致性是两种最常被讨论的模型。它们的核心差异体现在会话状态的传播延迟和用户感知上。
3.3.1 强一致性
强一致性要求：一旦会话状态发生变更（如登录、权限升级、登出），所有后续的读操作都必须返回最新的状态。在分布式会话中，通常通过以下机制实现：
- 集中式会话存储： 所有节点读写同一个中心化会话库（如Redis Cluster），使用分布式锁或事务保证原子性。
- 同步复制： 主节点写入后，等待所有从节点确认后再返回成功。
- 一致性协议： 使用Paxos/Raft等共识算法保证多副本间的强一致。
异步场景下的代价： 在异步任务编排中，强一致性会引入显著的性能瓶颈。例如，一个异步审批链路包含5个步骤，每个步骤都需要读取会话状态。如果每个读操作都要求强一致，那么整个链路的延迟会累加，且任何节点故障都会导致任务阻塞。因此，强一致性在异步SSO中仅用于关键状态变更点（如登出、权限吊销），而非常规会话读取。
3.3.2 最终一致性
最终一致性允许会话状态在短时间内存在不一致，但保证“如果没有新的更新，最终所有节点都会达到一致状态”。在异步任务编排中，最终一致性是更务实的选择：
- 异步复制： 会话状态写入主节点后，异步同步到从节点或缓存。
- 版本号/时间戳： 每个会话携带版本号或时间戳，节点通过比较版本决定是否接受状态。
- 补偿机制： 当检测到不一致时，通过重试、回滚或补偿任务修复状态。
| 对比维度 | 强一致性 | 最终一致性 |
|---|---|---|
| 延迟 | 高（等待所有节点确认） | 低（主节点写入即返回） |
| 吞吐量 | 低（串行化写入） | 高（并行异步复制） |
| 不一致窗口 | 无 | 存在（通常毫秒~秒级） |
| 用户感知 | 操作立即可见 | 短暂延迟后可见 |
| 异步任务适配性 | 差（任务阻塞风险高） | 好（天然匹配异步模型） |
| 实现复杂度 | 高（需要共识协议） | 中（需要补偿机制） |
异步任务编排的推荐策略： 采用分层一致性模型——会话的元数据（如会话ID、用户ID）使用最终一致性，保证高吞吐；而关键状态（如登出标记、权限版本）使用强一致性，通过分布式锁或乐观锁保护。这样既保证了核心安全，又兼顾了异步任务的执行效率。