MySQL-08：事务：可重复读和读提交

阳光穿透心脏的1/2处 2022-12-23 07:23 181阅读 0赞

事务隔离级别中存在可重复读，在事务启动时会生成一个视图read-view，之后事务中的任何需求数据都会来源于该视图，即使其他事务对某些数据进行了修改，那可重复读隔离又是如何实现的呢？

如果一个事务在可重复读隔离级别下，其他事务对某行数据进行了修改，而后当前事务又对那行事务进行修改并读取，那读取的数值还是和事务启动时看见的一样吗？

现在，我们就是来来探究这两个问题的，来看图：

mysql> CREATE TABLE `t` (
          `id` int(11) NOT NULL,
          `k` int(11) DEFAULT NULL,
          PRIMARY KEY (`id`)
        ) ENGINE=InnoDB;
        insert into t(id, k) values(1,1),(2,2);

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center]

**这里有两个关注点：**

1.  start transaction with consitent snapshot 和start/begin transaction 的区别
    
     *  start transaction with consitent snapshot 会马上生成一个事务并且创建一致性视图
     *  start transaction不会马上创建事务，会在第一个sql语句的时候再创建事务并创建视图
2.  “autocommit=1”设置下，事务C的update语句本身为一个事务，且自动提交且隔离级别REPEATABLE-READ，可用show variables like 'transaction\_isolation’查看。

好，下面就是求事务A，事务B的值分别为多少？这里其实不难猜到事务A get到的值应该为1，但是事务B get到的值确实为3，跟着下面来看吧！

### 8.1 快照如何实现 ###

在可重读隔离级别下的事务中都会有一致性视图，那视图又是如何定义的呢？

来看，在InnoDB里每个事务都有事务ID，叫作transaction\_id，它们是在事务开始的时候向InnoDB的事务系统申请的，事务的编号都是按顺序严格递增的。

数据表中的每行数据都有会多个版本，每次事务更新数据时(即使事务没有提交)，都会生成一个新的数据版本，事务会把transaction\_id赋值给新的数据版本的事务ID，也叫row\_trx\_id。同时旧的数据版本还要有迹可循，必须有办法拿到他。

也就是说，数据表中每一行数据，都是有多个版本的，每个版本都记录着对应的row\_trx\_id，row\_trx\_id就是更新数据的事务ID-transaction\_id。

再来，看图：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center 1]

图中有4个数据版本V1-V4，3条sql语句和3条undo log(回滚日志)。undo log是V4→V3之间的虚线，同理，共三条。

我们来看拿下，上图中最新的数据版本为V4，k=22，row\_trx\_id=25，表明是transaction\_id为25的事务更新数据生成的它。上图中的V1，V2，V3并不是真实存在的，它都是通过回滚日志来得到的，我们可以通过3条回滚日志得出V1，V2，V3中任意数据版本，这就是MVVC的实现机制。

我们继续来说可重复读隔离级别，事务一启动生成视图，不是对已提交的事务可见，没有提交的事务不可见嘛，那事务又如何去分辨事务已经提交了呢？

在InnoDB中，InnoDB引擎会为每个事务启动的时候构建一个数组，数组里保存的是当前活跃的事务transaction\_id，活跃就是在运行，但未提交的。将数组中最小定位为低水位，最大值定义为高水位。

来，再看图：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center 2]

此时，我们需要操作的行数据row\_trx\_id会有三种情况：数据版本在不可见情况下，会循着回滚日志去找可见的最新数据版本。

1.  row\_trx\_id小于低水位值，处于绿色已提交事务中，对于我们来说是可见
2.  row\_trx\_id大于低水位，小于高水位，处于黄色未提交事务中，这里就需要分辨row\_trx\_id是否在数组中，这数组指的是事务开始构建的transaction\_id数组。
    
     *  在数组中，事务未提交，不可见
     *  不在数组中，事务已提交，可见，后来的事务先提交的原因是因为一些短事务。
3.  row\_trx\_id大于高水位，会向前寻找数据版本。

InnoDB就是利用MVVC特性和事务开始时创建的transaction\_id数组来实现视图的。

### 8.2更新逻辑 ###

这里主要明白两条规则：

*  更新数据都是先读后写，读取的数据为当前的最新值版本，称为当前读。
 *  如果更新最新数据版本的事务未提交，这就涉及到行锁了，事务会挂起，直到写锁释放。

好，现在可以来解决开始的问题了，上图：

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center 3]

假设有事务D将（id，k）设置为（1,1）。我们看下各个事务能拿到的数据版本编号。

事务A：\[A，D\]，事务B：\[A，B，D\]，事务C：\[A，B，C，D\]

事务A为可重复读隔离级别对事务B和事务C所做的修改一无所知，所以get到的k=1.

事务B中存在update语句，update语句根据上面讲的规则，读取的为最新数据版本，也就是2，加一就是3，所以get到的key = 3。

问题练习：

1.  start tranaction with consitent snapshot 和start tranaction 指令的区别？
2.  autocommit = 1会出现什么状况？
3.  innodb支持RC和RR隔离级别实现是用的一致性视图
4.  事务在启动的时候会生成一个“快照”，快照是怎么回事？MVVC特性如何实现？
5.  当前读又是怎么一回事？

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center]: /images/20221120/220a38f95ffa40b4a7159735ff9712e0.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center 1]: /images/20221120/0f6b09ab631a4958b72d4eca8c3b581a.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center 2]: /images/20221120/3db81aee06f946e6ad69db69c7b407e1.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQwMDA4NTM1_size_16_color_FFFFFF_t_70_pic_center 3]: /images/20221120/624a5f10b9cd4aa6b156604493bfa8b0.png