lock与latch

在了解数据库锁之前，首先就要区分开 lock 和 latch。在数据库中，lock 和 latch 虽然都是锁，却有着截然不同的含义。

latch 通常被我们称为闩锁(轻量级锁)，因为其要求锁定的时间必须非常短。在 InnoDB 中，latch 可以分为 mutex(互斥锁) 和 rwlock(读写锁) ，它的作用是用来保证并发线程操作临界资源的正确性，并且通常没有死锁检测机制。
lock 的操作对象则是事务，用来锁定数据库中的对象，如表、页、行等，一般 lock 的对象仅在事务提交或者回滚后释放，lock 有死锁检测机制。

关于数据库页结构的详细内容可以看这篇博客
在这里插入图片描述

锁的类型

在 InnoDB存储引擎 中实现了下面两种标准的行级锁：

共享锁（S Lock) ： 允许事务读一行数据
排他锁（X Lock) ： 允许事务删除或者更新一行数据。

由于共享锁并不涉及到数据的修改，所以即使一个事务已经获得了某行的共享锁，另外的事务也可以立即获得该行的共享锁，这种情况又被称为锁兼容。

对于排他锁又是另一种情况，由于排他锁涉及到了数据的修改，为了保证安全，其他的事务想要获得同一行的排他锁时，必须要等到前一个事务释放锁才行，这种情况又被称为锁不兼容。

下面是排他锁和共享锁的兼容性：
在这里插入图片描述

由于 InnoDB 支持多粒度锁定，所以允许事务可以同时存在行锁和表锁，为了支持在不同粒度上进行加锁操作，InnoDB 支持一种额外的锁方式，即 意向锁（Intention Lock）。意向锁即将锁定的对象分为多个层次，意味着希望事务在更细粒度上进行加锁。

如果我们想对下层的对象（如记录【一行就是一个记录】）上一个 X锁 ，就需要先对粒度更粗的上层对象上锁，需要分别先对数据库、表、页上 意向排他锁（IX锁） ，再对记录上 X锁 。（如果没有意向锁，我们对一行上了读锁之后，假如某个事务申请了一个表级的写锁，此时这个事务就会对我们上锁的数据进行修改。）

PS：读/写锁 是 共享/排他锁 的一种。
在这里插入图片描述
InnoDB 支持意向锁设计比较简练，其意向锁即为表级别的锁，意向锁主要是为了在一个事务中揭示下一行将被请求的锁的类型，两种意向锁分别如下：

意向共享锁（IS Lock），事务要想获得某一张表中某几行的共享锁。
意向排他锁（IX Lock），事务要想获得某一张表中某几行的排他锁。

由于 InnoDB 支持的是行级别的锁，因此意向锁不会阻塞除全表扫描外的任何请求，故兼容性如下:

在这里插入图片描述

MVCC

MVCC（Multi-Version Concurrency Control）即多版本并发控制，是数据库并发控制的一种方法

一致性非锁定读（快照读）

如果我们读取的行正在执行 DELETE 或者 UPDATE 操作，这时就不会去等待锁释放后再读取，而是直接去读取行的一个快照数据，如下图所示：
在这里插入图片描述

快照数据指的是该行之前版本的数据，这些数据存储在 undo段 中，由于 undo 用来在事务中回滚数据，因此这些快照数据本身并没有额外的开销。并且我们只是读操作，并不涉及修改，而且也没有事务会去对历史数据进行修改，所以在读取快照数据的时候不需要进行加锁。

快照读机制让读取操作不再占用和等待表上的锁，极大的提高了数据库的性能。但由于每个快照都相当于是一个历史版本，行的多版本需要并发控制—— MVCC 。

需要注意的是，MVCC 只在 READ COMMITTED（读已提交） 和 REPEATABLE READ（可重复读）两个隔离级别下工作。由于 READ UNCOMMITTED（读未提交） 总会读取最新的数据，而 SERIALIZABLE（可串行化） 会对所有读取的行加锁，所以这两种都不兼容 MVCC 。

