【Seata】分布式事务问题和理论基础

2023-09-18 22:02:59

目录

1.分布式事务问题

1.1本地事务

1.2分布式事务

2.理论基础

2.1CAP定理

2.1.1一致性

2.1.2可用性

2.1.3分区容错

2.1.4矛盾

2.2BASE理论

2.3解决分布式事务的思路

1.分布式事务问题

1.1本地事务

本地事务,也就是传统的单机事务。在传统数据库事务中,必须要满足四个原则:

1.2分布式事务

分布式事务,就是指不是在单个服务或单个数据库架构下,产生的事务,例如:

  • 跨数据源的分布式事务

  • 跨服务的分布式事务

  • 综合情况

在数据库水平拆分、服务垂直拆分之后,一个业务操作通常要跨多个数据库、服务才能完成。例如电商行业中比较常见的下单付款案例,包括下面几个行为:

  • 创建新订单

  • 扣减商品库存

  • 从用户账户余额扣除金额

完成上面的操作需要访问三个不同的微服务和三个不同的数据库。

订单的创建、库存的扣减、账户扣款在每一个服务和数据库内是一个本地事务,可以保证ACID原

则。

但是当我们把三件事情看做一个"业务",要满足保证“业务”的原子性,要么所有操作全部成功,要

么全部失败,不允许出现部分成功部分失败的现象,这就是分布式系统下的事务了。

此时ACID难以满足,这是分布式事务要解决的问题

1.3演示分布式事务问题

我们通过一个案例来演示分布式事务的问题:

1)创建数据库,名为seata_demo,然后导入课前资料提供的SQL文件:

2)导入课前资料提供的微服务:

微服务结构如下:

其中:

seata-demo:父工程,负责管理项目依赖

  • account-service:账户服务,负责管理用户的资金账户。提供扣减余额的接口

  • storage-service:库存服务,负责管理商品库存。提供扣减库存的接口

  • order-service:订单服务,负责管理订单。创建订单时,需要调用account-service和storage-service

3)启动nacos、所有微服务

4)测试下单功能,发出Post请求:

请求如下:

curl --location --request POST 'http://localhost:8082/order?userId=user202103032042012&commodityCode=100202003032041&count=20&money=200'

如图:

测试发现,当库存不足时,如果余额已经扣减,并不会回滚,出现了分布式事务问题。

2.理论基础

解决分布式事务问题,需要一些分布式系统的基础知识作为理论指导。

2.1CAP定理

1998年,加州大学的计算机科学家 Eric Brewer 提出,分布式系统有三个指标。

  • Consistency(一致性)

  • Availability(可用性)

  • Partition tolerance (分区容错性)

 

它们的第一个字母分别是 C、A、P。

Eric Brewer 说,这三个指标不可能同时做到。这个结论就叫做 CAP 定理。

2.1.1一致性

Consistency(一致性):用户访问分布式系统中的任意节点,得到的数据必须一致。

比如现在包含两个节点,其中的初始数据是一致的:

当我们修改其中一个节点的数据时,两者的数据产生了差异:

要想保住一致性,就必须实现node01 到 node02的数据 同步:

2.1.2可用性

Availability (可用性):用户访问集群中的任意健康节点,必须能得到响应,而不是超时或拒绝。

如图,有三个节点的集群,访问任何一个都可以及时得到响应:

当有部分节点因为网络故障或其它原因无法访问时,代表节点不可用:

2.1.3分区容错

Partition(分区):因为网络故障或其它原因导致分布式系统中的部分节点与其它节点失去连接,

形成独立分区。

Tolerance(容错):在集群出现分区时,整个系统也要持续对外提供服务

2.1.4矛盾

在分布式系统中,系统间的网络不能100%保证健康,一定会有故障的时候,而服务有必须对外保

证服务。因此Partition Tolerance不可避免。

当节点接收到新的数据变更时,就会出现问题了:

如果此时要保证一致性,就必须等待网络恢复,完成数据同步后,整个集群才对外提供服务,服务

处于阻塞状态,不可用。

如果此时要保证可用性,就不能等待网络恢复,那node01、node02与node03之间就会出现数据不

一致。

也就是说,在P一定会出现的情况下,A和C之间只能实现一个。

2.2BASE理论

BASE理论是对CAP的一种解决思路,包含三个思想:

  • Basically Available (基本可用):分布式系统在出现故障时,允许损失部分可用性,即保证核心可用。

  • Soft State(软状态):在一定时间内,允许出现中间状态,比如临时的不一致状态。

  • Eventually Consistent(最终一致性):虽然无法保证强一致性,但是在软状态结束后,最终达到数据一致。

2.3解决分布式事务的思路

分布式事务最大的问题是各个子事务的一致性问题,因此可以借鉴CAP定理和BASE理论,有两种解决思路:

  • AP模式:各子事务分别执行和提交,允许出现结果不一致,然后采用弥补措施恢复数据即可,实现最终一致。

  • CP模式:各个子事务执行后互相等待,同时提交,同时回滚,达成强一致。但事务等待过程中,处于弱可用状态。

