1. 分布式事务概述

1.1 问题背景

在分布式系统中,业务操作可能跨越多个服务或数据库(如订单服务、库存服务、支付服务),传统单机事务(ACID)无法满足跨网络节点的数据一致性需求。

  • 网络不可靠:服务间调用可能失败或超时。
  • 数据一致性:不同节点间的状态需最终一致。
  • 性能与可用性:避免长时间锁资源导致系统阻塞。

分布式事务的核心目标是确保 跨服务/数据库的操作要么全部成功,要么全部回滚

2. 分布式事务解决方案

2.1 两阶段提交(2PC)

原理

  • 阶段一(Prepare):协调者询问所有参与者是否可提交,参与者锁定资源并返回“同意”或“拒绝”。
  • 阶段二(Commit/Rollback):若所有参与者同意,协调者发送提交命令;否则发送回滚命令。

以下是一个简化的 Java 两阶段提交(2PC) 具体实现示例,包含协调者(Coordinator)和参与者(Participant)的核心逻辑。代码通过模拟数据库操作展示2PC的关键流程:


1. 参与者(Participant)实现

每个参与者代表一个独立的数据库或服务,需支持准备(Prepare)、提交(Commit)、回滚(Rollback)操作。

import java.util.concurrent.atomic.AtomicBoolean;

/**
* 参与者(如数据库或服务)
*/
public class Participant {
private String name; // 参与者名称(如"DB1")
private AtomicBoolean prepared = new AtomicBoolean(false); // 准备状态
private AtomicBoolean committed = new AtomicBoolean(false); // 提交状态 public Participant(String name) {
this.name = name;
} /**
* 阶段一:准备操作(锁定资源)
* @return true表示准备成功,false表示失败
*/
public boolean prepare() {
try {
// 模拟资源锁定,实际可能为操作数据库
System.out.println(name + ": Trying to prepare...");
Thread.sleep(100); // 模拟网络延迟
boolean success = Math.random() > 0.2; // 80%概率成功
if (success) {
prepared.set(true);
System.out.println(name + ": Prepared successfully.");
return true;
} else {
System.out.println(name + ": Prepare failed.");
return false;
}
} catch (InterruptedException e) {
Thread.currentThread().interrupt();
return false;
}
} /**
* 阶段二:提交操作
*/
public void commit() {
if (prepared.get()) {
// 实际提交事务(如更新数据库)
committed.set(true);
System.out.println(name + ": Committed.");
} else {
System.out.println(name + ": Cannot commit without preparation.");
}
} /**
* 阶段二:回滚操作
*/
public void rollback() {
if (prepared.get()) {
// 实际回滚事务(如恢复数据)
prepared.set(false);
System.out.println(name + ": Rolled back.");
} else {
System.out.println(name + ": No need to rollback.");
}
} // 检查是否已提交
public boolean isCommitted() {
return committed.get();
}
}

2. 协调者(Coordinator)实现

协调者负责管理所有参与者,驱动两阶段提交流程。

import java.util.List;

/**
* 协调者(事务管理器)
*/
public class Coordinator {
private List<Participant> participants; public Coordinator(List<Participant> participants) {
this.participants = participants;
} /**
* 执行两阶段提交事务
* @return true表示事务成功提交,false表示失败
*/
public boolean executeTransaction() {
System.out.println("===== Phase 1: Prepare =====");
boolean allPrepared = participants.stream()
.allMatch(Participant::prepare); System.out.println("===== Phase 2: Commit/Rollback =====");
if (allPrepared) {
participants.forEach(Participant::commit);
System.out.println("Transaction committed successfully.");
return true;
} else {
participants.forEach(Participant::rollback);
System.out.println("Transaction rolled back due to failures.");
return false;
}
}
}

3. 客户端测试代码

模拟包含两个参与者的分布式事务场景。

import java.util.Arrays;

