行级锁是怎么加的呢

素颜马尾好姑娘i 2023-10-13 19:52 42阅读 0赞

在读已提交隔离级别下，行级锁的种类只有记录锁

在可重复读隔离级别下，行级锁的种类除了有记录锁，还有间隙锁（目的是为了避免幻读），所以行级锁的种类主要有三类：

*  Record Lock，记录锁，也就是仅仅把一条记录锁上；
 *  Gap Lock，间隙锁，锁定一个范围，但是不包含记录本身；
 *  Next-Key Lock：Record Lock + Gap Lock 的组合，锁定一个范围，并且锁定记录本身。

对于行级锁来说 都区分X锁和S锁 select ... in share lock 加的是S锁(纯读) select..for update加的就是X锁(为了写操作的当前读)

**对于行级锁来说,加锁的对象是索引，加锁的基本单位是 next-key lock锁**,可是我们之前不是说行级锁的种类有三种吗?

是的，next-key lock 在一些场景下会退化成记录锁或间隙锁。

那到底是什么场景呢？总结一句，**在能使用记录锁或者间隙锁就能避免幻读现象的场景下， next-key lock 就会退化成记录锁或间隙锁**。

我们分多钟可能性讨论结果

## 唯一索引等值查询 ##

当我们用唯一索引进行等值查询的时候，查询的记录存不存在，加锁的规则也会不同：

*  当查询的记录是「存在」的，在索引树上定位到这一条记录后，将该记录的索引中的 next-key lock 会**退化成「记录锁」**。
 *  当查询的记录是「不存在」的，在索引树找到第一条大于该查询记录的记录后，将该记录的索引中的 next-key lock 会**退化成「间隙锁」**。

对于行级锁来说 加锁的对象是索引 对于主键索引来说 直接针对它的主键索引项进行加锁就可以了 但是对于二级索引中的唯一索引呢? 虽然和主键索引都是唯一的 但是加锁行为并不相同 如果是用二级索引（不管是不是非唯一索引，还是唯一索引）进行锁定读查询的时候，除了会对二级索引项加行级锁（如果是唯一索引的二级索引，加锁规则和主键索引的案例相同），而且还会对查询到的记录的主键索引项上加「记录锁」

这两种情况其实还蛮好理解的 对吧 唯一索引等值查询 肯定就是一条记录的事 有的话就把这个记录锁住(防止删除 出现幻读) 没有的话 就把包含这条记录的间隙锁住(防止插入 造成幻读)

### 唯一索引范围查询 ###

范围查询和等值查询的加锁规则是不同的。

当唯一索引进行范围查询时，**会对每一个扫描到的索引加 next-key 锁，然后如果遇到下面这些情况，会退化成记录锁或者间隙锁**：

*  情况一：针对「大于等于」的范围查询，因为存在等值查询的条件，那么如果等值查询的记录是存在于表中，那么该记录的索引中的 next-key 锁会**退化成记录锁**。
 *  情况二：针对「小于或者小于等于」的范围查询，要看条件值的记录是否存在于表中：
    
     *  当条件值的记录不在表中，那么不管是「小于」还是「小于等于」条件的范围查询，**扫描到终止范围查询的记录时，该记录的索引的 next-key 锁会退化成间隙锁**，其他扫描到的记录，都是在这些记录的索引上加 next-key 锁。
     *  当条件值的记录在表中，如果是「小于」条件的范围查询，**扫描到终止范围查询的记录时，该记录的索引的 next-key 锁会退化成间隙锁**，其他扫描到的记录，都是在这些记录的索引上加 next-key 锁；如果「小于等于」条件的范围查询，扫描到终止范围查询的记录时，该记录的索引 next-key 锁不会退化成间隙锁。其他扫描到的记录，都是在这些记录的索引上加 next-key 锁。

啊 我们先来说情况一是啥意思 假如说 我们有 3 5 8 这三条记录 我们查询>=5的记录 那么它就会在

5 8 supremum记录上加next-key 锁 也就是锁住了 (3,正无穷) 这个空间(因为5上面加的是next-key锁 所以本身和前面的间隙都锁住了) 不过实际上呢 因为我们是对\[5,正无穷)操作 所以说实际上 我们并不会在5前面的间隙上进行操作 所以把5退化成记录锁就行了

对于情况二呢

首先说不存在的情况 就比如说 3 5 8 这三条记录 我们查找<8的记录 那也就是**在(0,8)的区间上进行操作** 那扫描过程3 满足 5满足 8不满足 终止 也就是说我们会在3 5 8三条记录上面加next-key锁

**也就是封住了(0,正无穷的空间)** 所以说是没必要的 把8位置退化成记录锁 正好

对于存在的情况呢?

小于

还是用3 5 8举例 小于8的 要操作的空间和被锁住的空间一样 答案是完全没区别 还是上面的原则

小于等于 3 5 8 查询<=8 的 我们要操作的空间是(0,8\] 锁住的空间也是(0,8\] 所以没必要退化

