MVCC原理

redo log

1. 当没有redo log日志时 ， 我们执行增删改语句之后会先更新Buffer Pool（缓冲区），然后等待一定的数据后一起刷新回磁盘ibd，但是这个刷新过程中如果失败了，就会丢失数据，保证不了持久性

2. 当有redo log日志时，我们的增删改的变化会存到redo log里面，然后一条一条刷新到磁盘，当数据库写入失败时可以通过redolog找回，这样保证了数据库的持久性

3 .但这里有个问题，为什么数据不直接刷新到磁盘呢，是因为数据存储的时候是要维护索引结构b+树的，而且刷新磁盘会有io连接，如果频繁增加数据会有性能问题，所以buffer pool的数据会一批一批存入而不是一个一个
那redolog为什么能一条一条呢，因为redolog日志记录是递增的，不像索引存数据是要维护结构的

undo log

1. undo log可以保证事务的原子性，他执行之前的数据，简单理解为当我删除一条数据时，他会记新增一条数据的日志，他记录的是逻辑操作，当我们回滚时可以读取undo log的日志

2. 数据库的3个隐藏字段

3. 并发访问下的undo log日志

当前有一条记录，事务id为1

同时开启5个事务，执行事务2的第一条操作

生成了一条undolog日志，且更新了数据，数据的事务id变成了2，回滚指针0X0001指向了undolog日志的地址

现在执行事务3

对应的undolog，这样形成了一个回滚链表

执行事务4

undolog

readview 快照读

mvcc提取数据就是依靠这4个核心字段

版本链数据访问规则，对于事务id和4个核心字段的关系

对于不同隔离级别生成readview的规则也不同

mvcc实现原理

• 在读已提交下的mvcc

当执行到事务5查询id为30的记录时
m_ids（活跃id）：事务2已经提交，显然不是，事务3，事务4，事务5还未提交，所以是 3，4，5
min_trx_id：当前最小为3
max_trx_id ：当前最大为5，但这是预分配，所以是6
creator_trx_id：当前事务创建是事务5，所以5

这个时候我们对着undolog日志来看
首先是当前记录 trx_id为 4 ，代入到右侧公式，发现都不满足
然后找到上一条trx_id为 3，代入到右侧公式，发现都不满足
然后找到上一条trx_id为 2，代入到右侧公式，发现trx_id < min_trx_id 2<3 所以可以访问trx_id为2的这个版本，所以查出

同理，执行这里也会生成readview

带入一下可以发现 trx_id 为 3的数据符合要求 ，所以查出来的是这条

• RR隔离级别下mvcc

后面的复用前面的，一样套公式进去