RocketMQ事务消息 - 二阶段提交如何保证分布式事务的终极一致性？

本文链接：https://blog.csdn.net/weixin_46619605/article/details/148301031

在微服务架构盛行的今天，跨服务的数据一致性问题始终是开发者的心头大患。而RocketMQ的事务消息（Transactional Message）凭借其两阶段提交（2PC）机制，成为解决分布式事务的经典方案之一。

一、事务消息的核心思想：为什么需要二阶段提交？

1.1 传统方案的痛点
同步调用：支付服务调用库存服务失败时，如何保证订单状态与库存扣减的一致？
异步消息：普通消息队列无法确保“本地事务与消息发送”的原子性，可能导致脏数据或漏消费。

1.2 事务消息的破局之道
RocketMQ通过两阶段提交协议（2PC）和消息回查机制，实现了：

强一致性：本地事务与消息发送绑定，要么全成功，要么全失败。
最终一致性：即使生产者宕机，也能通过回查机制恢复事务状态。
低侵入性：无需引入额外组件（如数据库表），仅需实现监听器即可。

二、事务消息的二阶段提交全流程解析

2.1 第一阶段：发送半消息（Half Message）

// 生产者初始化
TransactionMQProducer producer = new TransactionMQProducer("order_group");
producer.setNamesrvAddr("127.0.0.1:9876");

// 设置事务监听器
producer.setTransactionListener(new TransactionListener() {
    // 执行本地事务
    @Override
    public LocalTransactionState executeLocalTransaction(Message msg, Object arg) {
        try {
            // 模拟订单状态更新
            boolean success = orderService.updateOrderStatus(orderId, "PAID");
            return success ? LocalTransactionState.COMMIT_MESSAGE : LocalTransactionState.ROLLBACK_MESSAGE;
        } catch (Exception e) {
            return LocalTransactionState.ROLLBACK_MESSAGE;
        }
    }

    // 回查事务状态
    @Override
    public LocalTransactionState checkLocalTransaction(MessageExt msg) {
        String orderId = msg.getUserProperty("orderId");
        Order order = orderService.getOrder(orderId);
        return "PAID".equals(order.getStatus()) 
               ? LocalTransactionState.COMMIT_MESSAGE 
               : LocalTransactionState.ROLLBACK_MESSAGE;
    }
});

流程详解
1、发送半消息：

生产者向Broker发送RMQ_SYS_TRANS_HALF_TOPIC主题的消息，此时消息对消费者不可见。
Broker返回ACK确认消息接收成功。

2、执行本地事务：

生产者收到ACK后，立即执行本地业务操作（如更新订单状态为已支付）。
若本地事务失败，直接返回ROLLBACK_MESSAGE；若成功，返回COMMIT_MESSAGE。

3、事务状态上报：

COMMIT：将半消息转移到目标Topic（如stock_deduction_topic），消费者可见。
ROLLBACK：删除半消息。
UNKNOW：进入回查流程。
Broker根据返回结果决定后续动作：

2.2 第二阶段：事务状态回查（Checkback）
触发条件
生产者未在预设时间内（默认1分钟）提交/回滚事务。
网络抖动导致事务状态上报丢失。

回查流程
1、Broker启动定时任务扫描RMQ_SYS_TRANS_HALF_TOPIC中的半消息。
2、对于超时未决的事务，向生产者发起HTTP回调（基于checkLocalTransaction方法）。
3、生产者查询本地事务状态（如数据库记录），返回COMMIT或ROLLBACK。
4、Broker根据回查结果最终处理消息。

三、事务消息的底层实现：从源码看设计智慧

3.1 关键组件解析
在这里插入图片描述

3.2 消息存储结构

[RMQ_SYS_TRANS_HALF_TOPIC]
┌────────────┬───────────────┬───────────────┐
│ Topic      │ Message Queue │ Key           │
├────────────┼───────────────┼───────────────┤
│ RMQ_SYS... │ 0             │ transaction_id│
└────────────┴───────────────┴───────────────┘

半消息通过transaction_id与本地事务绑定，便于回查时快速定位。