14.7.1 InnoDB 锁定

本节介绍InnoDB使用的锁定类型。

共享锁和互斥锁

InnoDB实现标准的行级锁定,其中有两种类型的锁:共享(S)锁排他(X)锁

如果事务T1在行r上持有共享(S)锁,则来自某些不同事务T2的对行r的锁请求将按以下方式处理:

  • T2S锁定的请求可以立即获得批准。结果,T1T2都在r上保持S锁定。

  • T2X锁定的请求无法立即获得批准。

如果事务T1在行r上拥有排他(X)锁,则不能立即批准来自某个不同事务T2的对r上任一类型的锁的请求。相反,事务T2必须 await 事务T1释放对行r的锁定。

Intention Locks

InnoDB支持多重粒度锁定,它允许行锁和 table 锁并存。例如,诸如锁 table...写之类的语句在指定的 table 上具有排他锁(X锁)。为了使在多个粒度级别上的锁定切实可行,InnoDB使用intention locks。意向锁是 table 级锁,指示事务稍后对 table 中的行需要哪种类型的锁(共享锁或排他锁)。有两种类型的意图锁:

  • 意向共享锁(IS)table 示事务打算对 table 中的各个行设置“共享”锁。

  • 意向排他锁(IX)table 示事务打算对 table 中的各个行设置排他锁。

例如,选择...锁定共享模式设置IS锁,而选择...更新设置IX锁。

意向锁定协议如下:

  • 在事务可以获取 table 中某行的共享锁之前,它必须首先获取该 table 中的IS锁或更强的锁。

  • 在事务可以获取 table 中某行的排它锁之前,它必须首先获取该 table 中的IX锁。

table 级锁类型的兼容性汇总在以下矩阵中。

XIXSIS
XConflictConflictConflictConflict
IXConflictCompatibleConflictCompatible
SConflictConflictCompatibleCompatible
ISConflictCompatibleCompatibleCompatible

如果锁与现有锁兼容,则将其授予请求的事务,但如果与现有锁冲突,则不授予该请求。事务 await 直到冲突的现有锁被释放。如果锁定请求与现有锁定发生冲突并且由于会导致deadlock而无法被授予,则会发生错误。

除了全 table 请求(例如锁 table...写)之外,意图锁不会阻止任何其他操作。意图锁定的主要目的是 table 明有人正在锁定 table 中的行,或者打算锁定 table 中的行。

意向锁的事务处理数据在显示引擎的 INNODB 状态InnoDB monitor输出中看起来类似于以下内容:

TABLE LOCK table `test`.`t` trx id 10080 lock mode IX

Record Locks

记录锁定是对索引记录的锁定。例如,SELECT c1 FROM t WHERE c1 = 10 FOR UPDATE;阻止任何其他事务插入,更新或删除t.c1的值为10的行。

记录锁始终锁定索引记录,即使没有定义索引的 table 也是如此。在这种情况下,InnoDB将创建一个隐藏的聚集索引,并将该索引用于记录锁定。参见第 14.6.2.1 节“群集索引和二级索引”

记录锁定的事务数据在显示引擎的 INNODB 状态InnoDB monitor输出中看起来类似于以下内容:

RECORD LOCKS space id 58 page no 3 n bits 72 index `PRIMARY` of table `test`.`t`
trx id 10078 lock_mode X locks rec but not gap
Record lock, heap no 2 PHYSICAL RECORD: n_fields 3; compact format; info bits 0
 0: len 4; hex 8000000a; asc     ;;
 1: len 6; hex 00000000274f; asc     'O;;
 2: len 7; hex b60000019d0110; asc        ;;

Gap Locks

间隙锁定是对索引记录之间的间隙的锁定,或者是对第一个或最后一个索引记录之前的间隙的锁定。例如,SELECT c1 FROM t WHERE c1 BETWEEN 10 and 20 FOR UPDATE;防止其他事务将15的值插入到t.c1列中,无论该列中是否已经有这样的值,因为该范围中所有现有值之间的间隙都被锁定。

