MySQL锁,锁的到底是什么?

蝉沐风2022年12月2日
大约 18 分钟约 5498 字

MySQL锁系列文章已经鸽了挺久了,最近赶紧挤了挤时间,和大家聊一聊MySQL的锁。

只要学计算机,「」永远是一个绕不过的话题。MySQL锁也是一样。

一句话解释MySQL锁:

MySQL锁是解决资源竞争的一种方案。

短短一句话却包含了3点值得我们注意的事情:

  1. 对什么资源进行竞争?
  2. 竞争的方式(或者说情形)有哪些?
  3. 锁是如何解决竞争的?

这篇文章开始带你循序渐进地理解这几个问题。

1. 资源的竞争方式

MySQL对资源的操作无非就是两种方式,但是由于事务并发执行的存在,因此对同一资源的并发访问存在3种形式:

  • 读—读:并发事务同时读取相同资源。由于读操作不会改变资源本身,因此这种情况下并不存在并发安全性问题
  • 读—写/写—读:一个事务对资源进行读操作,另一个事务对资源进行写操作。
  • 写—写:并发事务同时对同一个资源进行写操作。

2. 读—写/写—读下的问题

假设一种情形,一个事务先对某个资源进行读操作,然后另一个事务再对该资源进行写操作,如果两个事务到此为止,必然不会导致并发问题。

可是事务这种东西,一般情况下就是包含有很多个子操作啊。

2.1. 幻读

想象一下啊,假设事务T1T2并发执行,T1先查找了所有name为「王刚蛋」的用户信息,此时发现拥有这个硬汉名字的用户只有一个。然后T2插入了一个同样叫做「王刚蛋」的用户的信息,并且提交了。

2.2. 不可重复读

再来,同样是T1T2两个事务,T1通过id = 1查询到了一条数据,然后T2紧接着UPDATEDELETE也可以)了该条记录,不同的是,T2紧接着通过COMMIT提交了事务。

此时,T1再次执行相同的查询操作,会发现数据发生了变化,name字段由「王刚蛋」变成了「蝉沐风」。

如果一个事务读到了另一个已提交事务修改过的(或者是删除的)数据,而导致了前后两次读取的数据不一致的情况,这种事务并发问题叫做不可重复读

2.3. 脏读

事情还没结束,假设T1T2都要访问user_innodb表中id1的数据,不同的是T1先读取数据,紧接着T2修改了数据的name字段,需要注意的是,T2并没有提交!

此时,T1再次执行相同的查询操作,会发现数据发生了变化,name字段由「王刚蛋」变成了「蝉沐风」。

如果一个事务读到了另一个未提交事务修改过的数据,而导致了前后两次读取的数据不一致的情况,这种事务并发问题叫做脏读

2.4. 锁与MVCC的关系

总结一下:我们在读—写,写—读的情况下会遇到3种读不一致性的问题,脏读、不可重复读以及幻读。

那写—写呢?很显然,在不做任何措施的情况下,并发会出现更大的问题。那该怎么办呢?

一切的并发问题都可以通过串行化解决,但是串行化效率太低了!

再优化一下,一切并发问题都可以通过加锁来解决,这种方案我们称为基于锁的并发控制Lock Bases Concurrency Control, LBCC)!但是在读多写少的环境下,客户端连读取几条记录都需要排队,效率还是太低了!

因此,MySQL的设计者为事务之间的隔离性提供了不同的级别,使得开发者可以根据自己的业务场景设置不同的隔离级别,来解决(或者部分解决)读—写/写—读下的读一致性问题,而不是一上来就加锁。

这种机制叫做MVCC,如果你对这个概念不是很了解,我建议你暂停一下,读一下我的事务的隔离性与MVCCopen in new window这篇文章,写得贼好!!(自卖自夸一下)

那有了MVCC是不是在读—写/写—读的情况下就不需要锁了呢?那也不是。

MVCC解决的是读—写/写—读中“比较纯粹的读”遇到的一致性问题,原谅我,这是我自己编的词儿。那什么是不纯粹的?拿存款业务举个例子。

假设陀螺要存一笔钱,系统需要先把陀螺的余额读出来,然后在余额的基础上加上本次存款的金额,最后再写入到数据库中。在将余额读出来之后,如果不想让其他事务继续访问该余额,直到整个存款事务完成之后,其他事务才可以对该余额继续进行操作,这种情况下就必须为余额的读取操作添加锁。

再总结一下:MVCC是MySQL默认的解决读—写/写—读下一致性问题的方式,不需要加锁。而锁是实现一致性的最终兜底方案,在某些特殊场景下,锁的使用不可避免

说得更准确一点,MVCC是MySQL在READ COMMITTEDREPEATABLE READ这两种隔离级别之下执行普通SELECT操作时默认解决一致性问题的方式。

