Mysql MVCC实现-Toy模板网

这篇具有很好参考价值的文章主要介绍了Mysql MVCC实现。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

背景

并发事务可能产生的问题：

MVCC（Mutil Version Concurrency Control）多版本并发控制，是一种并发访问的机制（非具体实现），广泛应用于数据库管理系统，比如Mysql、Oracle、Postgresql等，实现对数据库的并发访问。本质就是一行数据具有多个不同版本的记录。

Mysql的InnoDB引擎实现了MVCC机制，用来处理读写冲突，做到非阻塞并发读，提升并发效率。

读取的是记录的最新版本，读取时还要保证其他并发事务不能修改当前记录，会对读取的记录进行加锁

顾名思义，就是读取undo log中的某一版本的快照，读到的数据可能不是最新的，但是可以不加锁就可以读到数据

MVCC的目的就是多版本并发控制，在数据库的实现，就是为了解决读写冲突，它的实现原理主要依赖记录中的3个隐式字段，undolog，Read View来实现的。

每行记录除了我们自定义的字段之外，还有数据库隐式定义的DB_TRX_ID，DB_ROLL_PTR，DB_ROW_ID等字段

Mysql MVCC实现

在修改数据的时候，会向 redo log 中记录修改的页内容（为了在数据库宕机重启后恢复对数据库的操作），也会向 undo log记录数据原来的快照（用于回滚事务）。undo log有两个作用，除了用于回滚事务，还用于实现MVCC

insert log：代表事务在 insert 新记录时产生的 undo log, 只在事务回滚时需要，并且在事务提交后可以被立即丢弃
update undo log：事务在进行 update 或 delete 时产生的 undo log ; 不仅在事务回滚时需要，在快照读时也需要；所以不能随便删除，只有在快速读或事务回滚不涉及该日志时，对应的日志才会被 purge 线程统一清除

Mysql MVCC实现

Mysql MVCC实现

Mysql MVCC实现

Read View是在对数据进行快照读时，会产生的一个”一致性读视图“。

m_ids：活跃事务id列表，当前系统中所有活跃的（也就是没提交的）事务的事务id列表。
min_trx_id：m_ids 中最小的事务id。
max_trx_id：生成 ReadView 时，系统应该分配给下一个事务的id（注意不是 m_ids 中最大的事务id），也就是m_ids 中的最大事务id + 1 。
creator_trx_id：生成该 ReadView 的事务的事务id。

这些属性组成了当前事务的一致性视图（Read View），而数据版本的可见性规则，就是基于数据的 row trx_id 和这个一致性视图的对比结果得到的。

把数据的最新记录中的 DB_TRX_ID取出来，与Read View对比，如果不符合可见性，那就通过undo log 取下一个版本对比，直到找到满足可见性的版本数据。
Mysql MVCC实现

当【版本链中记录的 trx_id 等于当前事务id（trx_id = creator_trx_id）】时，说明版本链中的这个版本是当前事务修改的，所以该快照记录对当前事务可见。
当【版本链中记录的 trx_id 小于活跃事务的最小id（trx_id < min_trx_id）】时，说明版本链中的这条记录已经提交了，所以该快照记录对当前事务可见。
当【版本链中记录的 trx_id 大于下一个要分配的事务id（trx_id > max_trx_id）】时，该快照记录对当前事务不可见。
当【版本链中记录的 trx_id 大于等于最小活跃事务id】且【版本链中记录的trx_id小于下一个要分配的事务id】（min_trx_id<= trx_id < max_trx_id）时，
- 如果trx_id m_ids中，说明生成 ReadView 时，修改记录的事务还没提交，所以该快照记录对当前事务不可见；
- 如果trx_id不在m_ids中，说明生成该版本的事务已经提交，对当前事务可见