MVCC 介绍

MVCC 全称是 Multiversion concurrency control，即多版本并发控制。从它的名字就可以看出是关于在并发时对读写控制的一种方法，基本市面上流行的 Database 都有其具体的实现。

MVCC 使得各个事务在读写数据时能最大程度的降低锁的依赖，在保证事务隔离性的同时，也能让读类型的事务和写操作的事务并发进行。

当我们在进行修改操作时，MVCC 会通过 undo log 保留了之前的数据记录，就像每条记录都有自己的历史版本一样。

通过这些历史版本的追溯，MVCC 就再也不怕写操作的影响了，这就是 MVCC 的精髓所在了。

MVCC 作用

我们知道，在事务的四大特性中有隔离性的存在，而它的实现离不开锁的运用。但是锁有它的性能瓶颈，比如需要排队等待或者一不小心就产生死锁等等。

而在有了 MVCC 多版本控制后，读写操作再也不用小心翼翼的防着对方，大大提高了数据库的并发处理。

当然，这针对的是读和写的并发情况，如果是写和写的同时操作，那么原来该怎么控制就得怎么控制，这是涉及到数据的完整性原则了。

所以，MVCC 主要是优化了读写并发的操作，对于很多读多写少的互联网项目，已经能达到优化的目的了。

MVCC 原理

在说 MVCC 的详细原理之前，我们先来介绍下 undo log，它在 MVCC 里发挥了很大的作用。

undo log 是对事务操作时的一个日志记录，以提供数据回滚功能。比如现在事务进行了 insert 操作，则回滚时会逆向解析为 delete；如果是 delete 操作，则变为 insert 操作，相当于一种逻辑的反向操作。

而 undo log 除了记录下每一次的操作类型、数据情况和事务 ID 外，还包含了一个指针：即上一次的记录指针，以形成完整的历史链路。

所以 MVCC 历史版本数据就来是从 undo log 的记录指针去追溯获取的。那么，最近一次的记录指针是存放在哪里呢？

实际上，每当我们插入一行数据的时候，数据库还会额外的帮我们生成 2 个隐形字段：

• DB_TRX_ID：事务 ID
• DB_ROLL_PTR：回滚记录指针。

这一行的 DB_ROLL_PTR 也就是最近一次的记录指针了，这样的话，每次需要追溯历史版本，就可以从这开始了。

前面提及到事务的隔离性，隔离性是有四个隔离级别的：未提交读、已提交读、可重复读、可串行化。而事实上 MVCC 只在已提交读、可重复读隔离级别上实现了。

因为未提交读要求最低，不管三七二十一，只要能获取到数据就返回了。而可串行化天生就把别的请求挡在外面了，不用考虑事务之间的并发执行了。

在已提交读、可重复读的隔离级别上，MVCC 也会有所不一样的，主要体现在 Read View 的生成上。

Read View 是对当时所活跃的事务 id 的维护，包含的字段如下：

• m_ids：当时正在发生的所有事务 id 集合
• m_low_limit_id：当前事务最多能读取到的事务 id，相当于“高水位”警戒线，超过它就不能继续读了。
• m_up_limit_id：跟上面相反，属于“低水位”警戒线，所读取的事务 id 都应该比这个值大。
• m_creator_trx_id：当前的事务 id。

当把这些事务 id 维护到当前事务的 Read View 里后，就可以控制其他事务对当前事务的可见性了。

比如当前 Read View 的 m_low_limit_id 是 10，那即使后面又有新的事务产生，当前事务也只能读取到这个 id 为 10 的事务为止，毕竟后面的事务是属于新来的。

又比如当前事务需要回滚了，则会根据 undo log 的记录指针以及 Read View 的 m_up_limit_id 去控制回滚。

解释了 Read View 的作用后，我们继续讲讲已提交读、可重复读在 MVCC 上的不同。

对于已提交读，它在每次 SELECT 的时候都会重新生成 Read View，所以已提交读在同一事务里将有可能读到不一样的提交数据！

而可重复读只在第一次 SELECT 的时候生成，所以后面读取到的数据都在此处的版本控制内！

关于 MVCC 在 undo log 里所产生的历史版本也不会一直存着，在满足一定条件后则会被标记为清除状态，等待清理。

像对于 insert 类型的 undo log 则可以在提交事务后就标记为清除状态了，因为这是属于新增的，不会有其他事务依赖到。

总结

MVCC 通过 undo log 的 记录指针获得了一个个的历史版本，就像镜像备份一样，使得数据的读写不必再依赖一份数据，提高了并发执行效率。

不过，undo log 清除线程比较滞后的话，将会导致 undo log 越来越大，影响磁盘操作效率。必要的时候需要配置一些系统变量以分配更多的资源给清除线程。

总体来讲，MVCC 的使用是有意义的，就像空间换时间一样，在这里就是冗余版本换并发性能了。