谈谈MySQL死锁之二 死锁检测和处理源码分析

这一篇主要是通过一个实验来进行描述,过程是比较枯燥的.

实验准备

create table test_lock(id int auto_increment primary key ,stock int) engine=innodb;

insert into test_lock(id,stock) value(1,50);

这里我把堆栈信息尽可能的简化，25个主要函数的名称和入参

后面为了突出主题，我对事务相关的函数加上这个开头死锁检测函数列表，一共10个函数

 

死锁检测函数列表A row_search_for_mysql(搜索行)

死锁检测函数列表B sel_set_rec_lock(判断是二级索引还是主键,然后对行加锁)

死锁检测函数列表C lock_clust_rec_read_check_and_lock(检查有锁堵塞)

死锁检测函数列表D lock_rec_lock 处理逻辑（检测锁的兼容性)

死锁检测函数列表E lock_rec_lock_slow处理逻辑(确认申请不到锁)

死锁检测函数列表F lock_rec_enqueue_waiting

死锁检测函数列表G lock_deadlock_check_and_resolve处理逻辑

死锁检测函数列表H lock_deadlock_search函数代码处理逻辑

死锁检测函数列表I lock_get_first_lock处理逻辑(第一个锁比较)

死锁检测函数列表J lock_get_next_lock函数代码处理逻辑(获取锁继续比较)

我们一个个来看这些函数的主要作用

死锁检测函数列表A row_search_for_mysql处理逻辑

作用:对数据库进行行的寻找

传入的参数是:

1.buf 缓存区，用于获取MySQl格式的行

2.mode 搜索的方式

3.prebuilt 预构表结构的相关信息

4.搜索的方向

返回结果:

@return DB_SUCCESS, DB_RECORD_NOT_FOUND, DB_END_OF_INDEX, DB_DEADLOCK,

DB_LOCK_TABLE_FULL, DB_CORRUPTION, or DB_TOO_BIG_RECORD */

在row_search_for_mysql搜索到行后，会对行进行加锁处理，也就是调用函数列表B sel_set_rec_lock处理逻辑

死锁检测函数列表B sel_set_rec_lock处理逻辑

作用:对一条记录进行加锁，返回结果为（DB_SUCCESS, DB_SUCCESS_LOCKED_REC, or error code）

参数列表和备注

1.btr_pcur_get_block(pcur),记录对应的page的指针地址

2.rec:rec = btr_pcur_get_rec(pcur)对于的行的指针地址

3.index:prebuilt->index,表的索引

4.offsets:offsets是一个数组，默认100个元素，offsets = rec_get_offsets(next_rec, index, offsets,ULINT_UNDEFINED, &heap);

5.prebuilt->select_lock_type 表锁的类型（LOCK_NONE,LOCK_S, or LOCK_X）

6.lock_type:这里指的是行级锁（LOCK_REC_NOT_GAP，LOCK_GAP，LOCK_ORDINARY(Next-Key Lock)）

7.thr:查询图查询线程节点 赋值thr = que_fork_get_first_thr(prebuilt->sel_graph);

死锁检测函数列表C lock_clust_rec_read_check_and_lock处理逻辑

作用:

检查其他事务的锁是否阻止立即读取或传递通过读取游标读取聚簇索引记录.

这个函数的作用主要是检查其他事务的锁是否堵塞了当前读，或者通过传递一个读取游标来读取主键索引记录。

如果他们这样做，首先测试

如果查询线程应该由于某种原因暂停;

如果没有，那么将事务和查询线程置于锁等待状态，并插入一个等待对锁队列的记录锁请求。

设置请求的模式锁定在记录上

死锁检测函数列表D 函数 lock_rec_lock 处理逻辑

作用:

尝试去对指定的行进行加锁，如果不能进行加锁，则进入lock_rec_lock_slow函数里面的处理逻辑

死锁检测函数列表E函数 lock_rec_lock_slow处理逻辑

作用:事务所请求的锁和别的事务有冲突（别人已经持有），进入lock_rec_enqueue_waiting进行处理

死锁检测函数列表F 函数 lock_rec_enqueue_waiting处理逻辑

作用:进入死锁检测函数lock_deadlock_check_and_resolve

死锁检测函数列表G 函数 lock_deadlock_check_and_resolve处理逻辑

作用:构造锁竞争的信息，然后把锁竞争的信息带入到lock_deadlock_search函数

死锁检测函数列表H函数 lock_deadlock_search函数代码处理逻辑

作用:通过锁竞争信息，对比两个事务对于的记录的heap_no,看两个事务所持有的锁是否为对方所需要的，进入到lock_get_first_lock来进行遍历

死锁检测函数列表I 函数lock_get_first_lock处理逻辑

作用:把参与锁竞争的事务的第一个锁来和另外一个事务等待的锁进行比较，如果检测到等值的锁则返回锁信息。

返回值:返回第一个锁或者NULL

死锁检测函数列表J lock_get_next_lock函数代码处理逻辑

作用:返回值，返回事务锁持有的下一个锁或者NULL