public class TwoPhaseCommitDemo {
public static void main(String[] args) {
// 创建两个参与者(如数据库DB1和DB2)
Participant db1 = new Participant("DB1");
Participant db2 = new Participant("DB2"); // 创建协调者并关联参与者
Coordinator coordinator = new Coordinator(Arrays.asList(db1, db2)); // 执行两阶段提交事务
boolean success = coordinator.executeTransaction(); // 输出最终状态
System.out.println("\nFinal Status:");
System.out.println("DB1 Committed: " + db1.isCommitted());
System.out.println("DB2 Committed: " + db2.isCommitted());
System.out.println("Transaction Result: " + (success ? "SUCCESS" : "FAILURE"));
}
}

4. 运行结果示例

成功场景(所有参与者准备成功)

===== Phase 1: Prepare =====
DB1: Trying to prepare...
DB1: Prepared successfully.
DB2: Trying to prepare...
DB2: Prepared successfully.
===== Phase 2: Commit/Rollback =====
DB1: Committed.
DB2: Committed.
Transaction committed successfully. Final Status:
DB1 Committed: true
DB2 Committed: true
Transaction Result: SUCCESS

失败场景(某一参与者准备失败)

===== Phase 1: Prepare =====
DB1: Trying to prepare...
DB1: Prepared successfully.
DB2: Trying to prepare...
DB2: Prepare failed.
===== Phase 2: Commit/Rollback =====
DB1: Rolled back.
DB2: No need to rollback.
Transaction rolled back due to failures. Final Status:
DB1 Committed: false
DB2 Committed: false
Transaction Result: FAILURE

5. 关键点说明

  1. 阶段一(Prepare)

    • 协调者询问所有参与者是否可以提交。
    • 参与者锁定资源并记录操作日志。
    • 任一参与者失败则整个事务回滚。
  2. 阶段二(Commit/Rollback)

    • 若所有参与者准备成功,协调者发送提交命令。
    • 若任一参与者失败,协调者发送回滚命令。
  3. 代码简化说明

    • 实际应用中需处理网络超时、重试和持久化日志。
    • 分布式场景下需使用RPC或HTTP替代本地方法调用。
    • 生产环境建议使用成熟的XA协议实现(如Atomikos、Narayana)。

6. 2PC的局限性

  • 同步阻塞:参与者在Prepare阶段后需阻塞等待协调者指令。
  • 单点故障:协调者宕机可能导致事务悬挂。
  • 数据不一致:协调者与参与者在Commit阶段同时宕机时,可能部分提交。

关注微信公众号,查看更多技术文章。

