MVCC详细介绍及面试题

目录

1.什么是mvcc？

2.问题引入

3. MVCC实现原理？

3.1 隐藏字段

3.2 undo log 日志

3.2.1 undo log版本链

3.3 readview

3.3.1 当前读

​编辑

3.3.2 快照读

3.3.3 ReadView中4个核心字段

3.3.4 版本数据链访问的规则（了解）

4.面试题

前言：mysql中的Redolog日志保证了事务的持久性，Undolog保证了事务的原子性和一致性（回滚）

那事务的隔离性是怎么保证的呢？

答：

1. 锁：排他锁(如一个事务获取了一个数据行的排他锁，其他事务就不能再获取该行的其他锁)

2. mvcc：多版本并发控制

这里主要讲一下mvcc

1.什么是mvcc？

多版本并发控制。指维护一个数据的多个版本，使得读写操作没有冲突

2.问题引入

下面是一行数据，事务2、3、4都并发的对这行数据进行修改，而事务5要查询两次这行的最新数据，问查询到的是哪一次事务执行到的结果？

如果你看到这里不知道结果，请你继续往下看

3. MVCC实现原理？

MVCC的具体实现，主要依赖于数据库记录中的隐式字段、undo log日志、readView。      

3.1 隐藏字段

3.2 undo log 日志

回滚日志，在insert、update、delete的时候产生的便于数据回滚的日志。

当insert的时候，产生的undo log日志只在回滚时需要，在事务提交后，可被立即删除。

而update、delete的时候，产生的undo log日志不仅在回滚时需要，mvcc版本访问也需要，不会立即被删除。

3.2.1 undo log版本链

不同事务或相同事务对同一条记录进行修改，会导致该记录的undolog生成一条记录版本链表，链表的头部是最新的旧记录，链表尾部是最早的旧记录。

下面是事务

3.3 readview

ReadView（读视图）是快照读。是一个事务在执行 快照读（SELECT 等语句） 时生成的，它保存了4个关键字段（3.4.3 有介绍）

3.3.1 当前读

读取的是记录的最新版本，读取时还要保证其他并发事务不能修改当前记录，会对读取的记录进行加锁。对于我们日常的操作，

如：select ... lock in share mode(共享锁)，select ... for update、update、insert、delete(排他锁)都是一种当前读。

3.3.2 快照读

简单的select（不加锁）就是快照读，快照读，读取的是记录数据的可见版本，有可能是历史数据，不加锁，是非阻塞读。

读已提交 RC (Read Committed：每次select，都生成一个快照读。

可重复读 RR (Repeatable Read)（MySQL 的默认隔离级别）：开启事务后第一个select语句才是快照读的地方。

3.3.3 ReadView中4个核心字段

ReadView（读取视图） 是一个事务在执行 快照读（SELECT 等语句） 时生成的，它保存了以下关键字段：

还以下面的例子来解释：

事务五第一次查询id为30的记录，此时：

m_ids：当前活跃的事务ID集合是事务三、四、五。因为在事务五第一次查询之前事务二已经提交了（事务执行完毕）。

min_trx_id：最小活跃事务ID是事务三的id为3

max_trx_id：预分配事务ID，当前最大事务ID+1(因为事务ID是自增的)，为事务5的id+1是6 

creator_trx_id：ReadView创建者的事务ID ，即为是事务五的id 5

不同的隔离级别，生成ReadView的时机不同：

读已提交 RC READ COMMITTED ：在事务中每一次执行快照读时生成ReadView。

可重复读 RRREPEATABLE READ：仅在事务中第一次执行快照读时生成ReadView，后续复用该ReadView。

3.3.4 版本数据链访问的规则（了解）

①. trx_id  == creator_trx_id ? 可以访问该版本

②. trx_id < min_trx_id ? 可以访问该版本

③. trx_id > max_trx_id ?  不可以访问该版本

④. min_trx_id <= trx_id <= max_trx_id ?  如果trx_id不在m_ids中是可以访问该版本的

还以下面5个事务来举例子：

还以事务五第一次查询举例分析可以得到以下结论

上述 ①～④ 是 InnoDB 在使用 MVCC 机制进行快照读（Snapshot Read）时判断一个版本是否可见的规则，目的是为了实现事务隔离性（尤其是可重复读）。

核心依据是将数据行上的 trx_id 与当前事务的 ReadView（读取视图）中的一些字段做比较，判断是否可以“看到”这个版本。

详细解释：
①.当前事务的id（未知），等于事务创建者的id（这里是事务五），所以当前事务是事务五，说明当前数据是由“我自己”这个事务修改的。MVCC 当然允许自己看到自己改过的数据（包括未提交的），以确保 读到的是自己操作后的最新快照。

②.当前事务的id（未知），小于最小活跃事务ID（这里是事务三），所以当前事务是事务二，而事务二已经提交，

• 说明这个事务在我生成 ReadView 之前就已经提交了。

• 因此是 对我“可见”的历史版本数据。

③.当前事务的id（未知），大于最大活跃事务ID+1（这里是事务五），所以当前事务是事务六，事务六在此时ReadView 生成时，事务六还没有创建

• 所以它对我来说是“未来”的数据。

• 根据事务隔离的原则，我不能看见这个数据版本。

④. min_trx_id <= trx_id <= max_trx_id，这个事务是在我生成 ReadView 时是活跃的（ID 在 min～max 之间），但它不在活跃事务列表 m_ids 中，说明它已经 提交完成了，因此我可以看见它。和②.表达的意思一样

不同的隔离级别，生成ReadView的时机不同：

读已提交 RC READ COMMITTED ：在事务中每一次执行快照读时生成ReadView。

可重复读 RRREPEATABLE READ：仅在事务中第一次执行快照读时生成ReadView，后续复用该ReadView。

举例：

4.面试题