MySQL的隔离性实现之锁
前言:MySQL的隔离性
事务的隔离性指的是数据库系统提供一定的隔离机制,保证事务在不受外部并发操作影响的 “独立” 环境下运行。事务的隔离性体现在读-读、读-写(写-读)、写-写这三个方面,事务的隔离级别是用于对读-写(写-读)进行划分的,是隔离性的部分体现,并不是全部。事务的隔离性主要是由锁来实现。
一、MySQL并发事务访问的情况
1. 读-读
1.1 基本概念
- 读-读情况,即并发事务相继读取相同的记录 。
1.2 规定
- 读取操作本身不会对记录有任何影响,并不会引起什么问题,所以允许这种情况的发生。
2. 写-写
2.1 基本概念
- 写-写情况,即并发事务相继对相同的记录做出改动。
2.2 规定
- 在这种情况下会发生脏写的问题,任何一种隔离级别都不允许这种问题的发生。所以在多个未提交事务相继对一条记录做改动时,需要让它们排队执行 ,这个排队的过程其实是通过锁来实现的。
2.3 锁的基础知识
- 锁其实是一个内存中的结构,在事务执行前本来是没有锁的,也就是说一开始是没有锁结构和记录进行关联的。
- 当一个事务想对这条记录做改动时,首先会看看内存中有没有与这条记录关联的锁结构 ,当没有的时候就会在内存中生成一个锁结构与之关联。比如,事务 T1 要对这条记录做改动,就需要生成一个锁结构与之关联。
- 不加锁意思就是不需要在内存中生成对应的锁结构 ,可以直接执行操作。
- 获取锁成功,或者加锁成功意思就是在内存中生成了对应的锁结构 ,而且锁结构的is_waiting属性为false,也就是事务可以继续执行操作。
- 获取锁失败,或者加锁失败,或者没有获取到锁意思就是在内存中生成了对应的锁结构,不过锁结构的is_waiting属性为true,也就是事务需要等待,不可以继续执行操作。
3. 读-写或写-读
3.1 基本概念
- 读-写或写-读,即一个事务进行读取操作,另一个进行改动操作。
3.2 规定
- 这种情况下可能发生脏读、不可重复读、幻读的问题。各个数据库厂商对 SQL标准的支持都可能不一样。比如MySQL在
REPEATABLE READ
(可重复读)隔离级别上就已经解决了幻读问题。
3.2 解决方案(读写都加锁)
注解:这里有两种解决方案,本篇主要侧重于锁的讲解,所以只提锁,另一种MVCC(多版本并发控制)的解决方案留到下篇文章进行讲解。
- 脏读的产生是因为当前事务读取了另一个未提交事务写的一条记录,如果另一个事务在写记录的时候就给这条记录加锁,那么当前事务就无法继续读取该记录了,所以也就不会有脏读问题的产生了。
- 不可重复读的产生是因为当前事务先读取一条记录,另外一个事务对该记录做了改动之后并提交之后,当前事务再次读取时会获得不同的值,如果在当前事务读取记录时就给该记录加锁,那么另一个事务就无法修改该记录,自然也不会发生不可重复读了。
- 幻读问题的产生是因为当前事务读取了一个范围的记录,然后另外的事务向该范围内插入了新记录,当前事务再次读取该范围的记录时发现了新插入的新记录。采用加锁的方式解决幻读问题就有一些麻烦, 因为当前事务在第一次读取记录时幻影记录并不存在, 所以读的时候加锁就有点尴尬(因为你并不知道给谁加锁),MySQL采用了隐式锁的方式来处理该问题。
- 此外,如果我们的一些业务场景不允许读取记录的旧版本,而是每次都必须去读取记录的最新版本。比如,在银行存款的事务中,你需要先把账户的余额读出来,然后将其加上本次存款的数额,最后再写到数据库中。在将账户余额读取出来后,就不想让别的事务再访问该余额,直到本次存款事务执行完成,其他事务才可以访问账户的余额。这样在读取记录的时候就需要对其进行加锁操作,这样也就意味着读操作和写操作也像写-写操作那样排队执行。
二、锁的详细介绍
1. 读锁和写锁
1.1 概览
读锁和写锁:从数据的操作类型分为读锁(共享锁)、写锁(排他锁)
- 读锁:也称为共享锁、英文用S表示。针对同一份数据,多个事务的读操作可以同时进行而不 互相影响,相互不阻塞。
- 写锁:也称为排他锁、英文用X表示。当前写操作没有完成前,它会阻断其他写锁和读锁。这样就能确保在给定的时间里,只有一个事务能执行写入,并防止其他用户读取正在写入的同一资源。
- 对同一张表或同一条记录的兼容情况
X锁 | S锁 | |
---|---|---|
X锁 | 不兼容 | 不兼容 |
S锁 | 不兼容 | 兼容 |
1.2 锁定读
前提:一般来说,我们认为读就是共享的,所以我们把读锁称为共享锁,但是实际上,读也可以人为加上排他行为,让它成为排他锁。
1.2.1 对读取的记录加S锁
SELECT ... LOCK IN SHARE MODE;
#或
SELECT ... FOR SHARE; #(8. 0新增语法)
在普通的SELECT
语句后边加LOCK IN SHARE MODE
,如果当前事务执行了该语句,那么它会为读取到的记录加S锁,这样允许别的事务继续获取这些记录的S锁(比方说别的事务也使用 SELECT ... LOCK IN SHARE MODE
语句来读取这些记录),但是不能获取这些记录的X锁(比如使用 SELECT ... FOR UPDATE
语句来读取这些记录,或者直接修改这些记录)。如果别的事务想要获取这些记录的X锁,那么它们会阻塞,直到当前事务提交之后将这些记录上的S锁释放掉。
1.2.2 对读取的记录加X锁
SELECT ... FOR UPDATE;
在普通的SELECT
语句后边加FOR UPDATE
,如果当前事务执行了该语句,那么它会为读取到的记录加X锁,这样既不允许别的事务获取这些记录的S锁(比方说别的事务使用SELECT ...LOCK IN SHARE MODE
语句来读取这些记录), 也不允许获取这些记录的X锁(比如使用 SELECT … FOR UPDATE 语句来读取这些记录,或者直接修改这些记录)。如果别的事务想要获取这些记录的S锁或者X锁,那么它们会阻塞,直到当前事务提交之后将这些记录上的X锁释放掉。
1.2.3 SQL8新特性
在5.7及以前的版本,SELECT ... FOR UPDATE
如果获取不到锁会一直等待,直到innodb_lock_wait_timeout
超时,在8.0版本之后,SELECT ... FOR UPDATE
、SELECT ... FOR SHARE
添加NOWAIT
(如果查询的行已加锁,直接报错返回)、SKIP LOCKED
(如果查询的行已加锁,直接返回不包括锁定行的数据)语法跳过等待,或者跳过锁定。
1.3 写操作
- UPDATE、DELETE操作会自动为当前事务加上排他锁。
- INSERT操作并不加排他锁,而是通过一种隐式锁的结构来保护这条新插入的记录在本事务提交之前不被别的事务访问。
2. 表锁和行锁
2.1 概览
表锁和行锁:从数据操作的粒度来看,锁可以分为表级锁和行级锁
- 表级锁:该锁会锁定整张表,它是MySQL中最基本的锁策略,并不依赖于存储引擎(不管你是 MySQL的什么存储引擎,对于表锁的策略都是一样的),并且表锁是开销最小的策略(因为粒度比较大)。由于表级锁一次会将整个表锁定,所以可以很好的避免死锁问题。当然,锁的粒度大所带来最大的负面影响就是出现锁资源争用的概率也会最高,导致并发率大打折扣。
- 行级锁:行锁(Row Lock)也称为记录锁,顾名思义,就是锁住某一行(某条记录row)。需要的注意的是,MySQL服务器层并没有实现行锁机制,行级锁只在存储引擎层实现。
2.2 表级锁
2.2.1 表级别的S锁和X锁
1.概述
一般情况下,不会使用InnoDB存储引擎提供的表级别的S锁和X锁。只会在一些特殊情况下,比方崩溃恢复过程中到。比如,在系统变量autocommit=0,innodb_table_locks = 1时, 手动获取InnoDB存储引擎提供的表t的S锁或者X锁可以这么写:
LOCK TABLES t READ :InnoDB存储引擎会对表 t 加表级别的S锁 。
LOCK TABLES t WRITE :InnoDB存储引擎会对表 t 加表级别的X锁 。
不过尽量避免在使用InnoDB存储引擎的表上使用LOCK TABLES
这样的手动锁表语句,它们并不会提供什么额外的保护,只是会降低并发能力而已。InnoDB的厉害之处还是实现了更细粒度的行锁。
2.MySQL的两种表级锁
锁类型 | 自己可读 | 自己可写 | 自己可操作其他表 | 他人可读 | 他人可写 |
---|---|---|---|---|---|
表共享读锁(Table Read Lock) | 是 | 否 | 否 | 是 | 否,等待 |
表独占写锁(Table Write Lock) | 是 | 是 | 否 | 否,等待 | 否,等待 |
2.2.2 意向锁
1.概述
InnoDB支持多粒度锁(multiple granularity locking),它允许行级锁与表级锁共存,而意向锁就是其中的一种表锁。
- 意向锁的存在是为了协调行锁和表锁的关系,支持多粒度(表锁和行锁)的锁并存。
- 意向锁是一种不与行级锁冲突的表级锁。
- 意向锁表明”某个事务正在某些行持有了锁或该事务准备去持有锁“。
2.作用
- 现在有两个事务,分别是T1和T2,其中T2试图在该表级别上应用共享或排它锁
- 如果没有意向锁存在,那么T2就需要去检查各个页或行是否存在锁。
- 如果存在意向锁,那么此时就会受到由T1控制的表级别意向锁的阻塞。T2在锁定该表前不必检查各个页或行锁,而只需检查表上的意向锁。简单来说就是给更大一级别的空间示意里面是否已经上过锁。
- 在数据表的场景中,如果我们要给某一行数据加上排它锁,那么 数据库会自动给更大一级的空间,比如数据页或数据表加上意向锁,告诉其他人这个数据页或数据表已经有人上过排它锁了,这样当其他人想要获取数据表排它锁的时候,只需要了解是否有人已经获取了这个数据表的意向锁即可
- 如果事务想要获得数据表中某些记录的共享锁,数据库就需要在数据表上添加意向共享锁。
- 如果事务想要获得数据表中某些记录的排他锁,数据库就需要在数据表上添加意向排他锁。
- 这时,意向锁会告诉其他事务已经有人锁定了表中的某些记录。
- 注意:意向共享锁和意向排他锁都是数据库自动添加的
3.分类
- 意向共享锁(intention shared lock, IS):事务有意向对表中的某些行加共享锁(S锁)
-- 事务要获取某些行的 S 锁,必须先获得表的 IS 锁。 SELECT column FROM table ... LOCK IN SHARE MODE;
- 意向排他锁(intention exclusive lock, IX):事务有意向对表中的某些行加排他锁(X锁)
-- 事务要获取某些行的 X 锁,必须先获得表的 IX 锁。 SELECT column FROM table ... FOR UPDATE;
- 意向锁是由存储引擎自己维护的,用户无法手动操作意向锁,在为数据行加共享/排他锁之前, InooDB会先获取该数据行所在数据表的对应意向锁 。
4.兼容性
- InnoDB支持多粒度锁,特定场景下,行级锁可以与表级锁共存。
- 意向锁之间互不排斥,但除了IS与表级S兼容外, 意向锁会与其他表级共享锁/排他锁互斥 。
- IX,IS是表级锁,不会和行级的X,S锁发生冲突,只会和表级的X,S发生冲突。
- 意向锁在保证并发性的前提下,实现了行锁和表锁共存且满足事务隔离性的要求。
意向共享锁(IS) | 意向排他锁(IX) | |
---|---|---|
意向共享锁(IS) | 兼容 | 兼容 |
意向排他锁(IX) | 兼容 | 兼容 |
意向共享锁(IS) | 意向排他锁(IX) | |
---|---|---|
共享锁(S) | 兼容 | 互斥 |
排他锁(X) | 互斥 | 互斥 |
2.2.3 自增锁(不展开,了解即可)
2.2.4 元数据锁
- 在对某个表执行SELECT、INSERT、DELETE、UPDATE语句时,InnoDB存储引擎是不会为这个表添加表级别的S锁或者X锁的。在对某个表执行一些诸如ALTER TABLE、 DROP TABLE这类的DDL语句时,其他事务对这个表并发执行诸如SELECT、INSERT、DELETE、UPDATE的语句会发生阻塞。某个事务中对某个表执行SELECT、INSERT、DELETE、UPDATE语句时,在其他会话中对这个表执行DDL语句也会发生阻塞。这个过程其实是通过在server层使用一种称之为元数据锁(英文名: Metadata Locks , 简称 MDL )结构来实现的。
- 总结来说,MDL 的作用是保证读写的正确性。比如,如果一个查询正在遍历一个表中的数据,而执行期间另一个线程对这个表结构做变更,增加了一 列,那么查询线程拿到的结果跟表结构对不上,肯定是不行的。因此,当对一个表做增删改查操作的时候,加MDL读锁;当要对表做结构变更操作的时候,加MDL写锁。
- 以MDL锁的角度来看,读锁之间不互斥,因此可以有多个线程同时对一张表增删改查。读写锁之间、写锁之间是互斥的,用来保证变更表结构操作的安全性,解决了DML和DDL操作之间的一致性问题。 不需要显式使用,在访问一个表的时候会被自动加上。
2.3 行级锁
2.3.1 记录锁
1.基本概念
- 记录锁也就是仅仅把一条记录锁上,官方的类型名称为:LOCK_REC_NOT_GAP。比如我们把id值为8的那条记录加一个记录锁的示意图如图所示,仅仅是锁住了id值为8的记录,对周围的数据没有影响。
2.分类:记录锁是有S锁和X锁之分的,称之为S型记录锁和X型记录锁
- 当一个事务获取了一条记录的S型记录锁后,其他事务也可以继续获取该记录的S型记录锁,但不可以继续获取X型记录锁。
- 当一个事务获取了一条记录的X型记录锁后,其他事务既不可以继续获取该记录的S型记录锁,也不可以继续获取X型记录锁。
2.3.2 间隙锁
1.间隙锁的产生
- MySQL在
REPEATABLE READ
隔离级别下是可以解决幻读问题的,解决方案有两种,可以使用MVCC方案解决,也可以采用加锁方案解决。 - 但是在使用加锁方案解决时有个大问题,就是事务在第一次执行读取操作时,那些幻影记录尚不存在,我们无法给这些幻影记录加上记录锁 。InnoDB提出了一种称之为Gap Locks的锁,官方的类型名称为:LOCK_GAP,我们可以简称为gap锁。
2.间隙锁的作用
- gap锁的提出仅仅是为了防止插入幻影记录而提出的,虽然有共享gap锁和独占gap锁的说法,但是其实他们起到的作用是相同的。而且如果对一条记录加了gap锁(不论是共享还是独占),并不会限制其他事务对这条记录加锁或者继续加gap锁。
3.加锁
- 当我们对区间内的某个不存在的数据执行
select
操作加共享锁或者排他锁时,就会为该不存在的数据所在的开区间加上共享间隙锁或排他间隙锁。 - 如果不存在的数据的id大于最大的id时,我们为此不存在的数据加共享锁或者排他锁时,就会为该不存在的数据的前一个数据到正无穷在开区间加上共享间隙锁或排他间隙锁。
4.存在的问题:死锁
假设我们数据库中存在一个student表,表中字段为id、name、class存在id为1,3,8,12的记录,如下操作就会产生死锁。
session1 | session2 |
---|---|
begin | begin |
select * from student where id = 5 lock in share mode; | select * from student where id = 5 lock in share mode; |
insert into student(id,name,class) values (6, ‘jerry’,‘一班’); | |
insert into student(id,name,class) values (7, ‘tom’,‘一班’); |
2.3.3 临键锁
1.基本概念
- 有时候我们既想锁住某条记录 ,又想阻止其他事务在该记录前边的间隙插入新记录,所以InnoDB就提出了一种称之为
Next-Key Lock
的锁,官方的类型名称为:LOCK_ORDINARY
,我们也可以简称为next-key锁 。 Next-keys Lock
锁的本质就是一个记录锁和一个gap锁的合体,它既能保护该条记录,又能阻止别的事务将新纪录插入被保护的记录前面的间隙。
2.加锁
- 找到想要保护的数据的id和它的上一个存在的数据的id,假设分别为x、y则,加锁方式为:
select * from student where id <= x and id > y for update;
2.4.4 插入意向锁
1.基本概念
- 一个事务在插入一条记录时需要判断一下插入位置是不是被别的事务加了gap锁( next-key锁也包含gap锁 ),如果有的话,插入操作需要等待,直到拥有gap锁的那个事务提交。但是InnoDB规定事务在等待的时候也需要在内存中生成一个锁结构,表明有事务想在某个间隙中插入新记录,但是现在在等待。InnoDB就把这种类型的锁命名为
Insert Intention Locks
,官方的类型名称为:LOCK_INSERT_INTENTION
,我们称为插入意向锁。插入意向锁是一种gap锁,不是意向锁,在INSERT操作时产生。 - 插入意向锁是在插入一条记录行前,由INSERT操作产生的一种间隙锁 。
2.特点
- 事实上插入意向锁并不会阻止别的事务继续获取该记录上任何类型的锁。
3. 隐式锁和显示锁
3.1 隐式锁
1.基本概念:
- 一个事务对新插入的记录可以不显式的加锁(生成一个锁结构),但是由于事务id的存在,相当于加了一个隐式锁。别的事务在对这条记录加S锁或者X锁时,由于隐式锁的存在,会先帮助当前事务生成一个锁结构,然后自己再生成一个锁结构后进入等待状态。
- 隐式锁是一种延迟加锁的机制,从而来减少加锁的数量。
- 隐式锁在实际内存对象中并不含有这个锁信息。只有当产生锁等待时,隐式锁转化为显式锁。
- 隐式锁的实现实际上是通过记录的隐藏列
trx_id
和页面的Page Header
的PAGE_MAX_TRX_ID
属性实现的
2.场景描述:
- 情景一:对于聚簇索引记录来说,有一个
trx_id
隐藏列,该隐藏列记录着最后改动该记录的事务id 。那么如果在当前事务中新插入一条聚簇索引记录后,该记录的trx_id
隐藏列代表的的就是当前事务的事务id ,如果其他事务此时想对该记录添加S锁或者X锁时,首先会看一下该记录的trx_id
隐藏列代表的事务是否是当前的活跃事务,如果是的话,那么就帮助当前事务创建一个锁 (也就是为当前事务创建一个锁结构,is_waiting
属性是false
),然后自己进入等待状态 (也就是为自己也创建一个锁结构,is_waiting
属性是true
)。 - 情景二:对于二级索引记录来说,本身并没有
trx_id
隐藏列,但是在二级索引页面的Page Header
部分有一个PAGE_MAX_TRX_ID
属性,该属性代表对该页面做改动的最大的事务id
,如果PAGE_MAX_TRX_ID
属性值小于当前最小的活跃事务id,那么说明对该页面做修改的事务都已经提交了,否则就需要在页面中定位到对应的二级索引记录,然后回表找到它对应的聚簇索引记录,然后再重复情景一的做法。
3.2 显式锁
1.基本概念
- 通过特定的语句进行加锁,我们一般称之为显示锁,比如上面对查询语句加共享锁和排他锁
4. 乐观锁和悲观锁
4.1 概览
从对待锁的态度来看锁的话,可以将锁分成乐观锁和悲观锁,从名字中也可以看出这两种锁是两种看待数据并发的思维方式 。需要注意的是,乐观锁和悲观锁并不是锁,而是锁的设计思想 。
4.2 乐观锁
1.基本概念:
- 乐观锁认为对同一数据的并发操作不会总发生,属于小概率事件,不用每次都对数据上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,也就是不采用数据库自身的锁机制,而是通过程序来实现。
- 在程序上,我们可以采用版本号机制或者CAS机制实现。
- 乐观锁适用于多读的应用类型, 这样可以提高吞吐量。在Java中 java.util.concurrent.atomic 包下的原子变量类就是使用了乐观锁 的一种实现方式:CAS实现的。
2.乐观锁的实现
- 版本号机制:在表中设计一个版本字段
version
,第一次读的时候,会获取version
字段的取值。然后对数据进行更新或删除操作时,会执行UPDATE ... SET version=version+1 WHERE version=version
。此时如果已经有事务对这条数据进行了更改,修改就不会成功。 - 乐观锁的时间戳机制:时间戳和版本号机制一样,也是在更新提交的时候,将当前数据的时间戳和更新之前取得的时间戳进行比较,如果两者一致则更新成功,否则就是版本冲突。
- 总结:乐观锁就是程序员自己控制数据并发操作的权限,基本是通过给数据行增加一个戳(版本号或者时间戳),从而证明当前拿到的数据是否最新。
3.注意
- 如果数据表是读写分离的表,当主机表中写入的数据没有及时同步到从机表中时,会导致读取和写入时的
version
不一样,会造成更新一直失败的问题。此时要强制读取主机表中的数据。(将select
查询语句放在事务中即可,这时候查询就是主机了)
4.3 悲观锁
1.基本概念
- 悲观锁是一种思想,顾名思义,就是很悲观,对数据被其他事务的修改持保守态度,会通过数据库自身的锁机制来实现,从而保证数据操作的排它性。
- 悲观锁总是假设最坏的情况,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会阻塞直到它拿到锁(共享资源每次只给一个线程使用,其它线程阻塞, 用完后再把资源转让给其它线程)。
- 比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁,当其他线程想要访问数据时,都需要阻塞挂起。Java中 synchronized 和 ReentrantLock 等独占锁就是悲观锁思想的实现。
2.注意
select ... for update
语句执行过程中所有扫描的行都会被锁上,因此在MySQL中用悲观锁必须确定使用了索引,而不是全表扫描,否则将会把整个表锁住。
4.4 两种锁的使用场景
- 乐观锁适合读操作多的场景,相对来说写的操作比较少。它的优点在于程序实现, 不存在死锁问题,不过适用场景也会相对乐观,因为它阻止不了除了程序以外的数据库操作。
- 悲观锁适合写操作多的场景,因为写的操作具有排它性 。采用悲观锁的方式,可以在数据库层面阻止其他事务对该数据的操作权限,防止读-写和写-写的冲突。
5. 其他锁
5.1 全局锁
1.基本概念
- 全局锁就是对整个数据库加锁。当你需要让整个库处于只读状态的时候,可以使用这个命令,之后其他线程的数据更新语句(数据的增删改)、数据定义语句(包括建表、修改表结构等)和更新类事务的提交语句都会被阻塞。
2.实现
Flush tables with read lock
3.使用
- 全局锁的典型使用场景是:做全库逻辑备份 。
5.2 死锁
1.基本概念
- 死锁是指两个或多个事务在同一资源上相互占用,并请求锁定对方占用的资源,从而导致恶性循环。
2.产生条件
- 两个或两个以上事务
- 每个事务都已经持有锁并且申请新的锁
- 所资源同时只能被同一个事务持有或不兼容
- 事物之间因为持有锁和申请锁导致彼此循环等待
注意:死锁的关键在于两个(或以上)的事务加锁的顺序不一致。
3.解决方式
- 一种策略是,直接进入等待,直到超时,自动回滚。这个超时时间可以通过参数
innodb_lock_wait_timeout
来设置。(其实这种策略并不是针对于死锁,正常事务如果长时间被阻塞,超过一定时间一般是50s
就会自动回滚)。 - 另一种策略是,发起死锁检测,发现死锁后,主动回滚死锁链条中的某一个事务(将持有最少行级排他锁的事务进行回滚),让其他事务得以继续执行。将参数
innodb_deadlock_detect
设置为 on ,表示开启这个逻辑。
附加: innodb提供了wait-for graph
算法,来进行死锁检测,此算法主要用到两个结构分别是锁的信息链表和事务等待链表,通过这两个表绘制wait-for graph
(等待图),这个图是一个以一个事务为顶点,锁为边的有向图,通过判断有向图是否存在环,即可判断是否存在死锁(有就有)
三、锁的结构
1. 锁所在的事务信息
- 不论是表锁还是行锁,都是在事务执行过程中生成的,哪个事务生成了这个锁结构 ,这里就记录这个事务的信息。
锁所在的事务信息
在内存结构中只是一个指针,通过指针可以找到内存中关于该事务的更多信息,比方说事务id等。
2. 索引信息
- 对于行锁来说,需要记录一下加锁的记录是属于哪个索引的,这里也是一个指针。
3. 表锁/行锁信息
表锁结构和行锁结构在这个位置的内容是不同的。
3.1 表锁
- 记载着是对哪个表加的锁,还有其他的一些信息。
3.2 行锁
- Space ID:记录所在表空间。
- Page Number:记录所在页号。
- n_bits:对于行锁来说,一条记录就对应着一个比特位,一个页面中包含很多记录,用不同的比特位来区分到底是哪一条记录加了锁。为此在行锁结构的末尾放置了一堆比特位,这个n_bits属性代表使用了多少比特位。(注:n_bits的值一般都比页面中记录条数多一些。主要是为了之后在页面中插入了新记录后也不至于重新分配锁结构)
4. type_mode
这是一个32位的数,被分成了lock_mode、 lock_type 和 rec_lock_type三个部分
4.1 锁的模式(lock_mode)
占用低4位,可选的值如下:
- LOCK_IS(十进制的 0 ):表示共享意向锁,也就是IS锁
- LOCK_IX(十进制的 1 ):表示独占意向锁,也就是IX锁
- LOCK_S(十进制的 2 ):表示共享锁,也就是S锁
- LOCK_X(十进制的 3 ):表示独占锁,也就是X锁
- LOCK_AUTO_INC(十进制的 4 ):表示 AUTO-INC锁
注意:在InnoDB存储引擎中,LOCK_IS,LOCK_IX,LOCK_AUTO_INC都算是表级锁的模式,LOCK_S和 LOCK_X既可以算是表级锁的模式,也可以是行级锁的模式。
4.2 锁的类型(lock_type)
占用第5~8位,不过现阶段只有第5位和第6位被使用
- LOCK_TABLE (十进制的 16 ),也就是当第5个比特位置为1时,表示表级锁。
- LOCK_REC (十进制的 32 ),也就是当第6个比特位置为1时,表示行级锁。
4.3 行锁的具体类型(rec_lock_type)
使用其余的位来表示。只有在 lock_type 的值为 LOCK_REC 时,也就是只有在该锁为行级锁时,才会被细分为更多的类型。
- LOCK_ORDINARY(十进制的0):表示 next-key锁。
- LOCK_GAP(十进制的512):也就是当第10个比特位置为1时,表示 gap锁。
- LOCK_REC_NOT_GAP(十进制的1024):也就是当第11个比特位置为1时,表示正经记录锁。
- LOCK_INSERT_INTENTION (十进制的2048):也就是当第12个比特位置为1时,表示插入意向锁。
4.4 其他
- 还有一些不常用的类型我们就不多说了。
- is_waiting属性:基于内存空间的节省,所以把is_waiting属性放到 type_mode 这个32位的数字中当第9个比特位置为 1 时,表示is_waiting为true,也就是当前事务尚未获取到锁,处在等待状态;当这个比特位为0时,表示is_waiting为false,也就是当前事务获取锁成功。
5. 其他信息
- 为了更好的管理系统运行过程中生成的各种锁结构而设计了各种哈希表和链表。
6. 一堆比特位
- 如果是行锁结构的话,在该结构末尾还放置了一堆比特位,比特位的数量是由上边提到的n_bits属性表示的。InnoDB数据页中的每条记录在记录头信息中都包含一个heap_no属性,伪记录Infimum的heap_no值为0, Supremum的heap_no值为1,之后每插入一条记录,heap_no值就增1。 锁结构最后的一堆比特位就对应着一个页面中的记录,一个比特位映射一个heap_no ,即一个比特位映射到页内的一条记录。