redo log
- 当没有redo log日志时 , 我们执行增删改语句之后会先更新Buffer Pool(缓冲区),然后等待一定的数据后一起刷新回磁盘ibd,但是这个刷新过程中如果失败了,就会丢失数据,保证不了持久性
- 当有redo log日志时,我们的增删改的变化会存到redo log里面,然后一条一条刷新到磁盘,当数据库写入失败时可以通过redolog找回,这样保证了数据库的持久性
3 .但这里有个问题,为什么数据不直接刷新到磁盘呢,是因为数据存储的时候是要维护索引结构b+树的,而且刷新磁盘会有io连接,如果频繁增加数据会有性能问题,所以buffer pool的数据会一批一批存入而不是一个一个
那redolog为什么能一条一条呢,因为redolog日志记录是递增的,不像索引存数据是要维护结构的
undo log
- undo log可以保证事务的原子性,他执行之前的数据,简单理解为当我删除一条数据时,他会记新增一条数据的日志,他记录的是逻辑操作,当我们回滚时可以读取undo log的日志
- 数据库的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
后面的复用前面的,一样套公式进去