间隙可能跨越单个索引值,多个索引值,甚至为空。

间隙锁是性能和并发性之间权衡的一部分,并且在某些事务隔离级别而非其他级别中使用。

对于使用唯一索引来锁定唯一行来锁定行的语句,不需要间隙锁定。 (这不包括搜索条件仅包含多列唯一索引的某些列的情况;在这种情况下,会发生间隙锁定.)例如,如果id列具有唯一索引,则以下语句仅使用具有id值 100 的行的索引记录锁,其他会话是否在前面的间隙中插入行都没有关系:

SELECT * FROM child WHERE id = 100;

如果id未构建索引或索引不唯一,则该语句会锁定前面的间隙。

在这里还值得注意的是,可以通过不同的事务将冲突的锁保持在间隙上。例如,事务 A 可以在间隙上保留一个共享的间隙锁(间隙 S 锁),而事务 B 可以在同一间隙上保留排他的间隙锁(间隙 X 锁)。允许冲突的间隙锁的原因是,如果从索引中清除记录,则必须合并由不同事务保留在记录上的间隙锁。

InnoDB中的间隙锁是“完全禁止的”,这意味着它们的唯一目的是防止其他事务插入间隙。间隙锁可以共存。一个事务进行的间隙锁定不会阻止另一事务对相同的间隙进行间隙锁定。共享和专用间隙锁之间没有区别。它们彼此不冲突,并且执行相同的功能。

间隙锁定可以显式禁用。如果将事务隔离级别更改为READ COMMITTED或启用innodb_locks_unsafe_for_binlog系统变量(现已弃用),则会发生这种情况。在这种情况下,将禁用间隙锁定进行搜索和索引扫描,并且仅将其用于外键约束检查和重复键检查。

使用READ COMMITTED隔离级别或启用innodb_locks_unsafe_for_binlog还有其他效果。 MySQL 评估WHERE条件后,将释放不匹配行的记录锁。对于UPDATE语句,InnoDB进行“半一致”读取,以便将最新的提交版本返回给 MySQL,以便 MySQL 可以确定该行是否与UPDATEWHERE条件匹配。

Next-Key Locks

下一键锁定是索引记录上的记录锁定和索引记录之前的间隙上的间隙锁定的组合。

InnoDB以这种方式执行行级锁定,即当它搜索或扫描 table 索引时,它将在遇到的索引记录上设置共享或互斥锁。因此,行级锁实际上是索引记录锁。索引记录上的下一键锁定也会影响该索引记录之前的“间隙”。即,下一键锁定是索引记录锁定加上索引记录之前的间隙上的间隙锁定。如果一个会话在索引中的记录R上具有共享或排他锁,则另一会话无法按照索引 Sequences 在R之前的间隙中插入新的索引记录。

假定索引包含值 10、11、13 和 20.此索引的可能的下一键锁定涵盖以下间隔,其中,圆括号 table 示排除区间端点,方括号 table 示包括端点:

(negative infinity, 10]
(10, 11]
(11, 13]
(13, 20]
(20, positive infinity)

对于最后一个时间间隔,next-key 锁定将间隙锁定在索引中的最大值之上,并且“ supremum”伪记录的值高于索引中实际的任何值。最高不是 true 的索引记录,因此,实际上,此下一键锁定仅锁定跟随最大索引值的间隙。

默认情况下,InnoDBREPEATABLE READ事务隔离级别运行。在这种情况下,InnoDB使用 next-key 锁定进行搜索和索引扫描,这可以防止幻像行(请参阅第 14.7.4 节“幻像行”)。

下一键锁定的事务处理数据在显示引擎的 INNODB 状态InnoDB monitor输出中类似于以下内容:

