MySQL InnoDB锁类型

引子

在上一篇文章《MySQL事务的特性与隔离级别》中，我写了MySQL事务的特性以及隔离级别。接下来，我跟着官方文档，总结一下 MySQL InnoDB中锁的类型。

共享锁与排它锁

InnoDB实现了标准的行锁，包括两种：共享锁(Shard Locks，简写为 S lock)和排它锁(Exclusive Locks，简写为 X lock)。

• 共享锁允许持有该锁的事务读取一行，同时会阻止其他事务获取该行的排它锁。
• 排它锁允许持有该所的事务更新或删除一行，同时会阻止其他事务获取该行的排它锁。

意向锁

InnoDB支持多粒度的锁，允许行锁和表锁并存。为了在多个粒度级别上实现锁定，InnoDB实现了 意向锁(Intention Locks)。意向锁是表锁，表示事务稍后要对表中的某一行使用哪种类型的锁(共享锁和排它锁)。有两种类型的意向锁：意向共享锁(Intention Shard Lock，简称 IS lock) 和 意向排它锁(Intention Exclusive Locks，简称为 IX lock)。

• 意向共享锁 表示事务打算对表中的个别行设置 共享锁。
• 意向排它锁 表示事务打算对表中的个别行设置 排他锁。

意向锁的使用方式是：

• 在事务准备获取某行的共享锁之前，它必须先获取该表的意向共享锁或更强的锁；
• 在事务准备获取某行的排它锁之前，它必须先获取该表的意向排他锁或更强的锁。

意向锁的主要目的是表明有人正在锁定表中的行，或者打算锁定表中的行。也就是说，除了全表请求(例如，LOCK TABLES ... WRITE 会在指定表上申请一个排它锁)，意向锁不会阻止其他内容。

例如，SELECT ... FOR SHARE 会设置一个 意向共享锁(IS lock)；SELECT ... FOR UPDATE 会设置一个 意向排它锁(IX lock)。

记录锁

记录锁(Record Locks)是对索引记录的锁定。例如，SELECT c1 FROM t WHERE c1 = 10 FOR UPDATE; 会防止其他事务更新、插入或删除 t.c1 = 10 的行。

记录锁总是锁定索引记录，即使对于没有定义索引的表也是如此。对于这种情况，InnoDB创建一个隐藏的聚簇索引(clustered index)并将该索引用于记录锁定。

间隙锁

对于间隙锁，首先介绍一下间隙(gap)的概念。下面是官方文档中的描述：

A place in an InnoDB index data structure where new values could be inserted. 

间隙(gap)就是 InnoDB的索引数据结构中，可以插入新值的地方。大家把上面这段官方文档原文多读两遍，把下文的内容看完，大家一定能够理解。

间隙锁(Gap Locks)是对索引记录之间的间隙的锁定，或者是对 第一个索引记录之前 或 最后一个索引记录之后 的锁定。下面是官方文档原文：

A gap lock is a lock on a gap between index records, or a lock on the gap before the first or after the last index record.

比如，对于 SELECT c1 FROM t WHERE c1 BETWEEN 10 AND 15 FOR UPDATE; 如果有其他事务想要插入或更新 c1 = 13 的记录，都会被阻止，不管这条记录是否已经存在。

对于间隙锁，间隙中可能只包含一条索引记录，也可能包含多条索引记录，甚至可能是空的。

间隙锁是在性能和并发性之间权衡的结果，只能用于一些事务隔离级别。

对于使用唯一索引来锁定唯一一行的语句，不需要使用到间隙锁。这不包括搜索条件只包括 复合唯一索引(multiple-column unique index) 中的一些列的情况，此时仍然会锁定间隙。

比如：SELECT * FROM t WHERE id = 100; 这样一条语句，如果 id 列具有唯一索引，则只会对 id = 100 的这一行记录使用 索引记录锁，而不会对其前后的间隙进行锁定。如果 id 列未建立索引或具有非唯一索引，则会对上文提到的间隙进行锁定。

对于间隙锁，还需要注意的是：不同的事务可以在同一个间隙上持有冲突的锁。例如，事务A可以在一个间隙上持有一个共享的间隙锁(gap S-lock)，而事务B可以在同一个间隙上持有一个独占的间隙锁(gap X-lock)。允许存在冲突的间隙锁的原因是，如果从索引中删除一条记录，不同的事务持有的记录上的间隙锁将会被合并。最后这句话什么意思，我觉得可以用下面这段话来解释——

InnoDB中的间隙锁是“完全禁止的”(purely inhibitive)，它存在的唯一目的是为了防止其他事务插入数据到锁定的间隙中。间隙锁可以共存，一个事务持有的间隙锁不会阻止其他事务对同一间隙的锁定。共享间隙锁 和 排他间隙锁 之间没有什么不同，它们的功能也是一样的——都是为了防止其他事物插入数据到锁定的间隙中。

Next-Key Locks

Next-Key Lock 是 索引记录上的记录锁 和 索引记录前的间隙上的间隙锁 的组合。

InnoDB执行 行锁 的方式是，当它搜索或扫描表索引时，它会在遇到的索引记录上设置 共享锁或排它锁。也就是说，行锁 实际上是对 索引记录 的锁定。索引记录上的 Next-Key Lock 还会影响该索引记录之前的“间隙”。

如果一个会话在索引中的记录R上具有共享锁或排它锁，则另一个会话不能在按照索引顺序 紧邻R之前的间隙中插入新的索引记录。下面是官方文档中的例子：

假设一个索引包含10、11、13和20这四个值。则该索引可能的 next-key lock 涵盖了以下区间：

(-∞, 10]
(10, 11]
(11, 13]
(13, 20]
(20, +∞)

插入意向锁

插入意向锁(Insert intention Locks) 是一种在插入行之前由 INSERT 操作设置的间隙锁。

该锁以这样一种方式发出插入意图的信号：如果插入到 相同索引间隙 中的多个事务没有在 间隙中的相同位置 插入，则它们不需要彼此等待。

假设有值为 4 和7 的索引记录，有两个独立的事务分别准备插入值 5 和 6。在未获得插入行的排它锁之前，每个事务都使用 插入意向锁 来锁定 4 和 7 之间的间隙，但它们不会彼此阻塞，因为两个事务插入的数据并不在同一行，这些行是彼此不冲突的。

AUTO-INC Locks

AUTO-INC Lock 是一种特殊的表级锁，由插入到具有 AUTO-INCREMENT 列的表中的事务获取。

在最简单的情况下，如果一个事务 T 正在向表中插入值，则其他任何事务都必须等待 事务T 在表中插入完毕，以便 事务T 插入的行获得连续的主键值。

Predicate Locks for Spatial Indexes

针对这个锁，我初步看了下官方文档，深感自己道行太浅，不懂的太多。先把上面的知识消化下，等理解的差不多了，再来看看这里。

总结

知识是连贯的，原来就是想看看 MySQL 的隔离级别，看着发现，还需要了解下锁的机制。看了锁，发现还需要了解下MySQL的索引。知识是学不完的，学到知识的满足感 就是我继续学习的动力。学海无涯，任重道远~

参考文档

1、https://dev.mysql.com/doc/refman/8.0/en/innodb-locking.html

2、https://dev.mysql.com/doc/refman/8.0/en/glossary.html#glos_gap

3、https://www.jianshu.com/p/bf862c37c4c9

4、https://www.percona.com/blog/2012/03/27/innodbs-gap-locks/

5、https://www.cnblogs.com/zhoujinyi/p/3435982.html