多版本并发控制
什么是MVCC
MVCC (Multiversion Concurrency Control)多版本并发控制。顾名思义,MVCC是通过数据行的多个版本管理来实现数据库的并发控制 。这项技术使得在InnoDB的事务隔离级别下执行一致性读操作有了保证。换言之,就是为了查询一些正在被另一个事务更新的行,并且可以看到它们被更新之前的值,这样在做查询的时候就不用等待另一个事务释放锁。
快照读与当前读
再谈隔离级别
MVCC 可以不采用锁机制,而是通过乐观锁的方式来解决不可重复读和幻读问题 !它可以在大多数情况下替代行级锁,降低系统的开销。
隐藏字段、Undo Log 版本链
MVCC实现原理之ReadView
MVCC的实现依赖于:隐藏字段、Undo log版本链、ReadView
什么是ReadView?
在MVCC机制中,多个事务对同一个行记录进行更新会产生多个历史快照,这些历史快照保存在Undo Log里**。如果一个事务想要查询这个行记录,需要读取哪个版本的行记录呢?这时就需要用到ReadView了**,它帮助我们解决了行的可见性问题。
ReadView就是事务在使用MVCC机制进行快照读操作时产生的读视图 。当事务启动时,会生成数据库系统当前的一个快照,InnoDB为每个事务构造了一个数组 ,用来记录并维护系统当前活跃事务 的ID("活跃"指的就是,启动了但还没提交)
设计思路
ReadView要解决的主要问题就是需要判断一下版本链中的哪个版本是当前事务可见的。
ReadView的规则
有了ReadView,在访问某条记录时,只需要按照下面的步骤判断记录的某个版本是否可见。
-
如果被访问版本的trx_id属性值与ReadView中的creator_trx_id值相同,意味着当前事务在访问它自己修改过的记录,所以该版本可以被当前事务访问。
-
如果被访问版本的trx_id值小于ReadView中的up_limit_id值,表明生成该版本的事务在当前事务生成ReadView前已提交,所以该版本可以被当前事务访问。
-
如果被访问版本的trx_id值大于或等于ReadView中low_limit_id值,表明生成该版本的事务在当前事务生成的ReadView后才开启,所以该版本不可以被当前事务访问。
-
如果被访问版本的trx_id值在ReadView的up_limit_id和low_limit_id之间 ,那就需要判断一下trx_id属性值是不是在trx_ids列表中。
如果在 ,说明创建ReadView时生成该版本的事务还是活跃的 ,该版本不可以被访问。
如果不在 ,说明创建ReadView时生成该版本的事务已经被提交 ,该版本可以被访问。
MVCC整体操作流程
事务的隔离级别为读已提交时,一个事务中的每一次SELECT查询都会重新获取一次Read View。
当事务隔离级别为可重复读 时,就避免了不可重复读。这是因为一个事务只在第一次SELECT的时候会获取一次Read View ,而后面的所有的SELECT都会复用 这个Read view。
举例说明
READ COMMITTED 隔离级别下
之后,把事务id为10 的事务提交
这个时候再读一次:
执行过程分析:
REPEATABLE READ隔离级别下
如何解决幻读?
总结