MYSQL隔离性原理——MVCC

表的隐藏字段

表的列包含用户自定义的列和由系统自动创建的隐藏字段。我们介绍3个隐藏字段,不理解也没有关系,理解后面的undo log就懂了:

  • DB_TRX_ID :6 byte,最近修改( 修改/插入 )事务ID,记录创建这条记录/最后一次修改该记录的事务ID
  • DB_ROLL_PTR : 7 byte,回滚指针,指向这条记录的上一个版本(简单理解成,指向历史版本就行,这些数据一般在 undo log 中)
  • DB_ROW_ID : 6 byte,隐含的自增ID(隐藏主键),如果数据表没有主键, InnoDB 会自动以DB_ROW_ID 产生一个聚簇索引

undo log

undo log是一个缓冲区,用来存放记录修改的历史记录。

以下面这个表为例讲解:

当我们插入一条记录后,这个表中的内容实际上是这样的:

|----|------|------------------|-------------|-----|
| id | name | DB_TRX_ID | DB_ROLL_PTR | ... |
| 1 | Tom | 创建当前记录的事务id,假设为1 | null |

如果我们在一个事务中修改这个记录,它的过程是这样的:

先将当前记录做备份,放到undo log中。同时将修改后的记录的DB_ROLL_PTR设置为上一个记录的地址。就这样将记录的每个版本都用回滚指针连起来,形成一个版本控制链 。当我们想要回滚到某个版本时,就可以直接找到。这一个个版本,我们称之为快照。

另外,不需要考虑undo log满的情况。在一个事务commit之后,修改记录的所有版本都会释放。

ReadView

undo log看起来和隔离性没什么关系,其实不然。隔离性是由undo log和readview配合实现的!

先介绍连个两个概念:

当前读:读取最新的记录,就是当前读。增删改,都叫做当前读。

快照读:读取记录的历史版本(一般而言),就叫做快照读。


Readview是一个类,可以记录数据库当前活跃事务的id,以及事务id的分配情况,相当于当前数据库的一个快照。我们简单了解几个类成员:

  • m_ids; //一张列表,用来记录Read View生成时,系统正进行的事务的ID
  • up_limit_id; //记录m_ids列表中事务ID最小的ID,小于这个值的事务id,就说明这个事务已经commit了。
  • low_limit_id; //ReadView生成时刻系统尚未分配的下一个事务ID,也就是目前已出现过的事务ID的最大值+1。大于这个id值的事务,就是在Read View生成后新开始的事务。
  • creator_trx_id //创建该ReadView的事务ID

隔离性的实现

ReadView会在事务进行快照读的时候创建,此时,事务会被分成三类:

对于read uncommitted,这三类事务的记录快照对于当前进行的事务来讲全部可见。

对于read committed和repeatable read,在第一个区间的事务id的记录快照可见;在第二个区间内但是不在m_ids中的事务的记录快照也可见,但是在m_ids中的事务的记录快照不可见;在第三个区间的事务的记录快照不可见。

那么,RC和RR的区别在哪?

对于RC,当前事务每次进行快照读的时候,都会创建ReadView。因此,当并行事务commit后,再进行快照读,这条记录就会变得可见。

对于RR,只在事务第一次进行快照读时创建ReadView,后续不会再创建。因此,不管并行的事务是否commit,都无法看到修改后的记录。

相关推荐
一条小小yu15 分钟前
高频 SQL 50 题(基础版)连接部分
数据库·sql
Beekeeper&&P...16 分钟前
sql中对象名称要加_的作用
数据库·sql
xserver218 分钟前
Openstack9--安装etcd分布式键-值对存储系统
数据库·分布式·openstack·etcd
liang0811420 分钟前
C#自定义特性-SQL
数据库
ppo_wu1 小时前
1Panel修改PostgreSQL时区
linux·数据库·docker·postgresql
门牙咬脆骨1 小时前
MYSQL 事务
数据库·mysql
旧故新长1 小时前
解决MySQL中整型字段条件判断禁用不生效的问题
数据库·oracle·tomcat
最笨的羊羊1 小时前
日常分享系列之:学习mysql-binlog-connector-java
java·mysql·binlog·日常分享系列·connector
天天要nx1 小时前
D66【python 接口自动化学习】- python基础之数据库
数据库·python
杜杜的man2 小时前
【go从零单排】Regular Expressions正则表达式
mysql·golang·正则表达式