但不管是哪一种模式,都需要在子系统事务之间互相通讯,协调事务状态,也就是需要一个事务协调者(TC)

这里的子系统事务,称为分支事务;有关联的各个分支事务在一起称为全局事务

更多推荐

数据结构-----串(String)详解

目录前言1.串的定义相关类型2.串的储存结构顺序储存表示堆分配储存表示块链储存表示3.串的操作方式4.串的匹配算法(1)BF算法过程原理代码实现(C/C++)算法分析(2)KMP算法过程原理匹配过程:获取next数组:代码实现(C/C++)算法分析前言前面我们学习了顺序表和线性表,这两种数据结构的储存数据域可以是一个任

EasyCode整合mybatis-plus的配置

文章目录entitymapper.javamapper.xmlserviceserviceImplcontroller这篇文章不教你如何安装和使用EasyCode,只是贴出可以使用的配置。具体EasyCode的使用可以查看其它的文章。entity##导入宏定义$!{define.vm}##保存文件(宏定义)#save(

AI图像渲染

得益于AI技术的极大提升,我们可以耗费更少的计算资源和带宽来实现更清晰,细节更丰富和帧率更高的画面。什么是DLSSDLSS是一种利用深度学习的超级采样技术,可以在低分辨率的渲染下生成高分辨率的画面,从而提高游戏的性能和画质。DLSS的原理是通过在超级计算机上训练一个神经网络,来学习不同游戏和场景的图像特征,然后在GPU

Postgresql事务测试

参考一个事务中可以查询自己未提交的数据吗_最详细MySQL事务隔离级别及原理讲解!(二)-CSDN博客一个事务中可以查询自己未提交的数据吗_趣说数据库事务隔离级别与原理_weixin_39747293的博客-CSDN博客【MySql:当前读与快照读】_当前读和快照读_QuietThinking的博客-CSDN博客Pos

单片机第三季-第二课:STM32存储器、电源和时钟体系

目录1,存储器1.1,位带操作2,启动模式3,电源管理系统4,复位和时钟4.1,复位4.2,时钟1,存储器ICode总线:该总线将Cortex™-M3内核的指令总线与闪存指令接口相连接。指令预取在此总线上完成。DCode总线:该总线将Cortex™-M3内核的DCode总线与闪存存储器的数据接口相连接(常量加载和调试访

算法|图论 4

LeetCode827.最大人工岛题目链接:力扣(LeetCode)官网-全球极客挚爱的技术成长平台题目描述:给你一个大小为nxn二进制矩阵grid。最多只能将一格0变成1。返回执行此操作后,grid中最大的岛屿面积是多少?岛屿由一组上、下、左、右四个方向相连的1形成。解题思路(深度优先遍历):首先,通过深度优先遍历,

怒刷LeetCode的第7天(Java版)

目录第一题题目来源题目内容解决方法方法一:二分+贪心方法二:二分+DP第二题题目来源题目内容解决方法方法一:双指针方法二:暴力搜索方法三:排序第三题题目来源题目内容解决方法方法一:回溯算法方法二:队列方法三:递归方法四:迭代第一题题目来源2560.打家劫舍IV-力扣(LeetCode)题目内容解决方法方法一:二分+贪心

在IOS 的开发中iBeacon和BLE的区别

区分3个概念beacon、BLE、iBeaconBLE全称为BluetoothLowEnergy,蓝牙低功耗技术。现在的蓝牙技术所消耗的功耗很低,并不像传闻中不使用蓝牙需要关闭省电,手机上长期打开蓝牙所消耗的电量可以忽略不计。beacon是用于室内定位,基于BLE协议的在广播搜索上稍作变化变更了数据类型实现的一个应用场

智能井盖:提升城市井盖安全管理效率

窨井盖作为城市基础设施的重要组成部分,其安全管理与城市的有序运行和群众的生产生活安全息息相关,体现城市管理和社会治理水平。当前,一些城市已经将智能化的窨井盖升级改造作为新城建的重要内容,推动窨井盖等“城市部件”配套建设物联智能感知设备,促进现代信息技术与城市生命线深度融合,提升窨井盖安全管理效率和水平。智能井盖通过再井

Java集合--Collection、Map、List、Set、Iterator、Collections工具类

文章目录一、Java集合框架概述二、Collection接口方法2.1、Collection子接口一:List2.1.1、ArrayLIst的源码分析2.1.2、LinkedList的源码分析2.1.3、List接口中的常用方法2.2、Collection子接口二:Set2.2.1、Set接口的无序性2.2.2、添加元

设计模式:模板方法模式

目录组件代码示例源码中使用优缺点总结模板方法模式(TemplateMethodPattern)是一种行为型设计模式,它定义了一个算法的骨架,将某些步骤的具体实现延迟到子类中。模板方法模式通过将共同的行为放在父类中,而将具体的实现交给子类来完成,从而实现了代码的复用和扩展。在模板方法模式中,父类定义了一个模板方法,该方法

热文推荐