InnoDB 事务加锁分析

本文首发于 vivo互联网技术 微信公众号 
链接：
作者：何志创

一般大家对数据库事务的了解可能停留在事务的ACID特性以及事务4种不同的隔离级别层面上，而对于事务 4 种不同隔离级别如何实现了解相对较少。

本文以 MySQL 数据库 InnoDB 引擎为例，为大家分析 InnoDB数据库引擎对默认的隔离级别可重复读（RR）的具体实现。

整文知识点介绍：事务4种隔离级别、不同隔离级别解决的问题、MVCC、锁的类型、加锁案例分析；阅读完整文相信大家对事务隔离级别的具体实现有了一定的认识。

一、事务的隔离级别

1、4 种隔离级别

（1）未提交读（Read uncommitted）：一个事务读取到其他事务未提交的数据，是级别最低的隔离机制；

（2）提交读（Read committed)：一个事务读取到其他事务提交后的数据；

（3）可重复读（Repeatable read）：一个事务对同一份数据读取到的相同，不在乎其他事务对数据的修改；

（4）序列化（Serializable） ：事务串行化执行，隔离级别最高，牺牲了系统的并发性。

2、不同隔离级别解决的问题

若不考虑事务的隔离级别，则事务的并发会造成以下问题：

（1）脏读：事务A读取了事务B更新的数据，然后B回滚操作，那么A读取到的数据是脏数据。

（2）不可重复读：事务 A 多次读取同一数据，事务 B 在事务A多次读取的过程中，对数据作了更新并提交，导致事务A多次读取同一数据时，结果 不一致。

（3）幻读：同一事务中对同一范围的数据进行读取，结果却多出了数据或者少了数据，这就叫幻读。（如同一事务对id<10的范围进行2次查询，第一次出现id=8、9的两条数据，第二次出现id=7、8、9的3条数据）。

不可重复读的和幻读很容易混淆，不可重复读侧重于修改，幻读侧重于新增或删除。解决不可重复读的问题只需锁住满足条件的行，解决幻读需要锁表。

不同的隔离级别针对上述3个问题的解决能力，如下表：

二、MVCC

上文提到 InnoDB 默认的隔离级别是可重复读（RR），InnoDB是通过MVCC（多版本并发控制）来实现可重复读的，下面为大家介绍MVCC。

1、概念

在InnoDB中，给每行增加两个隐藏字段来实现MVCC，一个用来记录数据行的创建时间，另一个用来记录行的过期时间（删除时间）。在实际操作中，存储的并不是时间，而是事务的版本号，每开启一个新事务，事务的版本号就会递增。

于是乎，默认的隔离级别（REPEATABLE READ）下，增删查改变成了这样：

（1）SELECT

• 读取创建版本小于或等于当前事务版本号，并且删除版本为空或大于当前事务版本号的记录。这样可以保证在读取之前记录是存在的。

（2）INSERT

• 将当前事务的版本号保存至行的创建版本号。

（3）UPDATE

• 新插入一行，并以当前事务的版本号作为新行的创建版本号，同时将原记录行的删除版本号设置为当前事务版本号。

（4）DELETE

• 将当前事务的版本号保存至行的删除版本号。

2、快照读和当前读

（1）快照读：读取的是快照版本，也就是历史版本；

（2）当前读：读取的是最新版本。

普通的SELECT就是快照读，而UPDATE、DELETE、INSERT、SELECT ...  LOCK IN SHARE MODE、SELECT ... FOR UPDATE是当前读。

（3）结论：如果隔离级别是REPEATABLE READ，那么在同一个事务中的所有普通select读读到的都是事务第一个读到的快照，如此实现了可重复读；而对于当前读（UPDATE、DELETE、INSERT、SELECT ... LOCK IN SHARE MODE、SELECT ... FOR UPDATE），InnoDB 通过加锁来实现可重复读，且InnoDB 加锁同时解决了幻读问题。

三、锁的类型

InnoDB 引入以下三种锁类型：

• Record Locks（记录锁）：在索引记录上加锁，即行锁，锁住当前行。

• Gap Locks（间隙锁）：在索引记录之间加锁，或者在第一个索引记录之前加锁，或者在最后一个索引记录之后加锁。

• Next-Key Locks：在索引记录上加锁，并且在索引记录之前的间隙加锁。它相当于是Record Locks与Gap Locks的一个结合。

