MySQL最牛的RR隔离级别,是如何基于ReadView机制实现的?

前言

面试高频题,首先要理解ReadView,然后要区别可重复读和提交读ReadView的不同点

ReadView

m_ids:表示在生成READVIEW时当前系统中活跃的读写事务的事务id列表,活跃的是指当前系统中那些尚未提交的事务;
min_trx_id:表示在生成READVIEW时当前系统中活跃的读写事务中最小的事务id,也就是m_ids中的最小值;
max_trx_id:表示生成READVIEW时系统中应该分配给下一个事务的事务id值,由于事务id一般是递增分配的,所以max_trx_id就是m_ids中最大的那个id再加上1;
creator_trx_id:表示生成该READVIEW的事务id,由于只有在对表中记录做改动(增删改)时才会为事务分配事务id,所以在一个读取数据的事务中的事务id默认为0;

读取规则

1、版本的trx_id==READVIEW中的creator_trx_id,表示当前读事务正在读取被自己修改过的记录,该版本可以被当前事务访问;
2、版本trx_id < min_trx_id,表明生成该版本的事务在当前事务生成READVIEW前已经提交了,所以该版本可以被当前事务访问;
3、版本的trx_id > max_trx_id,表明生成该版本的事务在当前事务生成READVIEW后才开启的,该版本不可被当前事务访问;
4、版本的trx_id在READVIEW的min_trx_id和max_trx_id之间,那就需要判断一下trx_id属性值是不是在m_ids中。如果在这个范围内,说明创建READVIEW时该事务还处于活跃状态,该版本不可以被当前事务访问;如果不在,说明创建READVIEW时生成该版本的事务已经被提交,该版本可以被当前事务访问;

原理

基于ReadView机制可以实现RC隔离级别,即每次查询的时候都生成一个ReadView,这样的话,只要在这次查询之前有别的事务提交了( m_ids 列表发生变换),那么别的事务更新的数据,是可以看到的。

那么如果是RR级别呢?RR级别下,这个事务读一条数据,无论读多少次,都是一个值,别的事务修改数据之后哪怕提交了,也是看不到人家修改的值的,这就避免了不可重复读的问题。同时如果别的事务插入了一些新的数据,也是读不到的,这样就可以避免幻读的问题。

例子

首先假设有一条数据是事务id=50的一个事务插入的,同时此时有事务A和事务B同时在运行,事务A的id是60,事务B的id是70,如下图所示:

这个时候,事务A发起了一个查询,它就是第一次查询就会生成一个ReadView,此时ReadView里的creator_trx_id是60,min_trx_id是60,max_trx_id是71,m_ids是[60, 70],此时ReadView如下图所示:

这个时候事务A基于这个ReadView去查这条数据,会发现这条数据的trx_id为50,是小于ReadView里的min_trx_id的,说明它发起查询之前,早就有事务插入这条数据还提交了,所以此时可以查到这条原始值的,如下图:

接着就是事务B此时更新了这条数据的值为值B,此时会修改trx_id为70,同时生成一个undo log,而且关键是事务B此时它还提交了,也就是说此时事务B已经结束了,如下图所示:

事务A去查询这条数据的值,会惊讶的发现此时数据的trx_id是70了,因为在RR级别,ReadView不会改变,根据ReadView的读取规则可以知道事务A不能查到txr_id=70对应的数据,而是会顺着undo指针找到原始值,所以事务A在事务B修改数据的前后读取的数据是一样的。

参考:《2020最新Java基础精讲视频教程和学习路线!》
链接:https://juejin.cn/post/693721...

你可能感兴趣的:(MySQL最牛的RR隔离级别,是如何基于ReadView机制实现的?)