📚 课程目录第1章课程导论

1. 课程导论：分布式事务的挑战与事件风暴的价值

在微服务架构与云原生技术广泛普及的今天，分布式事务已成为企业级系统设计中无法回避的核心难题。传统单体数据库的本地事务（ACID）在跨服务、跨数据库的场景下迅速失效，而分布式事务的复杂性往往导致系统一致性受损、开发效率下降、故障定位困难。本章将系统梳理分布式事务面临的核心挑战，并引入事件风暴（Event Storming）这一协作建模方法，揭示其在领域事件建模与分布式事务设计中的独特价值。

1.1 分布式事务的核心挑战

分布式事务的本质是在多个独立节点（服务、数据库、消息队列）之间维持数据一致性。与单机事务不同，分布式环境引入了网络延迟、节点故障、分区容错等不可控因素，使得传统事务的原子性、一致性、隔离性、持久性难以直接保障。下表总结了分布式事务面临的主要挑战及其影响：

挑战维度	具体问题	典型影响
网络不确定性	请求超时、丢包、乱序、网络分区	事务状态无法确定，需引入补偿或重试
节点故障	服务宕机、数据库崩溃、消息中间件不可用	部分操作已提交，部分未完成，数据不一致
数据异构	不同服务使用不同数据库（MySQL、MongoDB、Redis）	无法使用全局锁或分布式XA协议
一致性模型冲突	强一致性 vs 最终一致性	业务需求与系统性能难以平衡
事务边界模糊	业务操作跨多个限界上下文（Bounded Context）	事务范围难以界定，容易过度设计或遗漏
调试与观测困难	分布式链路长，日志分散，缺乏全局事务ID	故障排查耗时，回滚逻辑难以验证

  关键认知： 分布式事务的挑战并非技术选型问题，而是业务建模与系统边界划分的问题。许多事务冲突源于领域模型未对齐、限界上下文划分不当，而非单纯的技术实现缺陷。

1.2 传统分布式事务方案的局限性

业界已提出多种分布式事务解决方案，如两阶段提交（2PC）、TCC（Try-Confirm/Cancel）、Saga、本地消息表等。然而，这些方案在实际落地中普遍存在以下痛点：

2PC：强依赖协调者，存在单点阻塞风险，性能低下，不适合高并发场景。
TCC：业务侵入性强，每个服务需实现 Try、Confirm、Cancel 三个接口，开发成本高。
Saga：缺乏隔离性，补偿逻辑复杂，长事务场景下容易产生脏读。
本地消息表：依赖消息中间件可靠性，存在消息重复消费与顺序问题。

这些方案的共同缺陷是：从技术实现出发，而非从业务领域出发。开发者往往在编码阶段才开始考虑事务边界，导致事务逻辑与业务逻辑耦合紧密，后期维护成本急剧上升。

1.3 事件风暴：从业务事件出发的建模方法

事件风暴（Event Storming） 是由 Alberto Brandolini 提出的一种协作式领域建模工作坊方法。它通过领域事件（Domain Event）作为核心驱动要素，让业务专家、开发人员、测试人员、产品经理等角色在短时间内共同梳理出完整的业务流程与系统边界。事件风暴的核心产出包括：

领域事件：业务中已经发生的、不可改变的事实（如“订单已支付”“库存已扣减”）。
命令（Command）：触发领域事件的操作（如“提交支付请求”）。
聚合（Aggregate）：保证事务一致性的业务实体边界。
限界上下文（Bounded Context）：领域模型的边界划分。
策略（Policy）：事件触发后的自动反应规则。

实践建议： 在分布式事务建模中，事件风暴可以帮助团队在设计阶段就识别出哪些操作必须在一个事务内完成（强一致性），哪些可以异步最终一致（最终一致性），从而避免在编码阶段反复修改事务边界。

1.4 事件风暴在分布式事务中的核心价值

将事件风暴应用于分布式事务建模，能够从根源上解决传统方案面临的挑战。其核心价值体现在以下四个维度：

价值维度	具体体现	对分布式事务的贡献
1. 明确事务边界	通过聚合与限界上下文，清晰界定哪些操作属于同一事务单元	避免跨服务强事务，减少分布式事务使用频率
2. 识别一致性需求	通过领域事件与策略，区分强一致性与最终一致性场景	精准选择事务方案（Saga vs TCC vs 本地消息）
3. 降低补偿复杂度	事件驱动的补偿流程天然适配 Saga 模式	补偿逻辑与业务事件对齐，减少人工编码错误
4. 提升协作效率	业务专家与技术人员在同一画布上对齐事务流程	减少需求误解，降低后期返工成本

1.5 事件风暴画布与领域事件建模的关系

本课程的核心实践工具是事件风暴画布（Event Storming Canvas），它是一种结构化的协作白板，用于在分布式事务场景中系统化地建模领域事件。画布通常包含以下关键区域：

事件流（Event Flow）：按时间顺序排列的领域事件，构成事务的主干流程。
命令与聚合：每个事件对应的触发命令及其所属的聚合边界。
策略与外部系统：事件触发的自动反应规则及与外部服务的交互。
事务一致性标注：在事件流上标注强一致性区域与最终一致性区域。

通过事件风暴画布，团队可以在数小时内完成一个复杂分布式事务场景的建模，产出清晰的领域事件清单、聚合边界定义以及事务一致性策略。这为后续的技术选型（如选择 Saga 或 TCC）和代码实现提供了坚实的业务基础。

1.6 本课程的学习路径

本课程共 30 章，从事件风暴基础开始，逐步深入到分布式事务建模的完整实践。以下是课程的核心模块划分：

基础篇（第1-5章）：事件风暴方法论、领域事件定义、聚合与限界上下文识别。
建模篇（第6-15章）：在事件风暴画布上建模分布式事务场景，包括 Saga、TCC、本地消息表等模式的事件建模。
实践篇（第16-25章）：结合真实案例（电商订单、支付结算、库存同步等）进行完整的事件风暴工作坊演练。
进阶篇（第26-30章）：事件溯源（Event Sourcing）、CQRS 与分布式事务的融合，以及事件风暴在遗留系统改造中的应用。

学习前提： 建议读者具备基本的微服务架构知识，了解分布式事务的基本概念（如 CAP、BASE、2PC、Saga）。无需精通 DDD，但了解领域驱动设计的基本术语（实体、值对象、聚合）将有助于更快上手。

1.7 本章小结

分布式事务的挑战本质上是业务边界与技术实现之间的错位。事件风暴通过领域事件驱动的方式，让团队在建模阶段就对齐业务认知、明确事务边界、区分一致性需求，从而在源头上降低分布式事务的复杂度。本课程将带领你掌握事件风暴画布在分布式事务场景中的完整建模实践，从理论到案例，从画布到代码，构建一套可落地的分布式事务建模体系。