MySQL 锁机制详解
死锁是怎么发生的？
SELECT ... FOR UPDATE到底锁了什么？本文系统梳理 MySQL 的锁体系。
一、锁的分类总览
- 1.1 按粒度——全局锁、表级锁、行级锁
- 1.2 按模式——共享锁（S）、排他锁（X）、意向锁（IS/IX）
- 1.3 按算法——记录锁、间隙锁、临键锁
二、全局锁
- 2.1
FLUSH TABLES WITH READ LOCK——全库只读 - 2.2 使用场景——全库备份（mysqldump
--master-data） - 2.3 风险——业务停摆
三、表级锁
- 3.1 表锁——
LOCK TABLES ... READ/WRITE - 3.2 元数据锁（MDL）——DDL 操作自动加锁
- 3.3 MDL 的坑——
ALTER TABLE阻塞所有查询 - 3.4 自增锁（AUTO-INC）——
innodb_autoinc_lock_mode
四、行级锁
- 4.1 记录锁（Record Lock）——锁定索引记录
- 4.2 间隙锁（Gap Lock）——锁定记录之间的间隙
- 4.3 临键锁（Next-Key Lock）——记录锁 + 间隙锁
- 4.4 插入意向锁（Insert Intention Lock）
五、意向锁
- 5.1 为什么需要意向锁——表锁和行锁的冲突检测
- 5.2 加行锁前先加意向锁——IS / IX
- 5.3 意向锁之间不冲突
六、死锁排查
- 6.1
SHOW ENGINE INNODB STATUS——死锁日志分析 - 6.2 死锁的四个必要条件
- 6.3 常见死锁场景——两个事务以不同顺序加锁
- 6.4 死锁避免——统一加锁顺序、缩短事务
七、乐观锁与悲观锁
- 7.1 悲观锁——
SELECT ... FOR UPDATE - 7.2 乐观锁——版本号 CAS
- 7.3 适用场景——冲突多的用悲观锁，冲突少的用乐观锁
八、总结
- MySQL 锁体系全景图
- 锁等待超时——
innodb_lock_wait_timeout
本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 谜思录！
相关推荐
2018-06-02
SQL 执行全链路
SELECT * FROM user WHERE id = 1 —— 这简单一行，在 MySQL 内部经历了什么？ 一、MySQL 整体架构 1.1 Server 层——连接器、查询缓存、分析器、优化器、执行器 1.2 存储引擎层——InnoDB / MyISAM / Memory 1.3 架构图——各组件的位置 二、连接器 2.1 TCP 握手 + 身份认证 2.2 权限读取——连接建立时读取，之后不变 2.3 连接管理——wait_timeout 空闲连接超时 2.4 长连接 vs 短连接——长连接 OOM 问题 三、查询缓存（MySQL 8.0 已移除）...
2018-03-17
MySQL 索引与 B+Tree 原理
为什么 MySQL 选择 B+Tree 而不是 B-Tree 或红黑树？最左前缀原则的根本原因是什么？从数据结构讲起。 一、索引的本质——排序的数据结构 1.1 索引 = 预排序 + 快速查找 1.2 没有索引时——全表扫描 1.3 有索引时——二分查找的变种 二、为什么是 B+Tree 2.1 哈希表——等值查询快，范围查询不行 2.2 二叉搜索树——高度太高，磁盘 IO 多 2.3 B-Tree——非叶子节点也存数据，范围查询仍需中序遍历 2.4 B+Tree——数据只存叶子节点，叶子节点双向链表连接 三、B+Tree 的结构 3.1 页（Page）——InnoDB...
2019-03-16
MySQL 事务隔离与 MVCC
可重复读级别下，为什么读不到别的事务已提交的数据？MVCC（多版本并发控制）是 InnoDB 的答案。 一、事务的 ACID 1.1 Atomicity——redo log（重做日志） 1.2 Consistency——由其他三个保证 1.3 Isolation——MVCC + 锁 1.4 Durability——redo log 二、四种隔离级别 2.1 READ UNCOMMITTED——脏读 2.2 READ COMMITTED——不可重复读 2.3 REPEATABLE READ（InnoDB 默认）——幻读（部分解决） 2.4 SERIALIZABLE——串行化 三、M...
2019-09-28
Nacos AP/CP 模式切换原理
Nacos 同时支持 AP 和 CP 模式，它是怎么做到的？背后的 Raft 和 Distro 协议各自解决什么问题？ 一、注册中心的 CAP 困境 1.1 为什么注册中心需要 CAP 选择 1.2 Eureka 的 AP 选择——优先可用性 1.3 ZooKeeper 的 CP 选择——优先一致性 1.4 Nacos 的混合选择——可切换 二、Nacos 的 AP 模式——Distro 协议 2.1 Distro 的设计目标——最终一致性 + 高可用 2.2 数据同步机制——每个节点都能写入 2.3 健康检查——临时实例的心跳检测 2.4 Distro 的一致性保证——异步复制 ...
2017-06-03
Netty 线程模型详解
Netty 的高性能离不开其精巧的线程模型。从 Boss 线程接收连接到 Worker 线程处理 IO，主从 Reactor 模型如何落地？ 一、Netty 线程模型概述 1.1 BossGroup 和 WorkerGroup 的职责划分 1.2 EventLoop——Netty 的线程抽象 1.3 一个 EventLoop 绑定一个线程——thread-safe 的保证 二、EventLoopGroup 的创建 2.1 NioEventLoopGroup——Boss / Worker 的创建 2.2 线程数设置——new NioEventLoopGroup(1) vs ...
2016-09-17
Kafka 高性能原理
Kafka 为什么这么快？PageCache、sendfile、顺序写盘——这些底层技术的巧妙组合成就了 Kafka 的超高吞吐。 一、Kafka 的 IO 模型 1.1 基于磁盘的消息持久化——不是内存队列 1.2 为什么用磁盘还能这么快——六字秘诀”顺序写 + 零拷贝” 1.3 传统 IO 的 4 次拷贝 + 4 次上下文切换 二、零拷贝（Zero Copy） 2.1 sendfile() 系统调用——DMA 直接传输 2.2 2 次拷贝 + 2 次上下文切换 2.3 mmap() 内存映射——另一种零拷贝 2.4 Kafka 中的 FileChannel.transferTo...