具体为什么只是这两种隔离级别,建议你看看事务的隔离性与MVCCopen in new window

2.5. 锁与事务的关系

事务是多个操作的集合,比如我们可以把「把大象装冰箱」这件事情作为一个事务。

事务有A(原子性)、C(一致性)、I(隔离性)、D(持久性)4大特性,而锁就是实现隔离性的其中一种方案(比如还有MVCC等方案)。

事务的隔离性针对不同场景需求又实现了不同的隔离级别,不同的隔离级别下,事务使用锁的方式又会有所不同。举个例子。

READ COMMITTEDREPEATABLE READ这两种隔离级别之下,SELECT操作是不需要加锁的,直接使用MVCC机制即可满足当前隔离级别的需求。但是在SERIALIZABLE隔离级别,并且在禁用自动提交时(autocommit=0),MySQL会将普通的SELECT语句转化为SELECT ... LOCK IN SHARE MODE这样的加锁语句,如果你看不懂这句话也没关系,你只需要知道MySQL自动加锁了就行,更详细的下文再说。

另外,一个事务可能会加很多个锁,但是某个锁一定只属于一个事务。这就好比一个管理员可以管理多个保险柜,一个保险柜一定只被一个管理员管理。

3. 写—写情况

写—写的情况下肯定要加锁的了,所以接下来终于要聊一聊锁了。

我们首先研究一下锁住的东西的大小,也就是锁的粒度。

4. 锁的粒度

举一个非常应景的例子。疫情防控的时候,是封锁整个小区还是封锁某栋楼的某个单元,这完全是两种概念。

对应到MySQL锁的粒度,那就是表锁行锁

很容易想到,封锁小区的行为远比封锁某栋楼某单元的行为粗旷,因此,

从锁定粒度上来看,表锁 > 行锁

直接堵住小区的门口要比进入小区找到具体某栋楼的某个单元要快不少,因此,

从加锁效率上来看,表锁 > 行锁

直接锁住小区大概率会影响其他楼居民的正常生活和各种社会活动的开展,而锁住某栋楼某单元顶多影响这一个单元的居民的生活,因此,

从冲突概率来看,表锁 > 行锁

从并发性能来看,表锁 < 行锁

MySQL支持很多存储引擎,而不同的存储引擎对锁的支持也不尽相同。对于MyISAMMERGEMEMORY这些存储引擎而言,只支持表锁;而InnoDB存储引擎既支持表锁也支持行锁,下文讨论的所有内容均针对InnoDB存储引擎。

说完锁的粒度,还有一件事情需要我们仔细考虑一下。上文说过,READ COMMITTEDREPEATABLE READ这两种隔离级别之下,SELECT操作默认采用MVCC机制就可以了,压根儿不需要加锁,那么问题来了,万一我就是想加锁呢?

你可能会说,“简单啊,那就加锁!把数据锁死!除了我谁也别动!”

很好,但是对于大部分读—读而言,由于不会出现读一致性问题,所以不让其他事务进行读操作并不合理。

你可能又说,“那行吧,那就让读操作加锁的时候允许其他事务对锁住的数据进行读操作,但是不允许写操作。”

嗯,想得确实更细致了一些。但是再想想我上文中举过的陀螺存钱的例子,有时候SELECT操作需要独占数据,其他事务既不能读,更不能写。

我们把这种共享排他的性质称为锁的基本模式。

5. 锁的基本模式

5.1. 共享锁

共享锁(Shared Lock),简称S锁,可以同时被多个事务共享,也就是说,如果一个事务给某个数据资源添加了S锁,其他事务也被允许获取该数据资源的S锁。

由于S锁通常被用于读取数据,因此也被称为读锁

那怎么给数据添加S锁呢?

我们可以用 SELECT ... LOCK IN SHARE MODE; 的方式,在读取数据之前就为数据添加一把S锁。如果当前事务执行了该语句,那么会为读取到的记录添加S锁,同时其他事务也可以使用SELECT ... LOCK IN SHARE MODE; 方式继续获取这些数据的S锁。

我们通过以下的例子验证一下S锁是否可以重复获取。

5.2. 排他锁

排他锁(Exclusive Lock),简称X锁。只要一个事务获取了某数据资源的X锁,其他的事务就不能再获取该数据的X锁和S锁。

由于X锁通常被用于修改数据,因此也被称为写锁

X锁的添加方式有两种,

  1. 自动添加X

    我们对记录进行增删改时,通常情况下会自动对其添加X锁。

  2. 手动加锁

    我们可以用 SELECT ... FOR UPDATE; 的方式,在读取数据之前就为数据添加一把X锁。如果当前事务执行了该语句,那么会为读取到的记录添加X锁,这样既不允许其他事务获取这些记录的S锁,也不允许获取这些记录的X锁。

