事物的四种特性(ACID)
- 原子性
事物是数据库的逻辑最小单位,要么都执行,要么都不执行 - 一致性
事物执行的结果必须从一个一致性状态到另一个一致性状态,如果数据库只包含事物提交成功后结果,就保持了数据的一致性,如果中途某一阶段提交失败,事物就不是一致性了 - 隔离性
事物之间是相互隔离的,互不影响 - 持续性
事物提交之后,数据库数据就永久性保存,对后面的事物执行不产生影响
事物的四种隔离级别
- 读取未提交数据
所有事物可以看到其他事物未提交的执行结果,也就是读取未提交的数据(脏读) - 读取提交数据
一个事物只能看见已提交事物的结果,并可支持不可重复读的数据,也就是一个查询结果可能出现不同的结果,就是在查询的时候有新的commit事件 - 可重复读取
mysql的默认数据隔离级别,同一事物在多个数据读取数据的时候,会看到同样的数据行。同时会有一个问题(幻读)可能读到新插入行的数据,innodb通过多版本控制处理了这个问题 - 可串行化
数据库的最高隔离级别,强制对操作数据进行了排序,造成的影响是超时,效率低下
分布式事物的处理方式
分布式系统系统有一个重要的理论CAP原则
- 一致性
每个数据副本的数据保持一致,在对某一个数据操作之后,保持每台机器读到的数据都是更新后的结果
一致性又分为 强一致性,弱一致性,最终一致性
强一致性,保证用户在上一次写什么数据,下一次就读到什么数据,强绑定,保证用户的最好体验,但是要牺牲一定的可见性
弱一致性,用户在写入数据之后并不能保证马上更新到其他系统中,
最终一致性,系统没有后续操作的情况下,同步数据结果保证最终的数据一致。 - 可见性
就是每一个操作都在一定时间内返回结果,要么成功要么失败 - 分区容错性
是否可以对数据进行分区,保证系统的性能与可扩展性
两阶段提交协议
两阶段提交协议是协调所有分布式原子事物参与者,决定提交或者取消的分布式算法。在两阶段提交协议中,有两类参与者,所有副本节点与协调者。
1. 请求阶段
在请求阶段,协调者将通知事物参与者 执行commit或者取消事物(回滚)操作,然后进入表决过程,在表决过程中,所有节点将告诉协调者自己的表决结果,
2. 提交阶段
提交阶段,协调者将根据第一阶段的表决结果,提交或者取消,当且仅当所有参与者同意提交的时候才会执行提交,否则取消事物,执行者在收到协调者的通知后响应操作
两阶段提交事物的缺点
所有参与者都是同步阻塞的,当参与者占用公共资源的时候,第三方参与者将发生阻塞。协调者在其中非常重要 一但发生故障将会影响到整个数据库数据。
三阶段提交协议
1. cancommit阶段
协调者向参与者发送commit的请求,参与者返回yes or no
2. precommit阶段
假如协调者受到的信息都是yes ,那么就会预执行,否者事物中断
3. docommit阶段
发送提交请求,将会从预提交状态转到提交状态,并向所有参与者发送docommit请求,参与者受到消息后提交事物,并释放当前资源。并反馈响应,协调者受到响应后事物完成。
否者回滚
两阶段协议与三阶段协议的不同
三阶段协议多了个预提交阶段,在两阶段协议上多了个缓冲阶段,保证所有参与者的一致性,两阶段提交协议只有协调者有超时时间的判断