Skip to main content

事务处理模型

AT​

AT（Automatic Transaction）是一种自动事务处理机制，它采用了先进的技术来实现分布式事务的一致性和可靠性。AT 机制可以自动地为应用程序控制分布式事务，并在事务提交或回滚前进行必要的检查以保证事务的原子性、一致性和持久性。

AT 机制主要包括以下几个步骤：

  1. 预处理阶段：当一个事务提交时，AT 会自动将该事务分解成若干个本地事务，并在参与者上注册这些本地事务。在预处理阶段，每个参与者都会在本地执行对应的本地事务，并将其状态反馈给协调者。
  2. 提交阶段：如果所有参与者的本地事务都成功执行，则协调者发送提交请求，要求所有参与者提交本地事务。如果有任何一个参与者的本地事务执行失败，则协调者发送回滚请求，要求所有参与者回滚本地事务。
  3. 恢复阶段：如果在预处理阶段中发生故障，AT 会尝试恢复整个事务，并将所有参与者的本地事务回滚或提交至一致状态。

TCC​

TCC（Try-Confirm-Cancel）是一种分布式事务处理模型。在 TCC 模型中，事务被分为三个阶段：尝试(Try)、确认(Confirm)和取消(Cancel)。在尝试阶段，系统会尝试执行所有的操作，如果所有操作都执行成功，则进入确认阶段，进行数据的提交，否则进入取消阶段，进行数据回滚。

TCC 模型适用于大规模分布式系统，特别是在微服务架构中使用较多。它可以保证在高并发场景下，数据的一致性和完整性，同时也具备较高的可伸缩性和可靠性。

在实现 TCC 模型时，需要考虑到很多方面，比如如何保证幂等性、如何处理异常情况、如何确保各个服务之间的通讯等。因此，在实际应用中，需要仔细设计和实现 TCC 模型，以保证其稳定和可靠。

SAGA​

SAGA 是一种分布式事务处理模型，它的全称是“Saga Pattern”，也被称为“长事务（Long-Running Transaction）”模式。在 SAGA 模型中，一个复杂的业务操作被拆分成多个子事务，每个子事务都有自己的补偿操作。

当某个子事务执行失败时，系统会调用该子事务的补偿操作来撤销已经完成的部分工作，保证数据的一致性和完整性。这使得 SAGA 模型更加灵活，允许在运行过程中对事务进行调整和修正，同时也可以避免因为单点故障导致整个事务无法完成的问题。

2

成功的情况

image-20230401212056099

失败的情况

image-20230401212132690

XA​

XA 是指分布式事务的标准接口，它定义了在分布式环境中进行事务处理的方式。XA 协议可以用于支持跨多个资源管理器（如数据库、消息队列等）的分布式事务。

XA 协议一般包括两个阶段：prepare 和 commit。在 prepare 阶段，参与者会向协调者发送 prepare 请求，询问是否可以执行该事务以及是否可以提交该事务。如果所有参与者都返回“可以”响应，则进入 commit 阶段，协调者向所有参与者发送 commit 请求，让它们提交该事务。如果有一个或多个参与者返回“不可以”的响应，则协调者会向所有参与者发送 rollback 请求，让他们回滚该事务。

XA 协议要求所有参与者必须支持事务上下文和事务状态的保存和恢复。事务上下文是指与当前事务相关的所有信息，包括唯一标识符、事务类型、参与者列表等。事务状态是指事务的当前状态，包括已提交、已回滚或待提交等。

使用 XA 协议可以保证分布式事务的原子性和一致性。