我们用下面的例子验证一下X锁的排他性。

通常情况下,事务提交或结束事务时,锁会被释放。

6. 意向锁

6.1. 背景

前面提到的S锁和X锁的语法规则其实是针对记录的,也就是行锁,原因是InnoDB中行锁用的最多。如果将锁的粒度和锁的基本模式排列组合一下,就会出现如下4种情况:

  • 行级S
  • 行级X
  • 表级S
  • 表级X

那么接下来的描述,也就顺理成章了。

如果事务给一个表添加了表级S锁,则:

  • 其他事务可以继续获得该表的S锁,但是无法获取该表的X锁;
  • 其他事务可以继续获得该表某些行的S锁,但是无法获取该表某些行的X锁。

如果事务给一个表添加了表级X锁,则:

  • 不论是该表的S锁、X锁,还是该表某些行的S锁、X锁,其他事务都只能干瞪眼儿,啥也获取不了。

挺好理解的吧,总之就是S锁只能和S锁相容,X锁和其他任何锁都互斥。问题来了,虽然用的不多,但是万一我真的想给整个表添加一个S锁或者X锁怎么办?

假如我要给表user添加一个S锁,那就必须保证user在表级别上和行级别上都不能有X锁,表级别上还好说一点,无非就是1个内存结构罢了,但是行X锁呢?必须得逐行遍历是否有行X锁吗?

同理,假如我要给表user添加一个X锁,那就必须保证user在表级别上和行级别上都不能有任何锁(SX都不能有),难不成得逐行遍历是否有SX锁吗?

遍历是不可能遍历的!这辈子都不可能遍历的!于是,意向锁(Intension Lock)诞生了。

6.2. 概念

我们要避免遍历,那最好的办法就是在给行加锁时,先在表级别上添加一个标识。

  • 意向共享锁(Intension Shared Lock):简称IS锁,当事务试图给行添加S锁时,需要先在表级别上添加一个IS锁;
  • 意向排他锁(Intension Exclusive Lock):简称IX锁,当事务试图给行添加X锁时,需要先在表级别上添加一个IX锁。

这样一来:

  • 如果想给user表添加一个S锁(表级锁),就先看一下user表有没有IX锁;如果有,就说明user表的某些行被加了X锁(行锁),需要等到行的X锁释放,随即IX锁被释放,才可以在user表中添加S锁;
  • 如果想给user表添加一个X锁(表级锁),就先看一下user有没有IS锁或IX锁;如果有,就说明user表的某些行被加了S锁或X锁(行锁),需要等到所有行锁被释放,随即IS锁或IX锁被释放,才可以在user表中添加X锁。

需要注意的是,意向锁和意向锁之间是不冲突的,意向锁和行锁之间也不冲突。

只有在对表添加S锁或X锁时才需要判断当前表是否被添加了IS锁或IX锁,当为表添加IS锁或IX锁时,不需要关心当前表是否已经被添加了其他IS锁或IX锁。

目前为止MySQL锁的基本模式就介绍完了,接下来回到这片文章的题目,MySQL锁,锁住的到底是什么?由于InnoDB的行锁用的最多,这里的锁自然指的是行锁。

7. 行锁的原理

既然都叫行锁了,我们姑且猜测一下,行锁锁住的是一行数据。我们做个实验。

7.1. 没有任何索引的表

我们先创建一张没有任何索引的普通表,语句如下

CREATE TABLE `user_t1` (
  `id` int DEFAULT NULL,
  `name` varchar(255) DEFAULT NULL
) ENGINE=InnoDB DEFAULT CHARSET=utf8mb4;

表中数据如下:

mysql> SELECT * FROM user_t1;
+------+-------------+
| id   | name        |
+------+-------------+
|    1 | chanmufeng  |
|    2 | wanggangdan |
|    3 | wangshangju |
|    4 | zhaotiechui |
+------+-------------+

接下来我们在两个session中开启两个事务。

  • 事务1,我们通过WHERE id = 1“锁住”第1行数据;
  • 事务2,我们通过WHERE id = 2"锁住"第2行数据。

一件诡异的事情是,第2个加锁的操作被阻塞了。实际上,T2中不管我们要给user_t1中哪行数据加锁,都会失败!

为什么我SELECT一条数据,却给我锁住了整个表?这个实验直接推翻了我们的猜测,InnoDB的行锁并非直接锁定Record行

为什么没有索引的情况下,给某条语句加锁会锁住整个表呢?别急,我们继续。

7.2. 有主键索引的表

我们再创建一个表user_t2,语句如下:

CREATE TABLE `user_t2` (
	`id` int NOT NULL,
	`name` varchar(255) DEFAULT NULL,
	PRIMARY KEY (`id`)
) ENGINE = InnoDB DEFAULT CHARSET = utf8mb4;

