MySQL中的锁怎么理解

48次阅读
没有评论

共计 8258 个字符,预计需要花费 21 分钟才能阅读完成。

本篇内容主要讲解“MySQL 中的锁怎么理解”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让丸趣 TV 小编来带大家学习“MySQL 中的锁怎么理解”吧!

01. 怎么认识 锁

  简单的说,锁 (locking) 是数据库中的一项机制,用于处理多个事务间的协同关系

  可以把它看成是数据库对某些记录或数据表的一种标记,用于指示资源当前状态是否被某些事务占用

02. 锁 的分类

  按照加锁思想不同,可区分乐观锁 (optimistic locking) 和悲观锁(pessimistic locking) mdash; mdash; 这是一个虚构的概念

  按照加锁策略,可分为记录锁(record locking)、间隙锁(gap locking)和临键锁(next-key locking),其中临键锁 = 记录锁 + 间隙锁

  按照加锁粒度,可分为行锁(row-level locking)和表锁(table-level locking),其中 InnoDB 可以加行锁,也可以加表锁;MyISAM 只能加表锁

  按照加锁影响,可区分共享锁(share locking,S 锁)和排他锁(exclusive locking,X 锁),二者又分别称作读锁和写锁

  事务加锁之前要先发出 请求,所以就产生了意向锁(intention locking),相当于是向引擎发出一个加锁的意向:又可细分为共享意向锁(intention share locking,IS)和排他意向锁(intention exclusive locking,IX),请求成功(请求加锁的目标未被占用)则变成相应的 S 锁或 X 锁,否则便处于等待状态或者超时退出。

03. 加 锁 过程

  加锁过程一般分为两个阶段,即加锁(locking phase)和解锁(unlocking phase),所以也叫两阶段锁(two-phase locking)

  锁的作用范围是事务,所以加锁只能在开启事务之后由某些 SQL 语句触发,而当提交事务或回滚时释放锁

04. 给谁加 锁

  不是所有的 SQL 语句都加锁,例如 DDL(数据定义语言)和 DCL(数据控制语言)因不涉及事务,自然不存在锁的问题

  也不是所有的 DQL(特指数据查询语言,形如 select hellip; hellip;)都加锁,例如普通的 select 语句都不加锁,而是依靠 MVCC(multi-version concurrency control,即多版本并发控制)来实现事务的 某种 一致性

  普通 select 语句不加锁,如想加锁只需在 select 语句后明确指定 for share 或 for update 即可,其中前者就是共享锁(S 锁),也叫读锁;后者是排他锁(X 锁),也叫写锁

  但是所有的 DML 语句(数据操作语言,insert、update 和 delete)都会自动加锁,而且加的是排他锁(X 锁)

05. 加 锁 目的

  加锁的目的是为了数据库的稳定性和一致性,但其副作用是降低了并发能力,所以加锁策略往往要在一致性(consistency)和并发能力(concurrency)间折中

  加锁是为了权衡数据一致性和并发能力,MySQL 中不加锁实现这一机制的方法是 MVCC,即大名鼎鼎的多版本并发控制;与之对应,加锁实现的并发机制则叫做 LBCC(locking-based concurrency control)

06. 加 锁 对象

  表锁,是对整个表进行锁定,如果是虚拟的视图(view)、触发器(trigger),则会将其关联的所有表进行锁定

  行锁,实际锁的对象不是行,而是按索引锁定,也就是说锁不会定位到某条记录,而是通过限制索引来间接作用到记录

