分布式系统中的数据库事务 | 青训营笔记

这是我参与「第五届青训营」伴学笔记创作活动的第 8 天

本文简述了在分布式系统中使用的分布式数据库事务方案。

分布式系统是计算机程序的集合，这些程序利用跨多个独立计算节点的计算资源来实现共同的目标。可以分为分布式计算，分布式存储，分布式数据库等。

在分布式系统中，由于不同节点可能维护各自的数据库，但这些数据库有需要保持同步，这就可能引发同步问题。

为了解决这些问题，我们引入分布式事务的解决方案。

在分布式事务中，有多种处理方案可以在不同程度上解决我们的问题：

二阶段提交（Two-phase Commit）是为了使基于分布式系统架构下的所有节点在进行事务提交时保持一致性而设计的一种演算法。

在二阶段提交算法中，我们需要引入三个假设：

在以上三个假设中，二阶段提交算法以如下方式工作：

此时，可能出现以下异常情况：

协调者未宕机，但参与者宕机，Prepare 阶段的参与者向协调者返回错误信号；此时协调者将通知所有参与者对已进行的 commit 进行 rollback 操作以保证数据一致。
协调者宕机，但参与者未宕机，此时只需更换新的协调者，然后重新进行二阶段提交即可。
协调者和参与者均宕机，此时由于无法确认状态，需要数据库管理员接入，防止数据库进入不一致的状态。

二阶段提交算法一定程度上解决了分布式事务提交的数据不一致问题，但也存在缺陷：

三阶段提交在二阶段提交的基础上进行了优化，以解决二阶段提交单点故障和阻塞的问题。

三阶段提交将 Prepare 阶段进一步拆分，得到 CanCommit，PreCommit，DoCommit 三个阶段：

首先，在 CanCommit 阶段，协调者会询问各个参与者是否能够正确执行事务，参与者会根据自身状况返回一个预估值（此时并为真正执行事务）。
进入 PreCommit 阶段，协调者根据 CanCommit 阶段的结果采取操作。如果所有参与者均返回确认信息，则向所有参与者发送事务执行通知，参与者收到通知后执行事务，但不提交，然后将事务执行情况返回给协调者；如果一个或多个参与者返回等待信息，亦或者协调者等待参与者返回确认信息超时，则会直接中断事务。
进入 DoCommit 阶段，如果 CanCommit 阶段的事务未发生中断，则协调者会根据事务执行返回的结果来决定提交或回滚事务。如果所有的参与者都能正常执行事务，则协调者会向所有参与者发送事务 commit 通知，参与者在收到通知后会进行 commit 操作，然后向协调者返回提交结果；如果一个或多个参与者执行事务失败，或参与者等待协调者返回信息超时，则协调者会要求所有参与者 rollback 事务，并反馈 rollback 结果。

在本阶段如果因为协调者或网络问题，导致参与者迟迟不能收到来自协调者的 commit 或 rollback 请求，那么参与者将不会如两阶段提交中那样陷入阻塞，而是等待超时后继续 commit，相对于两阶段提交虽然降低了同步阻塞，但仍然无法完全避免数据的不一致。

多版本并发控制（MCC 或 MVCC）是数据库管理系统常用的一种并发控制方法，用于提供对数据库的并发访问，并以编程语言实现事务内存。 —— Wikipedia

MVCC 是一种并发控制的方法，维持一个数据的多个版本使读写操作没有冲突。所以既不会阻塞写，也不会阻塞读。MVCC 为每个修改保存一个版本，和事物的时间戳相关联。可以提高并发性能，解决脏读的问题。

该文章部分内容来自于以下课程或网页：

0 人点赞