user_t1的不同之处在于为id创建了一个主键索引。表中数据依然如下:

mysql> SELECT * FROM user_t2;
+------+-------------+
| id   | name        |
+------+-------------+
|    1 | chanmufeng  |
|    2 | wanggangdan |
|    3 | wangshangju |
|    4 | zhaotiechui |
+------+-------------+

同样开启两个事务:

  • 事务1,通过WHERE id = 1“锁住”第1行数据;
  • 事务2
    • 依然使用WHERE id = 1尝试加锁,加锁失败;
    • 使用WHERE id = 2尝试加锁,加锁成功。

既然锁的不是Record行,难不成锁的是id这一列吗?

我们再做最后一个实验。

7.3. 有唯一索引的表

我们再创建一个表user_t3,语句如下:

CREATE TABLE `user_t3` (
	`id` int NOT NULL,
	`name` varchar(255) DEFAULT NULL,
	PRIMARY KEY (`id`),
  UNIQUE KEY (`uk_name`) (`name`)
) ENGINE = InnoDB DEFAULT CHARSET = utf8mb4;

user_t2的不同之处在于为name列创建了一个唯一索引。表中数据依然如下:

mysql> SELECT * FROM user_t3;
+------+-------------+
| id   | name        |
+------+-------------+
|    1 | chanmufeng  |
|    2 | wanggangdan |
|    3 | wangshangju |
|    4 | zhaotiechui |
+------+-------------+

两个事务:

  • 事务1,通过name字段 “锁住”name为“chanmufeng”的数据;
  • 事务2
    • 依然使用WHERE name = “chanmufeng” 尝试加锁,可以预料,加锁失败;
    • 使用WHERE id = 1尝试给同样的行加锁,加锁失败。

通过3个实验我们发现,行锁锁住的既不是Record行,也不是Column列,那到底锁住的是什么?我们对比一下,上文的3张表的不同点在于索引不同,其实InnoDB的行锁,就是通过锁住索引来实现的

索引是个啥?再给你推荐一下我之前写的文章,

接下来回答3个问题。

8. 三个问题

8.1. 锁住索引?没有索引怎么办?

你说锁住索引?如果我不创建索引,MySQL锁定个啥?

如果我们没有设置主键,InnoDB会优先选取一个不包含NULL值的Unique键作为主键,如果表中连Unique键也没有的话,就会自动为每一条记录添加一个叫做DB_ROW_ID的列作为默认主键,只不过这个主键我们看不到罢了。

下图是数据的行格式。看不懂的话强烈推荐看一下我上面给出的两篇文章,说得非常明白。

8.2. 为什么第一个实验会锁表?

因为SELECT没有用到索引,会进行全表扫描,然后把DB_ROW_ID作为默认主键的聚簇索引都给锁住了。

8.3. 为什么通过唯一索引给数据加锁,主键索引也会被锁住?

不管是Unique索引还是普通索引,它们的叶子结点中存储的数据都不完整,其中只是存储了作为索引并且排序好的列数据以及对应的主键值。

因此我们通过索引查找数据数据实际上是在索引的B+树中先找到对应的主键,然后根据主键再去主键索引的B+树的叶子结点中找到完整数据,最后返回。所以虽然是两个索引树,但实际上是同一行数据,必须全部锁住。

下面给了一张图,让不了解索引的朋友大致了解一下。上半部分是name列创建的唯一索引的B+树,下半部分是主键索引(也叫聚簇索引)。

假如我们通过WHERE name = '王钢蛋'对数据进行查询,会先用到name列的唯一索引,最终定位到主键值为1,然后再到主键索引中查询id = 1的数据,最终拿到完整的行数据。

这两张图在我索引文章中都有哦~

9. 总结

至此,我已经回答了文章开头的绝大多数问题。

MySQL锁,是解决资源竞争问题的一种手段。有哪些竞争呢?读—写/写—读,写—写中都会出现资源竞争问题,不同的是前者可以通过MVCC的方式来解决,但是某些情况下你也不得不用锁,因此我也顺便解释了锁和MVCC的关系。

然后介绍了MySQL锁的基本模式,包括共享锁(S锁)和排他锁(X锁),还引入了意向锁。

最后解释了锁到底锁的是什么的问题。通过3个实验,最终解释了InnoDB锁本质上锁的是索引。

本文并没有介绍MySQL中具体的锁算法,也就是如何解决资源竞争的,比如Record Locksopen in new windowGap Locksopen in new windowNext-Key Locksopen in new window等,更细节的内容下期见喽~

上次编辑于: 2022/12/26 14:03:21
贡献者: chanmufeng,zhaoxiaolong
Loading...