数据库中的MVCC机制

基础知识

首先要了解数据库中的redo 和undo机制。
https://blog.csdn.net/define_us/article/details/84139912

简介

是一种多版本控制的方式。可以用来代替行级锁。
假设没有MVCC，为了实现读已提交的隔离级别，第二个事务在修改第一个事务的行时，就必须等待第一个事务完成。相当于一个行级别锁。

原理

• trx_id
  这个id用来存储的每次对某条聚簇索引记录进行修改的时候的事务id。

• roll_pointer
  它指向这条聚簇索引记录的上一个版本的位置，通过它来获得上一个版本的记录信息

undo日志的格式如下

在可重复读隔离级别，当事务开启，执行任何查询sql时会生成当前事务的一致性视图read-view，该视图在事务结束之前不会变化（如果是读已提交隔离级别在每次执行查询sql时都会重新生成），这个视图由执行查询时所有未提交事务id数组（数组里最小的id为min_id）和已提交的最大事务id（max_id）组成，事务里的任何sql查询结果需要从对应版本链里的最新数据开始逐条跟read-view做比对从而得到最终的快照结果

• 如果row的trx_id落在绿色部分(trx_id<min_id)，表示这个版本是已提交的事务生成的，这个数据是可见的。
• 如果row的trx_id落在红色部分(trx_id>min_id)，表示这个版本是由将来启动的事务生成的，是不可见的（若row的trx_id就是当前自己的事务是可见的)
• 如果row的trx_id落在黄色部分(min_id<=trx_id<=max_id)，那就包括两种情况
  • 若row的trx_id在视图数组中，表示这个版本是由还没提交的事务生成的，不可见(若row的trx_id就是当前自己的事务是可见的)
  • row的trx_id不在视图数组中，表示这个版本是已经提交了的事务生成的，可见。

而对于一个读已经提交的，每次select都会生成新的read-view，所，会出现不可重复读的情况。