MySQL的多版本并发控制MVCC的实现

2022-05-15 0 351
目录
  • 什么是MVCC
  • MVCC的实现
  • MVCC 有没有解决幻读?

什么是MVCC

MVCC就是多版本并发控制。

MySQL的事务型存储引擎通过多版本并发控制(MVCC)来提升并发性能。

可以认为MVCC是行级锁的一个变种,但是它在大多数情况下避免了加锁操作,同时实现非阻塞的读操作,因此开销更低。

MVCC是通过保存数据在某个时间点的快照来实现的,核心思想就是保存数据的历史版本,通过对数据行的多个版本管理来实现数据库的并发控制。

这样我们就可以通过比较版本号决定数据是否显示出来,读取数据的时候不需要加锁也可以保证事务的隔离效果。

MVCC的实现

实际上,InnoDB 会在每行记录后面增加三个隐藏字段:

  • ROW_ID:行ID,随着插入新行而单调递增,如果有主键,则不会包含该列。
  • TRX_ID:记录插入或更新该行的事务的事务ID。
  • ROLL_PTR:回滚指针,指向 undo log 记录。每次对某条记录进行改动时,该列会存一个指针,可以通过这个指针找到该记录修改前的信息。当某条记录被多次修改时,该行记录会存在多个版本,通过 ROLL_PTR 链接形成一个类似版本链的概念。

MySQL的多版本并发控制MVCC的实现

以 RR 级别为例:

每开启一个事务时,系统会给该事务分配一个事务 Id,在该事务执行第一 个 select 语句的时候,会生成一个当前时间点的事务快照 ReadView,主要包含以下几个属性:

  • m_ids:表示生成ReadView时,当前系统中未提交的读写事务的事务id列表。
  • min_trx_id:表示生成ReadView时,当前系统中未提交的读写事务中最小的事务id,也就是m_ids中的最小值。
  • max_trx_id:表示生成ReadView时,系统中应该分配给下一个事务的id值。
  • creator_trx_id:表示生成ReadView时,该事务的事务id。

有了这个 ReadView,这样在访问某条记录时,只需要按照下边的步骤判断记录的某个版本是否可见:

  • trx_id == creator_trx_id:可以访问这个版本。
  • trx_id < min_trx_id :可以访问这个版本。
  • trx_id > max_trx_id:不可以访问这个版本。
  • min_trx_id <= trx_id <= max_trx_id :如果trx_id是在m_ids中,不可以访问这个版本,反之可用。

在进行判断时,首先会拿记录的最新版本来比较,如果该版本无法被当前事务看到,则通过记录的 ROLL_PTR 找到上一个版本,重新进行比较,直到找到一个能被当前事务看到的版本。
而对于删除,其实就是一种特殊的更新,InnoDB 用一个额外的标记位 delete_bit 标识是否删除。当我们在进行判断时,会检查下 delete_bit 是否被标记,如果是,则跳过该版本,通过 ROLL_PTR 拿到下一个版本进行判断。

以上内容是对于 RR 级别来说,而对于 RC 级别,其实整个过程几乎一样,唯一不同的是生成 ReadView 的时机, RR 级别只在事务开始时生成一次,之后一直使用该 ReadView。而 RC 级别则在每次 select 时,都会生成一个 ReadView。

MVCC 有没有解决幻读?

幻读:在一个事务中使用相同的 SQL 进行两次读取,第二次读取到了其他事务新插入的行。
例如:

1)事务 1 第一次查询:select * from user where id < 10 时查到了 id = 1 的数据

2)事务 2 插入了 id = 2 的数据

3)事务 1 使用同样的语句第二次查询时,查到了 id = 1、id = 2 的数据,出现了幻读。

谈到幻读,首先我们要引入“当前读”和“快照读”的概念。

  • 快照读:生成一个事务快照(ReadView),之后都从这个快照获取数据。普通 select 语句就是快照读。
  • 当前读:读取数据的最新版本。常见的 update/insert/delete、还有 select … for update、select … lock in share mode 都是当前读。

对于快照读,MVCC 因为从 ReadView 读取,所以必然不会看到新插入的行,所以天然就解决了幻读的问题。

而对于当前读的幻读,MVCC 是无法解决的。需要使用 Gap Lock 或 Next-Key Lock(Gap Lock + Record Lock)来解决。

其实原理也很简单,用上面的例子稍微修改下以触发当前读:

select * from user where id < 10 for update

当使用了 Gap Lock 时,Gap 锁会锁住 id < 10 的整个范围,因此其他事务无法插入 id < 10 的数据,从而防止了幻读。

到此这篇关于MySQL的多版本并发控制MVCC的实现的文章就介绍到这了,更多相关MySQL多版本并发控制MVCC内容请搜索NICE源码以前的文章或继续浏览下面的相关文章希望大家以后多多支持NICE源码!

免责声明:
1、本网站所有发布的源码、软件和资料均为收集各大资源网站整理而来;仅限用于学习和研究目的,您必须在下载后的24个小时之内,从您的电脑中彻底删除上述内容。 不得使用于非法商业用途,不得违反国家法律。否则后果自负!

2、本站信息来自网络,版权争议与本站无关。一切关于该资源商业行为与www.niceym.com无关。
如果您喜欢该程序,请支持正版源码、软件,购买注册,得到更好的正版服务。
如有侵犯你版权的,请邮件与我们联系处理(邮箱:skknet@qq.com),本站将立即改正。

NICE源码网 MySql MySQL的多版本并发控制MVCC的实现 https://www.niceym.com/35626.html