假设一个索引包含以下几个值：10,11,13,20。那么这个索引的next-key锁将会覆盖以下区间：(-oo, 10]、(10, 11]、(11, 13]、(13, 20]、(20, +oo)。

MySQL InnoDB 通过间隙锁解决了幻读问题。以下通过实际的案例分析来介绍InnoDB 是如果解决幻读问题的。

四、案例分析

在对SQL进行加锁分析前，需要明确表的结构和索引类型。在不知道索引的情况下直接给出一条SQL来分析如果加锁是没有任何意义的。

以下以用户表（t_user）为例（id为主键，name为唯一索引，age为一般索引，address无索引）分析不同索引条件的加锁表现。

1、主键索引

例：delete from t_user where id=120;
条件为主键，此时锁住聚簇索引中对应的行记录：即Record Locks锁住id=120的行记录。

此种情况下，其他事务除了不能删除、更新此条记录外，其他插入其他行、更新其他行都行。

SQL验证：

2、唯一索引

例：delete from t_user where name='n20';
条件为唯一索引，锁住索引记录，同时锁住聚簇索引中的对应行记录：

SQL验证：

3、一般索引

例：delete from t_user where age=20;
与主键和唯一索引不同的是，一般索引的记录是允许重复的；换句话说，如果我们单纯地给索引加记录锁时，其他事务依然可以插入，也就有可能出现幻读问题了。

所以除了给对应索引记录加上记录锁之外，还要给Gap加上锁。

从上面知识点我们可以预估这个操作一共需要的锁：

• age索引记录锁(Record Lock) ：

  20_120, 20_130（以下均用age_id这种形式表示索引值）

• age索引间隙锁(Gap X-Lock)：

  (10, 20)、(20, 20)、(20, 40)

• 聚簇索引上的记录锁(Record X-Lock)：

  id=120/130对应的行记录

SQL验证：

根据实际情况，3-6均符合我们预期，然而7和8则超出了我们预期的锁范围。为什么会超出我们预期呢？此次我们进行分析一下：

从7、8插入语句来看，由于id为自增主键，会自动递增，语句7插入值预计为：10_141；

语句8插入值预计为：40_141，为什么只有后者能插入呢？
其实我们可以将B+树中的间隙理解得更加精准一点：

age=20的三个间隙应该为：(10_110, 20_120)、(20_120, 20_130)、(20_130, 40_140)；

从上图可以看出语句7插入值10_141 无法插入，因为间隙被锁住了；而语句8插入 40_141值因为在间隙之外了，无锁冲突，允许插入。

所以最终的加锁情况应该这样表示：

• age索引记录锁(Record Lock) ：20_120, 20_130

• age索引间隙锁(Gap X-Lock)：(10_110, 20_120)、(20_120, 20_130)、(20_130, 40_140)

• 聚簇索引上的记录锁(Record X-Lock)：id=120/130对应的行记录

4、无索引

delete from t_user where address='a20'，因为无法精准定位，InnoDB选择将聚簇索引中的所有行以及间隙都锁起来，功能上已经等于锁表了：

SQL验证：

5、结论

InnoDB 在RC（READ COMMITTED）隔离级别中，只会在对应的索引/行记录上加Record Lock，而不会加Gap锁，原因也很简单，因为该隔离级别是允许存在幻读问题的。

在RR级别下的加锁方式称之为Next-Key Locks，其实就是上述Record Locks和Gap Locks的结合。比如Gap Lock为(10,20) ,record lock为20，结合的Next-Key lock 为：(10, 20]。

分析Next-Key Locks其实就是要分析Record Locks和Gap Locks。MySQL InnoDB的可重复读并不保证避免幻读，需要应用使用加锁读来保证。而这个加锁读使用到的机制就是next-key locks。

如果使用普通的读，会得到一致性的结果，如果使用了加锁的读，就会读到“最新的”“提交”读的结果。本身，可重复读和提交读是矛盾的。在同一个事务里，如果保证了可重复读，

就会看不到其他事务的提交，违背了提交读；如果保证了提交读，就会导致前后两次读到的结果不一致，违背了可重复读。可以这么讲，InnoDB提供了这样的机制，在默认的可重复读的隔离级别里，可以使用加锁读去查询最新的数据。