mvcc就是一个多版本并发控制器,每个事务维护一个版本数据,版本数据按照单向时间增长来排序
mvcc不需要依赖锁,就可以完成并发操作,但只能在读已提交(RC)和可重复读(RR)隔离级别下工作
mvcc有几个概念
事务版本号:
也就是每当begin的时候,首选要做的就是从数据库获得一个自增长的事务ID,
它也就是当前事务的事务ID
readView 快照读,可以理解为数据库中某一时刻所有的未提交事务的快照
快照读的四个属性:
m_ids:当前系统正在活跃的读写事务的事务Id列
min_trx_id:当前系统中活跃的读写事务的最小事务Id
max_trx_id:当前时间戳InnoDB将在下一次分配的事务id
creator_trx_id:当前事务id
隐藏列
在聚簇索引记录中包含两个隐藏列,trx_id,roll_pointer
trx_id: 就是某个事务在修改聚簇索引时,就会把当前事务的Id赋值到这个列
roll_pointer:在每次修改聚簇索引时,会把旧的版本写入到undo_log中,这个旧版本相当于一个指针
事务链(版本链)
在每次修改记录时,就会在undo_log中插入一条记录,每一条记录都有一个roll_pointer属性,可以将这些记录串联起来,形成一个链表
实际原理
就是判断当前所有版本中那些是当前事务可见的版本
如果被访问版本的trx_id属性值小于ReadView的最小事务Id,表示该版本的事务在生成 ReadView 前已经提交,所以该版本可以被当前事务访问。
如果被访问版本的trx_id属性值大于ReadView的最大事务Id,表示该版本的事务在生成 ReadView 后才生成,所以该版本不可以被当前事务访问。
如果被访问版本的trx_id属性值在m_ids列表最小事务Id和最大事务Id之间,那就需要判断一下 trx_id 属性值是不是包含在 m_ids 列表中,如果包含的话,说明创建 ReadView 时生成该版本的事务还是活跃的,所以该版本不可以访问;如果不包含的话,说明创建 ReadView 时生成该版本的事务已经被提交,该版本可以被访问。
RC隔离级别下的MVCC
在每次查询时都会创建一个readView
RR隔离级别下的MVCC
在一个事务中,每次查询时只会在第一次查询时创建一个readView