相信经过几次举例你已经明白了 为啥大于和小于之间的加锁行为不一样 因为间隙锁的方向是在被加锁元素的左侧的 而> <元素的方向是不一致的

## 非唯一索引等值查询 ##

啊 这回就到了非唯一索引了

唯一索引包含:主键索引 唯一索引(它是个二级索引)

非唯一索引:就是剩下的几种索引

**因为存在两个索引，一个是主键索引，一个是非唯一索引（二级索引），所以在加锁时，同时会对这两个索引都加锁，但是对主键索引加锁的时候，只有满足查询条件的记录才会对它们的主键索引加锁**。

区分一下子啊 非主键索引(二级索引) 中的唯一索引在加锁的时候 规则与主键索引一直 只是要回表再对主键索引项加锁而已

但是 非主键索引中的非唯一索引的过程就要复杂了 也就是我们现在讲述的

*  当查询的记录「存在」时，由于不是唯一索引，所以肯定存在索引值相同的记录，于是**非唯一索引等值查询的过程是一个扫描的过程，直到扫描到第一个不符合条件的二级索引记录就停止扫描，然后在扫描的过程中，对扫描到的二级索引记录加的是 next-key 锁，而对于第一个不符合条件的二级索引记录，该二级索引的 next-key 锁会退化成间隙锁。同时，在符合查询条件的记录的主键索引上加记录锁**。
 *  当查询的记录「不存在」时，**扫描到第一条不符合条件的二级索引记录，该二级索引的 next-key 锁会退化成间隙锁。因为不存在满足查询条件的记录，所以不会对主键索引加锁**。

当查询的记录「存在」时: 假如说这 1 1 3 3 5 5 8 我们select=5的值 这回我们逆着思路看 当select我们在哪里 操作的时候会造成幻读? 在(3,8)范围 所以我们需要对 5 5 8加锁 然后把8上的锁退化成间隙锁 然后还要对主键索引加锁

> 有一个事我觉得挺有意思的 就是之前我们的唯一索引确保了相同的值只有一个 现在呢可就不一定了
> 
> 你看 唯一索引 锁住(2,8)的间隙锁 1 2 5 8 插入的时候 如果<8 >2的就差不了 是不是很简单很明了 但是非唯一索引呢? 1 2 5 8的(2,8)间隙锁呢? 哎 规则就失效了 因为我们非唯一索引不保证只有一个值 那我这个加一个5 我加的5在当前5的前面 就可以插入 如果在当前5后面 那就到间隙锁范围了 就会阻塞 8也是 在当前8之前的8 阻塞 当前8之后的8可以正常插入
> 
> 那我们怎么辨别呢
> 
> 假如说有这么一组数据
> 
> id = 1 value = 1
> 
> id = 2 value = 2
> 
> id = 3 value = 5
> 
> id = 4 value = 5
> 
> id = 5 value = 8
> 
> id = 6 value = 8
> 
> 那么我们按非唯一索引组织的结果 就是 1 2 5 5 8 8
> 
> 此时我们看它们的主键 1 2 3 4 5 6
> 
> 也就是说相同的非唯一索引之间 按照主键索引的大小排序
> 
> 那么假如我们还是这组 1 2 5 8数据 我们精细化的看它
> 
> id = 1 value = 1
> 
> id = 2 value = 2
> 
> id = 7 value = 5
> 
> id = 5 value = 8
> 
> 那么来了一条 id = 6 value = 5就不会阻塞 因为\{1 2 **5** 5(**间隙锁)**8\}因为这个5落在原本5的前面 没在间隙锁曲建忠
> 
> 那么id = 8 value = 5 就会阻塞 1 2 5 **5** 8 它落在了原来的5和8之间就会阻塞
> 
> 8同理

当记录不存在时 啊 1 2 5 8 我们需要查找3 那就是锁住(2,5)这个间隙就行了

那就是5这个参数上面先加个next-key 然后退化成间隙锁就行了

## 非唯一索引范围查询 ##

非唯一索引和主键索引的范围查询的加锁也有所不同，不同之处在于**非唯一索引范围查询，索引的 next-key lock 不会有退化为间隙锁和记录锁的情况**，也就是非唯一索引进行范围查询时，对二级索引记录加锁都是加 next-key 锁。

大于/大于等于的情况: 1 2 5 5 8 8 select>=5

要锁住的是 (2,正无穷)的情况 那就是5到正无穷每一个记录都加上next-key锁 (为什么这个正无穷上的锁不用退化成间隙锁?因为它是一条虚拟记录 不差这点开销)

它与唯一索引的时候有啥区别呢 因为有重复值 所以即使等值了 也得锁住间隙 所以不能退化成记录锁

小于/小于等于 1 2 5 5 8 8 select<=8

(负无穷,8) 这也不用 退化 扫描到的每一个结果都加next-key 锁就行 不用退化

##  ##

提一嘴扫描过程这个事

对于 1 3 5 5 7