RECORD LOCKS space id 58 page no 3 n bits 72 index `PRIMARY` of table `test`.`t`
trx id 10080 lock_mode X
Record lock, heap no 1 PHYSICAL RECORD: n_fields 1; compact format; info bits 0
 0: len 8; hex 73757072656d756d; asc supremum;;

Record lock, heap no 2 PHYSICAL RECORD: n_fields 3; compact format; info bits 0
 0: len 4; hex 8000000a; asc     ;;
 1: len 6; hex 00000000274f; asc     'O;;
 2: len 7; hex b60000019d0110; asc        ;;

插入意图锁

插入意图锁定是一种在行插入之前通过INSERT操作设置的间隙锁定。此锁发出插入意图的 signal 是,如果多个事务未插入间隙中的相同位置,则无需 await 彼此插入的多个事务。假设有索引记录,其值分别为 4 和 7.单独的事务分别尝试插入值 5 和 6,在获得插入行的排他锁之前,每个事务都使用插入意图锁来锁定 4 和 7 之间的间隙,但不要互相阻塞,因为行是无冲突的。

下面的示例演示了在获得对插入记录的排他锁之前,使用插入意图锁的事务。该示例涉及两个 Client 端 A 和 B。

Client 端 A 创建一个包含两个索引记录(90 和 102)的 table,然后启动一个事务,该事务将排他锁放置在 ID 大于 100 的索引记录上。排他锁在记录 102 之前包括一个间隙锁:

mysql> CREATE TABLE child (id int(11) NOT NULL, PRIMARY KEY(id)) ENGINE=InnoDB;
mysql> INSERT INTO child (id) values (90),(102);

mysql> START TRANSACTION;
mysql> SELECT * FROM child WHERE id > 100 FOR UPDATE;
+-----+
| id  |
+-----+
| 102 |
+-----+

ClientB 开始 Transaction 以将记录插入空白。事务在 await 获得排他锁的同时获取插入意图锁。

mysql> START TRANSACTION;
mysql> INSERT INTO child (id) VALUES (101);

插入意图锁定的事务数据在显示引擎的 INNODB 状态InnoDB monitor输出中看起来类似于以下内容:

RECORD LOCKS space id 31 page no 3 n bits 72 index `PRIMARY` of table `test`.`child`
trx id 8731 lock_mode X locks gap before rec insert intention waiting
Record lock, heap no 3 PHYSICAL RECORD: n_fields 3; compact format; info bits 0
 0: len 4; hex 80000066; asc    f;;
 1: len 6; hex 000000002215; asc     " ;;
 2: len 7; hex 9000000172011c; asc     r  ;;...

AUTO-INC Locks

AUTO-INC锁是一种特殊的 table 级锁,由事务插入具有AUTO_INCREMENT列的 table 中获得。在最简单的情况下,如果一个事务正在向 table 中插入值,那么任何其他事务都必须 await 自己在该 table 中进行插入,以便第一个事务插入的行接收连续的主键值。

innodb_autoinc_lock_mode配置选项控制用于自动增量锁定的算法。它使您可以选择如何在可预测的自动增量值序列与插入操作的最大并发性之间进行权衡。

有关更多信息,请参见第 14.6.1.6 节“ InnoDB 中的 AUTO_INCREMENT 处理”

空间索引的谓词锁

InnoDB支持对包含空间列的列进行SPATIAL索引(请参见第 11.4.8 节“优化空间分析”)。

要处理涉及SPATIAL索引的操作的锁定,下键锁定不能很好地支持REPEATABLE READSERIALIZABLE事务隔离级别。多维数据中没有绝对排序概念,因此不清楚哪个是“下一个”键。

为了支持具有SPATIAL索引的 table 的隔离级别,InnoDB使用了谓词锁。 SPATIAL索引包含最小边界矩形(MBR)值,因此InnoDB通过在用于查询的 MBR 值上设置谓词锁定来强制对索引进行一致的读取。其他事务不能插入或修改将匹配查询条件的行。