分布式事务之2PC两阶段提交的更多相关文章

  1. Atitit ACID解决方案2PC(两阶段提交)  跨越多个数据库实例的ACID保证

    Atitit ACID解决方案2PC(两阶段提交)  跨越多个数据库实例的ACID保证 1.1. ACID解决方案1 1.2. 数据库厂商在很久以前就认识到数据库分区的必要性,并引入了一种称为2PC( ...

  2. 关于分布式事务、两阶段提交、一阶段提交、Best Efforts 1PC模式和事务补偿机制的研究 转载

    1.XA XA是由X/Open组织提出的分布式事务的规范.XA规范主要定义了(全局)事务管理器(Transaction Manager)和(局部)资源管理器(Resource Manager)之间的接 ...

  3. 分布式事务、XA、两阶段提交、一阶段提交

    本文原文连接:http://blog.csdn.net/bluishglc/article/details/7612811 ,转载请注明出处! 1.XA XA是由X/Open组织提出的分布式事务的规范 ...

  4. 分布式事务 & 两阶段提交 & 三阶段提交

    可以参考这篇文章: http://blog.csdn.net/whycold/article/details/47702133 两阶段提交保证了分布式事务的原子性,这些子事务要么都做,要么都不做. 而 ...

  5. OceanBase分布式事务以及两阶段提交实现具体设计

    眼下OceanBase中还存在updaeserver单点,下一步的开发任务是使得OB支持多点写入,支持多个UPS(及updateserver). 当中难点是怎样设计两阶段提交的失败恢复以及多机的快照读 ...

  6. XA: 事务和两阶段提交

    本文原文连接:http://blog.csdn.net/bluishglc/article/details/7612811 ,转载请注明出处! 1.XA XA是由X/Open组织提出的两阶段提交协议, ...

  7. 分布式事务一2PC

    分布式事务解决方案之2PC(两阶段提交) 前面已经学习了分布式事务的基础理论,以理论为基础,针对不同的分布式场景业界常见的解决方案有2PC.TCC.可靠消息最终一致性.最大努力通知这几种. 3.1.什 ...

  8. 使用golang理解mysql的两阶段提交

    使用golang理解mysql的两阶段提交 文章源于一个问题:如果我们现在有两个mysql实例,在我们要尽量简单地完成分布式事务,怎么处理? 场景重现 比如我们现在有两个数据库,mysql3306和m ...

  9. MySQL源码之两阶段提交

    在双1的情况下,两阶段提交的过程 环境准备:mysql 5.5.18, innodb 1.1 version配置: sync_binlog=1 innodb_flush_log_at_trx_comm ...

  10. 分布式事务专题笔记(二)分布式事务解决方案之 2PC(两阶段提交)

    个人博客网:https://wushaopei.github.io/    (你想要这里多有) 前面已经了解了分布式事务的基础理论,以理论为基础,针对不同的分布式场景业界常见的解决方案有2PC.TCC ...

随机推荐

  1. apisix lua插件开发

    1. 怎么定义ngx自定义变量 ngx.var.custom_var nginx_config: # config for render the template to generate nginx. ...

  2. lua获取请求参数以及在nginx.conf中使用

    -- 获取请求路径 local request_uri = ngx.var.request_uri -- 从 header中取值 local token = ngx.req.get_headers() ...

  3. (Python基础教程之七)Python字符串操作

    Python基础教程 在SublimeEditor中配置Python环境 Python代码中添加注释 Python中的变量的使用 Python中的数据类型 Python中的关键字 Python字符串操 ...

  4. golang之循环导包

    作为一个 Golang 开发,你可能在项目中遇到过包的循环依赖问题.Golang 不允许循环依赖,如果检测到代码中存在这种情况,在编译时就会抛出异常. 循环依赖 假设我们有两个包:p1和p2.当包p1 ...

  5. Pycharm之使用git merge合并分支

    当我们在某个分支上代码开发完成,代码测试没问题后需要把分支上的代码合并到 master 分支上.这样保证 master 分支的代码永远都是最新的,也是最干净的,这样才可以持续的开发自己的项目.本篇讲解 ...

  6. NOIP2024加赛8

    NOIP2024加赛8 T1 flandre 第 4 个样例没给全,说明这可以直接猜结论 首先我们假设选定了 $ x $ 个数,那么我们肯定是把他们从小到大排好序依次放,这样才能使整体效果最大.然后我 ...

  7. 【Java基础】-- instanceof 用法详解

    1. instanceof关键字 如果你之前一直没有怎么仔细了解过instanceof关键字,现在就来了解一下: instanceof其实是java的一个二元操作符,和=,<,>这些是类似 ...

  8. go mod使用小结

    转载请注明出处: go mod 命令是用于管理 Go 语言项目的模块依赖关系的工具.Go 语言从 1.11 版本开始引入了模块支持,并在后续版本中逐渐完善.模块是 Go 语言代码的一个集合,每个模块都 ...

  9. ehcarts 实战小计-1

    需求 展示未来未来36个月(等分为3个时间范围)的经济效益趋势,3个等分时间区域在趋势图上方常显,不同时间区域之间通过灰色虚线间隔开: 鼠标hover趋势图每个1/3区域,对应区域会有以下3个效果: ...

  10. intellij idea 自动生成test单元测试

    1. 创建测试类 打开IDEA,在任意类名,任意接口名上,按ctrl+shift+t选择Create New Test   image 然后根据提示操作(默认即可),点击确认,就在项目的/test/j ...