MVCC实现过程

参考：https://chenjiayang.me/2019/06/22/mysql-innodb-mvcc/

 

解决问题：脏读、不可重复读，因此一般用于RC和RR级别。

 

重点：

1、每行添加两个隐藏字段，一个表示最近更新此记录的事务id，称：DATA_TRX_ID，一个表示该行的回滚段，称：DATA_ROLL_PTR。（事务id为int类型，回滚段为指针类型，它指向undo log中的记录。）

2、undo log链。undolog链为链表，存放着被修改的行的历史版本。

3、当前数据表快照 Read View，快照是保存了当前活跃事务的列表。

 

步骤：

1、首先要组织undo log。

在执行首次更新、插入或者删除的时候会获得一个有数据库引擎分配的事务id号。然后对被修改的行进行加锁，然后将对应行数据拷贝到undo log日志中，再在表中新建一行，其中事务id字段对应当前事务id，回滚指针指向undo log链中的数据。这样就将新记录与旧纪录联系起来了，事务id也将其区分开了，就具备了回溯操作的条件。

2、生成Read View快照

在事务中执行select方法的时候会生成Read View快照，Read View是当前数据库中所有活跃的事务构成的列表。不管是RR还是RC隔离级别根据ReadView进行处理的方法是一致的：

• 当前行事务id小于活跃事务id列表的最小值：代表修改行数据的事务已经提交，因此本行数据可用。
• 当前行事务id处于列表中间：代表修改行数据的事务还未提交，需要根据undo log链进行回溯。
• 当前行事务id大于列表最大值：代表修改行数据的事务开启于快照生成之后，无法判断其是否提交，因此行数据不可用，需要根据undo log链进行回溯。

上面的一致处理保证了读取到的数据都是已经提交了的线程所修改的数据。不同的地方在于RR隔离级别还要保证可重复读，其实更清晰的意思就是每次读取的数据都是同一个事务所修改的！因为在对readview的数据读取的处理中，能够读取哪个版本的数据都依赖于区间的最小值，也就是说想读取同一个版本的数据，区间的最小值不能动。基本此，可以改变RC和RR级别的readview获取方式：

• RC隔离级别下，每次select都会生成一个新的ReadView，他无需保证区间最小值不用改变，只需保证不要读取还没提交的事务所修改的数据即可。
• RR隔离级别下，只有第一次select才会生成一个Readview，后面的select都是复用这次的ReadView。这样就能保证所有的select用的同一个活跃事务id区间最小值。

 

 

ps：对于参考文章最后两个说mvcc机制不适用的例子，评论区的两个意见都可以证明作者是错的，可是这两个意见好像不一致 = =：

1、第一种是表示事务id只有在执行插入、删除或更新操作的时候才会分配事务id，因此例子中的A事务生成快照的时候列表为空，不会出现什么行数据的id大于列表的最大值。

2、第二种是表示列表保存的根本不止是活跃事务的id区间，区间的最大值要延伸到分配給下一个事务的id，也就是最新的id，所以就能保证··· 我觉得有问题，删了 = =， 理由：