MVCC(全称Multi-Version Concurrent Control)是一种多版本并发控制机制。
MVCC是通过保存数据在某个时间点的快照来实现的。不同存储引擎的MVCC实现不同,典型的有乐观并发控制和悲观并发开销。
Innodb的MVCC是通过在每行记录后面保存两个隐藏的列来实现的。这两个列,一个保存了这个行的创建时间,另一个保存的是行的删除时间。这里存储的并不是实际的时间值,而是系统版本号,每开始一个新的事务,系统版本号就会自动递增,事务开始时刻的系统版本号会作为事务的ID。下面看一下在REPEATABLE READ 隔离级别下,MVCC具体是如何操作的。
create table user (
uid int primary key auto_increment,
name varchar(20));
INSERT
InnoDB为新插入的每一行保存当前系统版本号作为版本号。假设系统的版本号从1开始,第一个事务ID为1.
start transaction;
insert into user values(NULL, 'Hans');
insert into user values(NULL, 'Will');
insert into user values(NULL, 'Jack');
commit;
对应的数据中的表如下(后面两列隐藏,我们通过查询语句看不到)
uid | name | 创建时间(事务ID) | 删除时间(事务ID) |
---|---|---|---|
1 | Hans | 1 | undefined |
2 | Will | 1 | undefined |
3 | Jack | 1 | undefined |
SELECT
InnoDB会根据以下两个条件检查每行记录,查询结果必须同时满足这两个条件。
1、InnoDB只会查找版本早于当前事务版本的数据行(即行的系统版本号小于或等于事务的系统版本号),这样可以确保事务读取的行,要么是在事务开始前已经存在,要么是事务自身插入或修改过。
2、行的删除版本要么未定义,要么大于当前事务版本号,这可以确保事务读取到的行,在事务开始之前未被删除。
DELETE
InnoDB会为删除的每一行保存当前系统的版本号(事务的ID)作为删除标识。
第二个事务,ID为2
start transaction;
select * from user; //(s 1)
select * from user; //(s 2)
commit;
假设1
假设在执行这个事务ID 为2的过程中,刚执行到(s 1),这时,有另一个事务ID为3往这个表里插入了一条数据;
start transaction;
insert into user values(NULL, 'Charles');
commit;
这时表中数据如下:
uid | name | 创建时间() | 删除时间() |
---|---|---|---|
1 | Hans | 1 | undefined |
2 | Will | 1 | undefined |
3 | Jack | 1 | undefined |
4 | Charles | 3 | undefined |
由于user表uid=4的数据创建时间事务ID为3,执行当前事务的ID为2,而InnoDB只会查找事务ID小于等于当前事务ID的数据行,所以uid=4的数据在执行事务2中的(s 2)时不会被检索出来。
假设2
假设子啊执行事务ID为2的过程中,刚执行到(s 1),事务执行完事务3后,有执行事务4:
start transaction;
delete from user where id=1;
commit;
此时数据表如下:
uid | name | 创建时间() | 删除时间() |
---|---|---|---|
1 | Hans | 1 | 4 |
2 | Will | 1 | undefined |
3 | Jack | 1 | undefined |
4 | Charles | 3 | undefined |
接着执行事务ID为2的事务(s 2),根据select检索条件知道,它只会检索创建时间小于当前事务ID和删除时间大于当前事务的行。检索出数据如下:
uid | name | 创建时间() | 删除时间() |
---|---|---|---|
1 | Hans | 1 | 4 |
2 | Will | 1 | undefined |
3 | Jack | 1 | undefined |
UPDATE
InnoDB执行UPDATE,实际上市新插入了一行记录,并保存期创建时间为当前事务的ID,同时保存当前事务ID到要UPDATE的行的删除时间。
假设3
假设在执行完事务2的(s 1)后,其他用户执行了事务3,4,又有一个用户对这张表执行了UPDATE的操作:
第5个事务:
start transaction;
update user set name='Jucy' where id=2;
commit;
得到如下表:
uid | name | 创建时间() | 删除时间() |
---|---|---|---|
1 | Hans | 1 | 4 |
2 | Will | 1 | 5 |
3 | Jack | 1 | undefined |
4 | Charles | 3 | undefined |
2 | Jucy | 5 | undefined |
继续执行事务2的(s 2),会得到如下表
uid | name | 创建时间() | 删除时间() |
---|---|---|---|
1 | Hans | 1 | 4 |
2 | Will | 1 | 5 |
3 | Jack | 1 | undefined |