产生死锁的必要条件

  • 多个并发事务(2个或者以上)
  • 每个事物都持有了锁(或者是已经在等待锁)
  • 每个事务都需要再继续持有锁(为了完成事务逻辑,还必须更新更多的行)
  • 事物之间产生加锁的循环等待,形成死锁

    常规锁模式

  • LOCK_S(读锁,共享锁)
  • LOCK_X(写锁,排它锁)

    锁的属性

  • LOCK _REC_NOT_GAP(锁记录)
  • LOCK_GAP(锁记录前的GAP)
  • LOCK_ORDINARY(同时锁记录+记录前的GAP,Next key锁)
  • LOCK_INSERT_INTETION(插入意向锁)

    锁组合(属性+模式)

    可以任意组合

    锁冲突矩阵

锁是加在那里的?

  • 根据主键查找-锁加在主键上
    如 begin;select * from tt_copy where id=4 for update;
    加锁情况

    index PRIMARY of table test.tt_copy trx id 1101588 lock_mode X locks rec but not gap

  • 根据普通索引查找-锁加在普通索引和主键上
    如 begin;select * from tt_copy force index(idx_a) where a=4 for update;
    加锁情况

    index idx_a of table test.tt_copy trx id 1101590 lock_mode X locks rec but not gap
    index PRIMARY of table test.tt_copy trx id 1101590 lock_mode X locks rec but not gap

操作与加锁的对照关系

以下没特殊说明都为RC隔离级别

Insert

  • 无Unique key,插入后 :无论RC或RR隔离级别都是对主键加 LOCK_X+LOCK_REC_NOT_GAP
  • 有Unique key

    插入前,唯一约束检查:LOCK_S+LOCK_ORDINARY
    插入前,插入的位置有GAP锁:LOCK_INSERT_INTETION
    插入后,新数据插入:LOCK_X+LOCK_REC_NOT_GAP

Delete

满足删除条件的所有记录:LOCK_X+LOCK_REC_NOT_GAP

Update

Update操作分解

  • Step 1:定位到 下一条满足查询条件的记录(查询过程,类似于Select/Delete)
  • Step 2:删除当前定位到的记录(标记为删除状态)
  • Step 3:拼装更新后项,根据更新后项定位到 新的插入位置
  • Step 4:在新的插入位置,判断是否存在 Unique 冲突( 存在Unique Key 时
  • Step 5:插入更新后项(不存在Unique冲突时)
  • Step 6: 重复Step 1 到Step 5 的操作,直至扫描完整个查询范围

Update操作分析

  • Step 1,Step 2:Delete
  • Step 3,Step 4,Step 5:Insert

Update

  • 无Unique key:

    • 查询范围中的所有记录,LOCK_X + LOCK_REC_NOT_GAP
  • 有Unique key:

    • 查找满足条件的记录:查询范围内的所有记录, LOCK_X + LOCK_REC_NOT_GAP
    • 更新后项存在唯一性冲突:冲突项上的加锁,LOCK_S + LOCK_ORDINARY
    • 更新后项不存在唯一性冲突: 更新位置后项加锁,LOCK_S + LOCK_GAP (省略)
    • 实际更新操作:可看做插入了一条新纪录,LOCK_X + LOCK_REC_NOT_GAP

GAP锁

那些操作会加GAP锁?

  • Read Committed (RC) ) :Unique Key 唯一约束检查;Purge操作;
  • Repeatable Read (RC ):RC的基础上,所有需要加锁的索引范围扫描和索引查找(Update/Delete…)
  • 还有一种会加GAP锁:RR隔离级别下,对有唯一索引的表执行insert on duplicate update操作,除了会对新插入的记录加x not gap外,还会对相邻记录加x gap

如何去掉GAP锁?

change the transaction isolation level to READ COMMITTED or enable the innodb_locks_unsafe_for_binlog system variable (which is now deprecated)

什么时候加next-key lock?

By default, InnoDB operates in REPEATABLE READ transaction isolation level. In this case, InnoDB uses next-key locks for searches and index scans, which prevents phantom rows

Insert Intention Lock

An insert intention lock is a type of gap lock set by INSERT operations prior to(在...之前) row insertion.

总结

• 原则之一

  • 要分析一个死锁,必须深入业务,了解整个事务的逻辑(闭门无法造车)

