mysql mvvc原理_Mysql MVVC笔记

什么是MVVC，为什么要用它

在mysql的也就是读不会加锁。

举个不是很准确的例子，有两个事务T1,T2，它们的id分别是1,2。由于事务id是递增唯一的，因此可以认为T2在逻辑上是后于T1发生的，当T2想要查询(select)某一行，这行的trx_id(最后修改本行数据的事务id)为1，那么我们就可以认为这一行对T2是可见的，因此返回改行数据。

其实这个例子问题很大，这也是为什么要写这篇文章记录一下

前置知识

在InnoDB中，每个行后面都有一些额外的字段，主要要知道DB_TRX_ID(最近修改行的事务ID),DB_ROLL_PTR(指向该行被修改的前一个状态),DELETE_VERSION(行是否被删除)。

当某个事务T对一行R做update操作时，若R对T是可见的(判断方法放在后面讲)，将该行的DELETE_VERSION置为T的id，并将改行放入undo log中，而在表中会插入一条新的行R’，R’的DB_TRX_ID为T的id，DELETE_VERSION为空，DB_ROLL_PTR指向刚刚被打入undo log的那行

修改前↓

修改后↓

READ VIEW

其实ReadView可以理解成数据库中某个时间戳所有未提交事务的快照，ReadView类有这么几个参数：

m_ids：当前时间戳所有未提交的事务

min_trx_id：m_idx中最小的事务id

max_trx_id：当前时间戳InnoDB将在下一次分配的事务id

creator_trx_id：当前事务id

当创建一个ReadView对象时，也就知道了这个时间点上未提交事务的所有信息，从而能够通过这些信息实现锁的作用甚至增强。

有了这个ReadView，这样在访问某条记录时，只需要按照下边的步骤判断记录的某个版本是否可见：

如果被访问版本的trx_id属性值与ReadView中的creator_trx_id值相同，意味着当前事务在访问它自己修改过的记录，所以该版本可以被当前事务访问。

如果被访问版本的trx_id属性值小于ReadView中的min_trx_id值，表明生成该版本的事务在当前事务生成ReadView前已经提交，所以该版本可以被当前事务访问。

如果被访问版本的trx_id属性值大于或等于ReadView中的max_trx_id值，表明生成该版本的事务在当前事务生成ReadView后才开启，所以该版本不可以被当前事务访问。

如果被访问版本的trx_id属性值在ReadView的min_trx_id和max_trx_id之间，那就需要判断一下trx_id属性值是不是在m_ids列表中，如果在，说明创建ReadView时生成该版本的事务还是活跃的，该版本不可以被访问；如果不在，说明创建ReadView时生成该版本的事务已经被提交，该版本可以被访问。

正题

假如现在DBMS在处理三个事务，T2,T3,T5(T4已经提交了)，那么开启下一个事务的时候，将会分配到一个id为6的id，也就是T6。现在T6要select这样一行：

首先会创建一个ReadView对象r:

r.m_ids=[T2,T3,T5],

r.min_trx_id=2,

r.max_trx_id=7

由于该行DB_TRX_ID=2, 而2!

如果该行是这样子的：

由于1

又如果是：

那就最后的改动就是在T6中进行的，也是对T6可见。

亦或是

CPU调度嘛，人家虽然后来的但也可能先你下手了 。因此由于8>=r.max_trx_id=7,所以该行对T6不可见，找一下DB_ROLL_PTR指向的行，由于是空，返回0行。(如果不为空，那么对所指向的行对同样的可见性判断)

再者：

虽然r.min_trx.id<=4

总结一下就是如下一个流程图：

copy的，tmin，tmax，tid0分别对应r.min_trx.id，r.max_trx_id，DB_TRX_ID。

回到开头

有些博客写的是

如果以小于或等于当前事务版本号为依据来判断行的可见性，那么就会漏掉依然活跃未提交的事务，在RR隔离级别下会产生不可重复度(离谱)。

RR和RC的区别

READ COMMITTED —— 每次读取数据前都生成一个ReadView

REPEATABLE READ —— 在第一次读取数据时生成一个ReadView

Featrue plus

其实在这样的MVVC下，InnoDB在RR隔离级别下就能避免了幻读，原因是不管是后面新的事务还是已经存在的未提交事务，他们新增的数据行对当前事务都是不可见的，而已提交的事务又不可能新增行，妙啊

参考博客：

MVCC ReadView介绍