深入理解分布式事务 : 原理与实战 = Dive into distributed transaction Shen ru li jie fen bu shi shi wu : Yuan li yu shi zhan = Dive into distributed transaction

本书的广度与深度兼备、理论与实战兼顾的分布式事务专著,它从基础知识、解决方案、原理分析、源码实现、工程实战5个维度对分布式事务做了全面、细致的讲解,试图解决你在实践中遇到的所有关于分布式事务的问题。 两位作者都是分布式事务领域的资深架构专家,是Apache ShenYu(incubating)网关创始人、Hmily、RainCat、Myth等分布式事务框架的创始人。本书因为内容扎实,所以得到了来自京东、阿里、腾讯、蚂蚁金服、滴滴、饿了么、58集团、IBM等互联网大厂及Apache软件基金会的近20位专家的高度评价。 基础知识维度:首先全面介绍了事务和分布式事务的概念和基础知识,然后详细讲解了MySQL事务和Spring事务的实现原理; 解决方案维度:详细介绍了分布式事务的各种解决方案,包括强一致性分布式事务解决方案和Z终一致性分布式事务解决方案; 原... 本书的广度与深度兼备、理论与实战兼顾的分布式事务专著,它从基础知识、解决方案、原理分析、源码实现、工程实战5个维度对分布式事务做了全面、细致的讲解,试图解决你在实践中遇到的所有关于分布式事务的问题。 两位作者都是分布式事务领域的资深架构专家,是Apache ShenYu(incubating)网关创始人、Hmily、RainCat、Myth等分布式事务框架的创始人。本书因为内容扎实,所以得到了来自京东、阿里、腾讯、蚂蚁金服、滴滴、饿了么、58集团、IBM等互联网大厂及Apache软件基金会的近20位专家的高度评价。 基础知识维度:首先全面介绍了事务和分布式事务的概念和基础知识,然后详细讲解了MySQL事务和Spring事务的实现原理; 解决方案维度:详细介绍了分布式事务的各种解决方案,包括强一致性分布式事务解决方案和Z终一致性分布式事务解决方案; 原理分析维度:详细讲解了分布式事务的原理,包括XA强一致性分布式事务、TCC分布式事务、可靠消息Z终一致性分布式事务和Z大努力通知型分布式事务的原理。 源码实现维度:深入分析了Atomikos,Narayana框架实现XA强一致性分布式事务解决方案的源码,以及Dromara开源社区的Hmily分布式事务框架实现TCC分布式事务的源码; 工程实践维度:通过多个在生产环境中经历了高并发、大流量考验的综合案例,讲解了XA强一致性分布式事务、TCC分布式事务、可靠消息Z终一致性分布式事务和Z大努力通知型分布式事务的工程实践方法。 全书配有大量流程图和原理图,便于读者阅读理解;精选了大量来自生产环境的完整案例及其代码,便于读者动手实践。阅读本书,你将体验到事半功倍的效果。 目 录 2 版权信息 7 作者简介 8 关于本书 9 推荐语 10 序 12 前言 13 第一部分 16 分布式事务基础 16 第1章 17 事务的基本概念 17 1.1 18 事务的特性 18 1.2 23 事务的类型 23 1.3 29 本地事务 29 1.4 33 MySQL事务基础 33 1.5 58 本章小结 58 第2章 59 MySQL事务的实现原理 59 2.1 60 Redo Log 60 2.2 71 Undo Log 71 2.3 79 BinLog 79 2.4 89 MySQL事务流程 89 2.5 93 MySQL中的XA事务 93 2.6 102 本章小结 102 第3章 103 Spring事务的实现原理 103 3.1 104 Spring事务原理 104 3.2 110 Spring事务三大接口 110 3.3 117 Spring事务隔离级别 117 3.4 118 Spring事务传播机制 118 3.5 124 Spring事务嵌套最佳实践 124 3.6 146 Spring事务失效的场景 146 3.7 156 本章小结 156 第4章 157 分布式事务的基本概念 157 4.1 158 分布式系统架构 158 4.2 161 分布式系统架构演进 161 4.3 167 分布式事务场景 167 4.4 171 数据一致性 171 4.5 174 本章小结 174 第5章 175 分布式事务的理论知识 175 5.1 176 CAP理论 176 5.2 181 Base理论 181 5.3 182 本章小结 182 第二部分 183 分布式事务解决方案 183 第6章 184 强一致性分布式事务解决方案 184 6.1 185 强一致性事务概述 185 6.2 189 DTP模型 189 6.3 192 2PC模型 192 6.4 198 3PC模型 198 6.5 204 本章小结 204 第7章 205 最终一致性分布式事务解决方案 205 7.1 206 最终一致性分布式事务概述 206 7.2 210 服务模式 210 7.3 216 TCC解决方案 216 7.4 223 可靠消息最终一致性解决方案 223 7.5 230 最大努力通知型解决方案 230 7.6 238 本章小结 238 第三部分 239 分布式事务原理 239 第8章 240 XA强一致性分布式事务原理 240 8.1 241 X/Open DTP模型与XA规范 241 8.2 247 MySQL对XA规范的支持 247 8.3 252 XA规范的问题思考 252 8.4 258 主流的解决方案 258 8.5 259 本章小结 259 第9章 260 TCC分布式事务原理 260 9.1 261 TCC核心思想 261 9.2 264 TCC实现原理 264 9.3 268 TCC核心流程 268 9.4 274 TCC关键技术 274 9.5 276 本章小结 276 第10章 277 可靠消息最终一致性分布式事务原理 277 10.1 278 基本原理 278 10.2 279 本地消息表 279 10.3 282 独立消息服务 282 10.4 286 RocketMQ事务消息 286 10.5 290 消息发送的一致性 290 10.6 296 消息接收的一致性 296 10.7 301 消息的可靠性 301 10.8 305 本章小结 305 第11章 306 最大努力通知型分布式事务原理 306 11.1 307 适用场景 307 11.2 308 方案特点 308 11.3 309 基本原理 309 11.4 311 异常处理 311 11.5 312 本章小结 312 第四部分 313 分布式事务源码与实战 313 第12章 314 XA强一致性分布式事务解决方案源码解析 314 12.1 315 分布式数据一致性场景的搭建 315 12.2 324 ShardingSphere对XA分布式事务方案的整合 324 12.3 334 ShardingSphere对Atomikos方案的实战与源码解析 334 12.4 364 ShardingSphere对Narayana方案的实战与源码解析 364 12.5 393 本章小结 393 第13章 394 Hmily-TCC分布式事务解决方案源码解析 394 13.1 395 Hmily-TCC分布式场景的搭建 395 13.2 405 Hmily框架初始流程源码解析 405 13.3 428 Hmily-TCC分布式事务源码解析 428 13.4 460 Hmily对RPC框架的支持 460 13.5 479 Hmily-TCC事务恢复源码解析 479 13.6 484 本章小结 484 第14章 485 XA强一致性分布式事务实战 485 14.1 486 场景说明 486 14.2 487 程序模块说明 487 14.3 488 数据库表设计 488 14.4 490 程序实现 490 14.5 508 测试程序 508 14.6 510 本章小结 510 第15章 511 TCC分布式事务实战 511 15.1 512 场景说明 512 15.2 513 程序模块说明 513 15.3 514 数据库表设计 514 15.4 517 实现项目公共模块 517 15.5 530 实现转出银行微服务 530 15.6 545 实现转入银行微服务 545 15.7 550 测试程序 550 15.8 553 本章小结 553 第16章 554 可靠消息最终一致性分布式事务实战 554 16.1 555 场景说明 555 16.2 557 程序模块说明 557 16.3 558 RocketMQ环境搭建与测试 558 16.4 565 数据库表设计 565 16.5 567 实现订单微服务 567 16.6 585 实现库存微服务 585 16.7 593 测试程序 593 16.8 596 本章小结 596 第17章 597 最大努力通知型分布式事务实战 597 17.1 598 场景说明 598 17.2 599 程序模块说明 599 17.3 600 数据库表设计 600 17.4 602 实现账户微服务 602 17.5 620 实现充值微服务 620 17.6 626 测试程序 626 17.7 628 本章小结 628