07. 锁 和事务

 SQL 通用标准定义了事务的 ACID 四大属性,即原子性 Atomcity,一致性 Consistency,隔离性 Isolation,持久性 Durability

  为了实现隔离性进而确保一致性,需要实现事务;事务的实现又依赖于存储引擎,MySQL 的两种常用引擎中,默认引擎 InnoDB 支持事务,而 MyISAM 则不支持

  前面提到,普通的查询语句不加任何锁,此时 innoDB 引擎依靠 MVCC 机制实现数据库的隔离性和一致性。MVCC,简单的说就是对可能存在并发和争议的记录增加带有版本信息的隐藏字段,例如时间戳,来确保多次查询数据的一致性

  一致性的状态又具体因隔离级别不同而异,SQL92 标准(数据库通用标准,非 MySQL 独有)定义了四大隔离等级:

      a.  读未提交(Read Uncommitted,RU),即一个事务可以读到其他事务已操作但未提交的数据,当这个操作回滚时,即发生脏读

      b.  读已提交(Read Committed,RC),即一个事务仅能读到其他事务已提交的数据,确保这个数据是实实在在真实的数据,避免了脏读,但可能导致本事务窗口内前后查询结果不一致,即不可重复读

      c.  可重复读(Repeatable Read,RR),即可重复读,基于 MVCC 机制,在当前事务中的首次查询时,记录一个快照版本,同一事务期间的后续查询均采用当前快照版本的结果,所以即使是其他事务已提交的数据,但若其快照版本在本事务首次快照版本之后,也不会读出来。注意,这里当前事务采集的快照 版本号 取决于首次查询的时机,而不是开始事务的时机。

      d.  串行化(Serializable,SE),严格限制并发,多个事务间在存在数据竞争时串行执行,数据稳定性和一致性最强,但并发能力受到极大限制。注意,这里是指存在数据冲突时事务间串行,否则仍可并发

  不是所有的数据库都必须包含这 4 种隔离级别(例如 Oracle 数据库主要支持 RC 和 SE 两个隔离级别),不同数据库实现的方式也不尽相同。MySQL 支持全部 4 个隔离级别,默认为 RR 级别

  默认情况下,MySQL 执行的每条 SQL 语句都是自动提交的,如果想显式的执行事务,有两种方法: 

1##  开启事务 2 种方法  2--  一种是显式开启事务  3START TRANSACTION / BEGIN 4--  另一种是关闭自动提交  5SET autocommit = 0 6 7##  结束事务  8COMMIT / ROLLBACK

  对于未显式开启事务的 SQL 语句,可将其看做是在语句前后分别自动开启和提交事务,即: 

1select  hellip; hellip;; 2 等价于  3START TRANSACTION; 4selece  hellip; hellip;; 5COMMIT;

08. 读象

read phenomena,官方文档给出的英文写法,未找到相关权威翻译名词。特指 MySQL 读取过程中存在的副作用,例如脏读、幻读等

 read phenomena,主要是指数据库中三种 错误 的读取结果:

  脏读:dirty read,即 A 事务读取了 B 事务更改但未提交的信息,主要发生在 RU 隔离级别

  不可重复读,non-repeatable read,即由于 B 事务在 A 事务期间对数据更改并已提交,导致 A 事务前后读取到不一致的结果

  幻读,phantom read,即 A 事务在之后的查询中出现了前期未出现的记录。

  鉴于部分资料对幻读和不可重复读解释很乱,这里再说下幻读和不可重读区别:

  不可重复读,顾名思义,是指前后两次读取结果不一致,这里的不一致涵盖的范围很广,换言之只要前后不一致就都属于不可重复读。造成原因主要是一项事务在执行期间,其他事务对数据表进行了更改并提交(如果未提交就能读到那么性质更恶劣,属于脏读),主要发生在 RC 隔离级别,因为 RC 意味着 读已提交,所以但凡其他事务已提交的数据更新该事务都能察觉到,前后结果当然可能不一致

  而幻读,顾名思义,是指读到了之前未曾发现的记录,当然,从某种意义上将之前未曾发觉肯定也属于不可重复读,这样理解本身是没错的,只是二者侧重点不一样。幻读侧重于在本事务执行期间,其他事务插入(insert)了新的记录,造成本事务之后读取到了前期不曾发现的事务,好似发生幻觉一样,是谓幻读。

需要指出:MySQL 依靠 MVCC 的快照机制,某种程度上 RR 隔离级别已经避免了幻读,但仍可触发,官方文档也给予相应的说明。具体请阅读后面的实战案例。