在 RC 隔离级别下，是每个快照读都会生成并获取最新的 Read View，也就是同一个事务中每次快照读的结果都不一样；
在 RR 隔离级别下，则是同一个事务中的第一个快照读才会创建 Read View, 之后的快照读获取的都是同一个 Read View ，也就是同一个事务中每次快照读的结果都跟第一次快照读一样。

当前读，快照读和MVCC的关系

MVCC 多版本并发控制是 「维持一个数据的多个版本，使得读写操作没有冲突」 的概念，只是一个抽象概念，并非实现。
MVCC 只是一个抽象概念，MySQL 需要提供具体的功能去实现它，「快照读就是 MySQL 实现了 MVCC 理想模型的其中一个功能——非阻塞读」。而相对而言，当前读就是悲观锁的具体功能实现。
要说的再细致一些，快照读本身也是一个抽象概念，再深入研究。MVCC 模型在 MySQL 中的具体实现则是由 3 个隐式字段、undo 日志 、Read View 等去完成的。

更多MVCC知识可以阅读这篇博客

一致性锁定读（当前读）

一致性锁定读又称为当前读，读取的是行的最新版本，并且读取的时候为了防止其他事务修改当前行，还会对当前行进行加锁。

在 InnoDB 中，对于 SELECT语句 支持以下两种一致性锁定读操作：

SELECT…FOR UPDATE(排他锁) ：会对读取的行加一个排他锁，此时其他事务不能对该行上任何锁。
SELECT…LOCK IN SHARE MODE(共享锁) ：会位读取的行加上一个共享锁，此时其余的事务可以对该行加上共享锁，但是如果想加排他锁，则会被阻塞。

锁算法

在 InnoDB 中由三种行锁的算法：

Record Lock（记录锁）： 单个行记录上的锁。
Gap Lock（间隙锁）： 锁定一个范围，但不包含记录本身。
Next-Key Lock（下一键锁）： 前两种锁的结合，既锁定一个范围，也锁定记录本身。

举例：

有一组数据，其索引分别为 10、30、60 ，此时使用 SQL 语句 SELECT * FROM t WHERE id = 10 FOR UPDATE ，三种锁的范围如下

Record： 对10单行进行加锁
Gap Lock ： (-∞， 10)、(10, 30)、(30， 60)、(60， +∞)
Next-Key Lock： (-∞，10]、(10，30]、(30，60]、(60，+∞)

对于 Record Lockl 来说，其总是会去锁住索引记录，即使没有设置任何一个索引，它也会使用隐式的索引进行锁定。

Next-Key Lock 是 结合了前面所说的两种锁算法，既锁住范围，也锁住记录本身，在 InnoDB 中对于行的查询都会采用这种算法，而设计它的目的正是为了解决幻读问题。

幻读指 在同一事务中，用同样的操作读取两次，得到的记录数却不一样（针对同一个范围的数据）。 主要原因就是当第一个事务对表中的所有数据行进行修改；同时，第二个事务向表中插入了一行。这样也就导致了操作第一个事务的用户发现表中还有没修改的数据行，像发生了幻觉一样。

在这里插入图片描述
明明在 会话A 的第一次查询中，大于 2 的数只有行只有一行，而由于 会话B 插入了新行后，对于 会话A 而言就凭空多出来了一行，像出现了幻觉一样。

对于以上数据，Next-Key Locking算法 在 SELECT * FROM t WHERE a > 2 FOR UPDATE 这条语句中，锁住的不仅仅是 5 这个数值，而是对直接对[2，+∞） 这个范围加了排他锁，所以任何对于这个范围的插入都不能进行，也就避免了幻读现象的发生。

同理，间隙锁 Gap Lock 也是锁定某个范围，所以它也能防止幻读的出现。

InnoDB 正是借助 锁(Gap Lock、Next-Key Lock) 以及 MVCC(快照读) 这两个机制实现了事务的隔离性。