• 原则之二`

  • GAP锁很复杂,为了减少GAP锁,减少GAP导致的死锁,尽量选择Read Committed隔离级别(RC + row based binlog,基本上能够解决所有问题,无需使用Repeatable Read)
  • 适当的 减少Unique 索引,能够减少GAP锁导致的死锁(根据业务情况而定)

• 原则之三

  • 在MySQL 中,以不同索引的过滤条件, 来操作相同的记录(Update/Delete ),很容易产生死
    锁。

• 原则之四

  • RC隔离级别下,如果死锁中出现Next Key(Gap锁),说明表中一定存在unique索引
  • 多语句事务产生的死锁,确保每条语句操作记录的顺序性,能够极大减少死锁

本文大多数都整理自《死锁-何登成 - 管中窥豹——MySQL(InnoDB)死锁分析之道》

MySQL 加锁和死锁解析的更多相关文章

  1. Mysql加锁过程详解

    1.背景 MySQL/InnoDB的加锁分析,一直是一个比较困难的话题.我在工作过程中,经常会有同事咨询这方面的问题.同时,微博上也经常会收到MySQL锁相关的私信,让我帮助解决一些死锁的问题.本文, ...

  2. MySQL 加锁处理分析

    1    背景    1 1.1    MVCC:Snapshot Read vs Current Read    2 1.2    Cluster Index:聚簇索引    3 1.3    2P ...

  3. MySQL 加锁处理分析 转

    MySQL 加锁处理分析  转 http://hedengcheng.com/?p=771 十二 13th, 2013 发表评论 | Trackback   1    背景    1 1.1    M ...

  4. 转载-MySQL 加锁处理分析

    MySQL 加锁处理分析 发表于 2013 年 12 月 13 日 由 hedengcheng 1    背景    1 1.1    MVCC:Snapshot Read vs Current Re ...

  5. MySQL加锁分析

    参考:MySQL 加锁处理分析.该文已经讲的很详尽了,也易懂,下面仅仅是个人做的总结. 一. 背景 1.1 隔离级别 1.2 加锁过程 逐条处理,逐条加锁. 1.3 两阶段锁2PL 1.4 gap锁 ...

  6. MySQL 加锁处理分析-转载

    来自何登成的技术博客     1.1    MVCC:Snapshot Read vs Current Read    2 1.2    Cluster Index:聚簇索引    3 1.3     ...

  7. Mysql加锁过程详解(8)-理解innodb的锁(record,gap,Next-Key lock)

    Mysql加锁过程详解(1)-基本知识 Mysql加锁过程详解(2)-关于mysql 幻读理解 Mysql加锁过程详解(3)-关于mysql 幻读理解 Mysql加锁过程详解(4)-select fo ...

  8. Mysql加锁过程详解(1)-基本知识

    Mysql加锁过程详解(1)-基本知识 Mysql加锁过程详解(2)-关于mysql 幻读理解 Mysql加锁过程详解(3)-关于mysql 幻读理解 Mysql加锁过程详解(4)-select fo ...

  9. Mysql加锁过程详解(4)-select for update/lock in share mode 对事务并发性影响

    Mysql加锁过程详解(1)-基本知识 Mysql加锁过程详解(2)-关于mysql 幻读理解 Mysql加锁过程详解(3)-关于mysql 幻读理解 Mysql加锁过程详解(4)-select fo ...

随机推荐

  1. Java递归实现阶乘

    import java.util.Scanner; public class Factorial { public static void main(String[] args) { Scanner ...

  2. <String> 49 87

    49. Group Anagrams class Solution { public List<List<String>> groupAnagrams(String[] str ...

  3. Educational Codeforces Round 57 (Rated for Div. 2) D dp

    https://codeforces.com/contest/1096/problem/D 题意 给一个串s,删掉一个字符的代价为a[i],问使得s的子串不含"hard"的最小代价 ...

  4. OsharpNS轻量级.net core快速开发框架简明入门教程-多上下文配置(多个数据库的使用)

    OsharpNS轻量级.net core快速开发框架简明入门教程 教程目录 从零开始启动Osharp 1.1. 使用OsharpNS项目模板创建项目 1.2. 配置数据库连接串并启动项目 1.3. O ...

  5. pytorch 查看中间变量的梯度

    pytorch 为了节省显存,在反向传播的过程中只针对计算图中的叶子结点(leaf variable)保留了梯度值(gradient).但对于开发者来说,有时我们希望探测某些中间变量(intermed ...

  6. 2019年上-C语言程序设计课程内容

    第一节课 序言 为何学习C语言 打印hello world程序 编译步骤,认识编译器 冯诺依曼体系结构 hello world程序如何在计算机上运行的 第二节课 基本数据类型与表达式 求华氏温度对应的 ...

  7. .NET Core:跨域

    在Startup中的ConfigureServices方法中配置:services.AddCors(options => options.AddPolicy("any", b ...

  8. CentOS7 Hive 安装

    hive的安装模式有2种,一种是使用自带的derby数据库,另一种是使用mysql作为元数据库.derby方式一般没人用,因为它是单用户模式.这里主要讲解mysql方式. hive仅仅是一个客户端工具 ...

  9. Kubelet 证书如何自动续期

    一.问题现象和原因 Kubernetes 日志错误 当 Kubernetes 集群日志中出现 certificate has expired or is not yet valid 错误信息时,表明证 ...

  10. 调用其他python脚本文件里面的类和方法

    问题描述: 自己编写了若干个Python脚本. 在testC.py里面需要调用testA.py和testB.py里面的若干类和方法.要怎么办? 需要都打包.安装,再去调用吗? 其实不必那么麻烦. 这里 ...