09. 快照读和当前读

  快照读,snapshot read,也叫一致读或非加锁读,consistent nonlocking read,指不依靠加锁来保证查询数据一致性,是 MySQL 中 RR 和 RC 级别下的默认查询语句执行方式,通过 MVCC 机制实现按 快照 版本号执行读操作。RR 级别和 RC 级别采集 快照 原则是不同的,这也是导致两种隔离级别存在不同 读象(不可重读或幻读)的原因,其中:

  RR 级别以进入事务后第一次读操作的时间作为快照版本(注意是第一次读操作的时间,而与开启事务时间无关),一旦确定快照版本,则在本事务后续读操作中就都应用此快照结果

  RC 级别是每次读操作时均采集快照,所以当其他事务提交后它能及时采集到新的快照

  普通查询语句中,RC 级别因为存在脏读,所以不属于一致读

 SE 级别因为是靠加锁(默认对普通 select 语句加 S 锁)来实现数据一致,能够确保读取到一致的结果,但已不是原原本本的一致读

  当前读,current read,也叫加锁读,即 locking read,特指在普通查询语句后增加 for share 或 for update 来指定共享读或排他读的读操作,其中:

  for share,即加 S 锁,允许多个事务同时获取该 S 锁,是谓共享

  for update,即加 X 锁,仅供获取到该 X 锁的事务操作,是谓排他

  由于加锁读是建立在事务的基础上,所以必须显式开启事务后,加锁读才有意义,否则因为事务的

实战案例篇

以下所有案例均依托 Navicat Primium12 工具。初始建表语句:

1create table test(id int, name varchar(20), primary key(id)); 2insert into test values(1,  A  3insert into test values(3,  C

10. 3 种 读象

脏读、不可重复读和幻读应该是困扰很多人的一个常见概念问题,尤其是后两者的区别,这里通过几个案例进行阐释说明。

  脏读,dirty read

首先来看官方文档给出的定义:

An operation that retrieves unreliable data, data that was updated by another transaction but not yet committed. It is only possible with the isolation level known as read uncommitted.

大意:某个操作中处理了由其他事务更新但尚未提交的数据,这个数据是不可靠的数据,仅发生于 RU 隔离级别。

案例:

RU 存在脏读:事务 A 读到了事务 B 更改但未提交的数据

  不可重复读,non-repeatable read

官方文档给出的定义:

The situation when a query retrieves data, and a later query within the same transaction retrieves what should be the same data, but the queries return different results (changed by another transaction committing in the meantime).

大意:在一项事务查询数据期间,由于其他事务同时进行了提交,造成其前后两次查询到的数据结果不一致。

案例:

RC 避免了脏读,但存在不可重复读

  幻读,phantom read

A row that appears in the result set of a query, but not in the result set of an earlier query. For example, if a query is run twice within a transaction, and in the meantime, another transaction commits after inserting a new row or updating a row so that it matches the WHERE clause of the query.

大意:之前查询的结果中不存在、但之后查询得到的记录称作是幻读。例如,一个查询执行两次,期间另一个事务进行了插入或更新记录并提交,导致前一个事务两次查询结果不一致。

个人观点,幻读本身当然属于不可重复读的一种,毕竟两次读取结果 不一致。但幻读侧重的是之前没有、之后虚幻出来了新行这种特定操作。

案例:

①,RR 级别可避免 RC 级别中的不可重复读问题:

RR 不存在不可重复读数据

②,特殊情况下仍可触发幻读

RR 级别下,特殊操作仍可触发幻读(更新快照)

实际上,MVCC 机制只是为保证读取结果采取快照的方式,所以能保证可重复读,但对于执行 insert、update 和 delete 操作时,仍然会实际检测当前数据库中最新的记录状态:当其他事务提交的最新数据与本事务中的增删改操作符合条件时,仍然会有影响。

这点不难理解,毕竟要保证数据库的状态一致性,但值得诧异的是经过 update 之后,居然会更新事务中的快照版本。例如图中所示案例,初次查询有 2 条记录,update 时实际更新的是 3 条,但再次查询时结果也更新成了 3 条。而且,更重要的是,这种现象并不具有普遍性:仅当事务执行 update 操作时才会更新快照版本,而对于 delete 和 insert 操作则是只检测状态不更新快照版本。

事务的 insert 操作不会更新快照版本

更一般的,进一步测试了事务 B 执行的其他增删改操作对事务 A 是否更新快照版本的影响,两两组合,得到如下试验结论:

如上幻读仅发生在其他事务插入新记录且提交后,本事务更新数据后的再次查询中

当然,官方文档对此给出了注解:

大意是说:快照读(snapshot)仅适用于查询语句,对 DML(数据操纵语言,即增删改操作)不适用。其他事务执行删除或更新操作并提交,当前事务虽然 看不到 这些更改,但在执行自己执行更新或删除操作后对其可见。虽然此注解足以解释上述案例结论,但笔者实际上仍然存在前述表中的疑问。

最后需要指出的是,MVCC 机制是基于快照版本的并发控制,与之对应的是 LBCC,当采用 LBCC 读取数据时,则总能读到最新的数据。当然,这与 RR 隔离级别和 MVCC 机制并不矛盾。

加锁读总是读取最新结果,但不影响快照版本

11. 快照版本

MVCC 是基于多版本的并发控制,查询结果以快照版本为准。但不同隔离级别的快照版本采集原则不一致。在 RR 隔离级别中,通过 MVCC 机制实现了在同一事务中的可重复读取问题,而且该快照是在首次查询时采集的版本号信息,而与开启事务时机无关。

RR 级别中首次查询建立快照版本

而且,RR 级别中一旦建立了快照版本,则在该事务的后续查询中均采用该快照版本作为结果(当然,通过前面的案例发现也有例外);与之对应的是,RC 级别中,每次查询都采集最新的快照版本作为结果,所以自然也就存在不可重复读的问题。

12. 加锁类型

首先简单介绍记录锁、间隙锁和临键锁:

  记录锁

记录锁根据索引锁定相应记录,即使相应的表中不建立任何索引时。实际上所有 InnoDB 表都存在索引,当用户建表时未显式设置索引时,引擎会自动建立隐藏索引,这也是 InnoDB 底层基于聚簇索引存取整条记录的特性使然。

记录锁仅对索引满足查询条件的记录加锁

  间隙锁

如果说记录锁是对命中的记录进行加锁,那么间隙锁是则是对查询区间范围内但是不存在的记录进行预订加锁,例如下图中假设表中不存在 id=2、3 的记录,但因为满足查询范围,所以会对其加间隙锁。

MySQL 中的锁怎么理解

间隙锁对满足查询条件的记录间隙加锁

显然,间隙锁是以牺牲一定并发性能为代价换取高一致性。实际上,这也是所有锁在做的一件事,即在一致性和并发能力之间获得某种均衡。

需要指出的是:

鸿蒙官方战略合作共建——HarmonyOS 技术社区

  间隙锁仅在范围查询时存在,对于等值查询则不适用,例如上例中查询条件改为 where id=1 or id= 4 则不会对潜在的 id= 2 和 3 加间隙锁

  当查询条件是等值查询,但查询条件是联合索引(在多列创建的索引)时,也会对满足要求的潜在记录加间隙锁

  间隙锁仅在特定隔离级别存在,RR 级别中默认有间隙锁,而 RC 级别则不存在

  临键锁

在记录锁和间隙锁的基础上,临键锁 = 记录锁 + 间隙锁。

MySQL 中的锁怎么理解

临键锁 = 记录锁 + 间隙锁

RC 隔离级别中只有记录锁,而没有间隙锁和临键锁;RR 级别中如果是等值查询则是记录锁,范围查询则是临键锁(即记录锁 + 间隙锁),在 5.6 以前版本中可以通过全局参数设置是否开启,但在 8.0 版本已移除该变量。

 RC 隔离级别默认设置记录锁

MySQL 中的锁怎么理解

 RR 隔离级别默认加临键锁

MySQL 中的锁怎么理解

13. 索引类型对加锁影响

在明确加锁类型后,还需考虑不同索引对加锁的影响。首先指出,在 InnoDB 引擎下即使创建表时不显式指定索引,引擎也会自动生成隐藏索引用于聚簇存储记录数据。基于此,索引对加锁的影响有如下几种情况(引自官方文档):

  一致读(即快照读,非加锁读,基于 MVCC),除 SE 隔离级别外,其他隔离级别均不加任何锁

  当前读(加锁读,for share 或 for update),对所有满足条件的记录加锁,同时释放不满足条件的索。对于某些复杂语句,例如含有 Union 语句时,由于在汇总结果时涉及到临时表,所以对于不满足查询条件的记录不会立即释放锁。同时,加记录锁还是临键锁要取决于索引类型和查询条件,只有当对应唯一索引下的等值查询时,才只加记录锁,否则会升级为临键锁

 update 语句会对每条满足记录的语句加临键锁(X 锁),但满足唯一索引和等值查询时,只加记录锁

 delete 语句加锁原则与 update 语句一致

 insert 语句只对插入行加记录锁(X 锁),而没有任何间隙锁。实际上,insert 语句是先加意向锁,请求成功才去插入,否则也不会阻塞其他事务。特殊情况下,当多个事务同时 insert 相同索引记录时,会发生索引重复冲突,进而可能造成死锁。详见下一节。

不同类型下的加锁分析详见文末参考资料 2 中文档,讲解充分,受到广泛转发引用,这里个人就不班门弄斧了。

14. 锁竞争和死锁

一般来说,锁具有排他性。如果是共享锁(S 锁),可以和另一个共享锁(S 锁)同时拥有,但无法和一个排他锁(X 锁)同时拥有;而对于一个 X 锁,则无法跟任何其他锁并发。当多个事务企图同时占用某一资源需要加锁时,就有可能发生锁竞争甚至死锁。

  锁竞争,当多个事务同时企图占有同一资源、但只是时间上冲突而资源占用上并不冲突时,会发生锁竞争:

MySQL 中的锁怎么理解

多个事务竞争同一资源

在上述案例中,三个事务依次请求对数据表加 X 锁,其中事务 A 成功请求,事务 B 和事务 C 会处于等待。当事务 A 提交事务后,虽然事务 B 和事务 C 处于同时竞争加锁状态,但由于 MySQL 对事务调度的 FIFO(First In First Out,先入先出)特性,二者不会发生死锁,而是优先满足事务 B 加锁请求,待事务 B 提交事务后再满足事务 C 的加锁请求。

  死锁,与锁竞争相似而又不同的是,死锁也是发生在多个事务同时竞争同一资源,但是这些资源不能简单通过时间先后得以解决,而是存在逻辑上的冲突:

①,锁竞争 + 索引重复冲突造成死锁:

MySQL 中的锁怎么理解

三个事务竞争资源存在索引重复

这个案例与锁竞争中的例子类似但又不同:假设事务 A、事务 B 和事务 C 同时请求插入一条数据(插入语句都是加 X 锁),此时不仅仅是因为加锁冲突,还存在索引重复的问题,此时一旦事务 A 回滚释放锁后,事务 B 和事务 C 则会陷入死锁。这是一种特殊的死锁触发原因。

②,竞争同一资源出现死循环:

MySQL 中的锁怎么理解

两个事务先竞争,后死锁

在这个案例中,先是事务 A 和事务 B 分别对 id= 1 和 id= 2 的记录加 X 锁,然后事务 A 继续对 id= 2 的记录请求加锁时,因为该记录已被事务 B 占有,所以事务 A 只能等待;但此时事务 B 又企图对事务 A 已经占有的 id= 1 记录加 X 锁,造成事务 A 和事务 B 在各自占有一定资源的基础上分别企图占用对方已加锁的资源,逻辑上冲突,骑虎难下,引擎不可能通过时间调度得以解决,故而发生死锁。

发生死锁后,引擎会根据相关的事务间的重要程度(包括占用资源多少、时间先后等)来选择一个进行回滚:例如上例中,事务 A 先于事务 B 请求加 X 锁,可将事务 B 看成是直接造成死锁的原因,所以选择对 B 进行回滚,而允许 A 加锁成功。

到此,相信大家对“MySQL 中的锁怎么理解”有了更深的了解,不妨来实际操作一番吧!这里是丸趣 TV 网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!

正文完
 
丸趣
版权声明:本站原创文章,由 丸趣 2023-07-18发表,共计8258字。
转载说明:除特殊说明外本站除技术相关以外文章皆由网络搜集发布,转载请注明出处。
评论(没有评论)