MySQL锁机制详解与加锁流程全解析
一、MySQL锁机制全景图
1.1 锁类型体系
1.2 核心锁类型对比
| 锁类型 | 别名 | 适用场景 | 冲突检测 |
|---|---|---|---|
| 共享锁(S) | 读锁 | SELECT…LOCK IN SHARE MODE | 与X锁冲突 |
| 排他锁(X) | 写锁 | INSERT/UPDATE/DELETE | 与S/X锁都冲突 |
| 意向共享锁(IS) | 表级意向锁 | 行锁操作前的表级标记 | 与IX锁兼容 |
| 意向排他锁(IX) | 表级意向锁 | 行锁操作前的表级标记 | 与IS锁兼容 |
二、InnoDB加锁核心流程
2.1 典型写操作加锁流程
2.2 不同隔离级别的锁差异
| 隔离级别 | 锁定范围 | 幻读处理 |
|---|---|---|
| READ UNCOMMITTED | 不加锁 | 可能发生 |
| READ COMMITTED | 仅锁定现有记录 | 可能发生 |
| REPEATABLE READ | Next-Key Locking | 防止幻读 |
| SERIALIZABLE | 范围锁升级为表锁 | 完全防止 |
三、行级锁的三种形态
3.1 记录锁（Record Lock）
- 锁定索引记录：
SELECT * FROM table WHERE id=1 FOR UPDATE - 适用场景：精确匹配主键/唯一索引
3.2 间隙锁（Gap Lock）
- 锁定索引间隙：
SELECT * FROM table WHERE id>10 AND id<20 FOR UPDATE - 防止幻读：阻止其他事务在范围内插入新记录
3.3 临键锁（Next-Key Lock）
- 记录锁+间隙锁组合：
SELECT * FROM table WHERE id>=10 FOR UPDATE - 默认锁模式：RR隔离级别下的标准锁策略
四、死锁产生与处理机制
4.1 死锁产生条件
- 互斥条件：资源独占
- 请求与保持：持有旧锁请求新锁
- 不可剥夺：锁只能主动释放
- 循环等待：多个事务形成等待环
4.2 死锁检测流程
4.3 死锁排查命令
-- 查看当前锁状态
SHOW ENGINE INNODB STATUS;-- 查看锁等待信息
SELECT * FROM information_schema.INNODB_LOCKS;
SELECT * FROM information_schema.INNODB_LOCK_WAITS;
五、最佳实践与性能优化
5.1 锁优化策略
- 索引优化：确保查询使用索引，避免全表扫描
- 事务精简：缩短事务执行时间
- 锁顺序：统一业务操作顺序
- 隔离级别：合理选择事务隔离级别
5.2 高频场景锁选择
| 场景 | 推荐方案 | 示例 |
|---|---|---|
| 精确更新单条记录 | 主键+记录锁 | UPDATE users SET age=30 WHERE id=5 |
| 范围更新 | Next-Key Lock | SELECT * FROM orders WHERE amount>1000 FOR UPDATE |
| 批量插入 | 间隙锁控制 | INSERT INTO logs VALUES (...) |
| 统计报表 | 共享锁+快照读 | SELECT COUNT(*) FROM products LOCK IN SHARE MODE |
六、锁机制与MVCC协同原理
6.1 MVCC与锁的关系
- 读操作：默认使用快照读（MVCC），不加锁
- 写操作：必须加排他锁保证一致性
- 显式锁定：
SELECT...FOR UPDATE强制当前读
6.2 版本链与可见性判断
七、特殊场景锁处理
7.1 自增锁（AUTO-INC Lock）
- 锁定类型：表级锁
- 作用时机：插入自增列时
- 优化方案：设置
innodb_autoinc_lock_mode=2（连续模式）
7.2 外键约束锁
- 子表操作：检查父表对应记录是否存在共享锁
- 父表删除：检查子表是否引用排他锁
7.3 全文索引锁
- 特殊机制：使用信号量而非传统锁
- 并发控制：通过缓存刷新机制实现
结语
深入理解MySQL锁机制需要结合具体存储引擎实现，其中InnoDB的锁机制设计充分体现了性能与一致性的平衡。通过合理使用索引、优化事务逻辑、选择合适隔离级别，可以显著降低锁冲突概率。建议开发者在关键业务操作前进行锁分析，使用EXPLAIN验证执行计划，结合SHOW ENGINE INNODB STATUS监控锁状态，最终构建高性能、高并发的数据库应用。
相关文章：
MySQL锁机制详解与加锁流程全解析
一、MySQL锁机制全景图 1.1 锁类型体系 #mermaid-svg-czUB6iJgmHuOPdN1 {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-czUB6iJgmHuOPdN1 .error-icon{fill:#552222;}#mermaid-svg-czUB6iJgmHuOPdN1 .error-text{f…...
云轴科技ZStack官网上线Support AI，智能助手助力高效技术支持
5月16日，云轴科技ZStack在官网（www.zstack.io）正式上线ZStack Support AI智能助手。该系统是ZStack应用人工智能于技术支持服务领域的重要创新，基于自研ZStack AIOS平台智塔及LLMOPS技术打造。 ZStack Support AI定位为智能客服&…...
)
深度学习笔记23-LSTM实现火灾预测(Tensorflow)
🍨 本文为🔗365天深度学习训练营中的学习记录博客🍖 原作者： 一、前期准备 1.导入数据 import pandas as pd import numpy as npdf_1 pd.read_csv("D:\TensorFlow1\woodpine2.csv") df_1import matplotlib.pyplot as…...
单例模式（Singleton Pattern）详解
单例模式（Singleton Pattern）详解 1. 定义与核心目标 单例模式是一种创建型设计模式，确保一个类只有一个实例，并提供全局访问点。核心目标： 控制实例数量：防止重复创建对象，节省资源。统一管理共享资源：如配置管理、数据库连接池、日志处理器等。2. 实现方式及对比 (…...
IntelliJ IDEA打开项目后，目录和文件都不显示，只显示pom.xml，怎样可以再显示出来？
检查.idea文件夹 如果项目目录中缺少.idea文件夹，可能导致项目结构无法正确加载。可以尝试删除项目根目录下的.idea文件夹，然后重新打开项目，IDEA会自动生成新的.idea文件夹和相关配置文件，从而恢复项目结构。 问题解决࿰…...
LongRefiner：解决长文档检索增强生成的新思路
大语言模型与RAG的应用越来越广泛，但在处理长文档时仍面临不少挑战。今天我们来聊聊一个解决这类问题的新方法——LongRefiner。 背景问题：长文档处理的两大难题 使用检索增强型生成（RAG）系统处理长文档时，主要有两个…...
Tcping详细使用教程
Tcping详细使用教程 下载地址 https://download.elifulkerson.com/files/tcping/0.39/在windows环境下安装tcping 在以上的下载地中找到exe可执行文件，其中tcping.exe适用于32位Windows系统，tcping64.exe适用于64位Windows操作系统。 其实tcping是个…...
Java + 鸿蒙双引擎：ZKmall开源商城如何定义下一代B2C商城技术标准？
在 B2C 电商领域持续革新的当下，技术架构的优劣成为决定商城竞争力的核心要素。ZKmall开源商城以其创新融合的 Java 与鸿蒙双引擎，为下一代 B2C 商城技术标准勾勒出全新蓝图，在性能、兼容性、拓展性等关键维度实现了重大突破。 一、Java 技术…...
华为云Flexus+DeepSeek征文｜基于Dify平台tiktok音乐领域热门短视频分析Ai agent
前言 在当今数字化快速发展的时代，人工智能技术尤其是大模型的应用，正逐渐成为推动各行业创新与变革的关键力量。大模型凭借其强大的语言理解、生成和逻辑推理能力，为企业和开发者提供了全新的解决方案和应用可能性。然而，将这些…...
排序算法之线性时间排序:计数排序,基数排序,桶排序详解
排序算法之线性时间排序：计数排序、基数排序、桶排序详解 前言一、计数排序（Counting Sort）1.1 算法原理1.2 代码实现（Python）1.3 性能分析1.4 适用场景 二、基数排序（Radix Sort）2.1 算法原理2…...
HarmonyOS 开发之 —— 合理使用动画与转场
HarmonyOS 开发之 —— 合理使用动画与转场 谢谢关注！！ 前言：上一篇文章主要介绍HarmonyOs开发之———UIAbility进阶:https://blog.csdn.net/this_is_bug/article/details/147976323?spm=1011.2415.3001.10575&sharefrom=mp_manage_link 在移动应用开发中，动画与转…...
网络流量分析 | NetworkMiner
介绍 NetworkMiner 是一款适用于Windows（也适用于Linux/Mac）的开源网络取证分析工具。它可被用作被动网络嗅探器/数据包捕获工具，也可被用于检测操作系统、会话、主机名、开放端口等，还能被用于解析pcap文件进行离线分析。点击此…...
EtherCAT转ProfiNet智能网关选型策略匹配S7-1500与CX5140通讯需求的关键参数对比
一、案例背景 随着新能源行业的迅猛发展，锂电池生产制造企业面临着日益激烈的市场竞争和不断增长的生产需求。某锂电池生产企业在扩大产能的过程中，新建了一条锂电池生产线。该生产线采用了倍福CX5140PLC作为EtherCAT协议主站，控制着涂布机、…...
适合学校使用的桌面信息看板，具有倒计时、桌面时钟、课程表、天气预报、自动新闻联播、定时关机、消息通知栏、随机点名等功能。
简介 教育时钟（Education Clock） 是一款致力于帮助学习者科学规划学习时间、提高学习效率的开源工具。由 Return-Log 团队开发，适配多平台（Windows、Mac、Linux），界面简洁直观，操作便捷。通过设…...
兰亭妙微设计：为生命科技赋予人性化的交互语言
在医疗科技日新月异的今天，卓越的硬件性能唯有匹配恰如其分的交互语言，方能真正发挥价值。作为专注于医疗UI/UX设计的专业团队，兰亭妙微设计（www.lanlanwork.com）始终相信：每一处像素的排布，都应…...
redis数据结构-12（配置 RDB 快照：保存间隔和压缩）
配置 RDB 快照：保存间隔和压缩 Redis 持久性对于确保在服务器重启或发生故障时数据不会丢失至关重要。虽然 Redis 以其内存中数据存储而闻名，但它提供了将数据持久化到磁盘的机制。本章节重点介绍其中一种机制：Redis 数据库 （RDB…...
SG7050VAN差分晶振,X1G0042810033,EPSON爱普生以太网6G晶振
产品简介 SG7050VAN差分晶振,X1G0042810033,EPSON爱普生以太网6G晶振，日本EPSON爱普生株式会社，进口晶振型号：SG7050VAN，编码为：X1G0042810033，频率为：156.250000 MHz，小体积晶振尺…...
nfs网络文件系统
nfs网络文件系统简介 NFS (Network File system ,网络文件系统)是由SUN公司研制的UNIX表示层协议，它允许网络中的计算机(不同的计算机、不同的操作系统)之间通过TCP/IP网络共享资源，主要在unix系列操作系统上使用。在NFS的应用中，本地NFS的客…...
西安前端面试
面试1 1.vue2和vue3的原理及区别 2.伪数组 3.对箭头函数怎么理解的 4.vue父子组件传值的几种方式 5.对Promise的理解 面试2 1.两个升序数组实现合并升序排序 2.数组拍平[3, [[7, [1, 5]], 4], 8, [6]] 面试3 1.let var const的区别，什么时候const能改变 …...
Linux常用命令42——tar压缩和解压缩文件
在使用Linux或macOS日常开发中，熟悉一些基本的命令有助于提高工作效率，tar 是 Linux 和 Unix 系统中用于归档文件和目录的强大命令行工具。tar 名字来自 "tape archive"（磁带归档），最初用于将文件打包到磁带…...
AML 数据集
在公开的AML（急性髓性白血病）数据集中，有几个包含图像和多组学数据的资源，且部分带有生存状态和生存时间的标签。以下是一些相关数据集： 1. TCGA-AML (The Cancer Genome Atlas - Acute Myeloid Leukemia) 描述&…...
什么是Rosetta？
Apple 提供的「动态二进制翻译器」，让基于 Intel 的 x86_64 应用/二进制在 Apple Silicon（M1/M2/M3，ARM 架构）上运行 项目说明🧠 Rosetta 2是 Apple 提供的一种「Intel → ARM 翻译器」🖥️ 功能让你的 AR…...
Redis解析
Redis解析 一、单线程模型 redis在io层面是多线程的，在数据处理层面是单线程的。 多线程一般用于： 关闭连接删除/淘汰内存网络IO 1.1 io多路复用 redis使用nio（select、poll、epoll）的方式处理socket 主线程负责接收建立连接…...
轨迹误差评估完整流程总结（使用 evo 工具）
roslaunch .launch rosbag play your_dataset.bag -r 2.0 ✅ 第二步：录制估计轨迹 bash 复制编辑 rosbag record -O traj_only.bag /aft_mapped_to_init 运行一段时间后 CtrlC 停止，生成 traj_only.bag 第三步：提取估计轨迹和真值轨迹为…...
服务器死机了需要检查哪些问题
在这个数字化的时代，服务器就像是我们信息世界的“大管家”，可要是它突然死机了，那可真是让人头疼。今天咱们就来聊聊，服务器死机了，到底需要检查哪些问题。 一、硬件问题 电源供应：检查电源是否稳定&…...
秒杀案例讲解
技术择型 Springboot 接收请求并操作 redis 和 mysqlRedis 用于缓存分布式锁Rocketmq 用于解耦 削峰，异步Mysql 用于存放真实的商品信息Mybatis 用于操作数据库的 orm 框架 架构图 spike-web（接受用户秒杀请求） pom.xml <?xml versio…...
Qt图表绘制（QtCharts）- 性能优化（13）
文章目录 1 批量替换代替追加1.1 测试11.2 测试21.3 测试3 2 开启OpenGL2.1 测试12.2 测试22.3 测试32.4 测试4 更多精彩内容👉内容导航 👈👉Qt开发 👈👉QtCharts绘图 👈👉python开发 …...
[逆向工程]DebugView捕获WPS日志？解析未运行WPS时Shell扩展加载的原因与解决方案（二十五）
[逆向工程]DebugView捕获WPS日志？解析未运行WPS时Shell扩展加载的原因与解决方案（二十五） 引言：一个“幽灵”般的日志问题 你是否在使用 DebugView 排查系统问题时，发现日志中频繁出现 WPS 相关模块（如 k…...
【打破信息差】萌新认识与入门算法竞赛
阅前须知 XCPC萌新互助进步群2️⃣：174495261 博客主页：resot (关注resot谢谢喵) 针对具体问题，应当进行具体分析；并无放之四海而皆准的方法可适用于所有人。本人尊重并支持每位学习者对最佳学习路径的自主选择。本篇所列训练方…...
Ai Agent革命：不是流程驱动，而是模型为魂
前言：AI 智能体的未来：模型才是“主旋律”，工作流只是“插曲” 在 AI 智能体的未来舞台上，模型本身才是永恒的“主旋律”，而工作流不过是短暂的“插曲”。以 Manus 为例，其基于“预先编排好的提示词与工具…...
使用CherryStudio +SiliconFlow 部署独立的deepseek+知识库
deepseek知识库，独立的deepseek 首先我们先了解 CherryStudio？SiliconFlow？ CherryStudio是一个支持多平台的AI客户端，我们致力于让更多人能够享受到AI带来的便利。 简单来说，它是一个能让普通人轻松用上AI 的「万能工…...
【leetcode】94. 二叉树的中序遍历
给定一个二叉树的根节点 root ，返回 它的 中序 遍历 。 示例 1： 输入：root [1,null,2,3] 输出：[1,3,2] 示例 2： 输入：root [] 输出：[] 示例 3： 输入：root [1] 输出…...
OpenCV阈值处理完全指南：从基础到高级应用
引言 阈值处理是图像处理中最基础、最常用的技术之一，它能够将灰度图像转换为二值图像，为后续的图像分析和处理奠定基础。本文将全面介绍OpenCV中的各种阈值处理方法，包括原理讲解、代码实现和实际应用场景。 一、什么是阈值处理࿱…...
源码与二进制包区别
文章目录 源码包与二进制包的区别及选择建议概述核心区别对比1. 内容组成2. 安装复杂度3. 灵活性4. 依赖管理5. 安全性 选择建议适合使用**源码包**的场景：适合使用**二进制包**的场景： 总结 源码包与二进制包的区别及选择建议 概述 在常见的Linux安装…...
NAT转换和ICMP
NAT nat原理示意 nat实现 ICMP ICMP支持主机或路由器： 差错或异常报告网络探寻 2类icmp报文： 差错报告报文（5种） 目的不可达源抑制--拥塞控制超时&超期--TTL超时参数问题--问题报文丢弃重定向--不应该由这个路由器转发&a…...
No module named‘serial‘解决办法
jksjks-VMware-Virtual-Platform:~/gx$ sudopython3py.py Traceback (most recent call last): File "py.py",line 1, in <module> import serial.tools.list_ports ModuleNotFoundError: No module namedserial 这个报错意思是缺少serial模块 解决方法也很简…...
用 Gensim 实现 Word2Vec 古诗生成
向量操作。我们将借助它完成从语料处理到古诗生成的全流程。 6.1 环境搭建与库导入 首先安装 Gensim 及依赖库： bash pip install gensim numpy pandas 导入必要模块： python 运行 from gensim.models import Word2Vec # 核心词向量模型 from r…...
【图像生成1】Latent Diffusion Models 论文学习笔记
一、背景 本文主要记录一下使用 LDMs 之前，学习 LDMs 的过程。 二、论文解读 Paper：[2112.10752] High-Resolution Image Synthesis with Latent Diffusion Models 1. 总体描述 LDMs 将传统 DMs 在高维图像像素空间（Pixel Space&#x…...
MapReduce Shuffle 全解析：从 Map 端到 Reduce 端的核心数据流
一、Shuffle 的本质定位：MapReduce 的核心枢纽 Shuffle 过程涵盖 MapTask 的后半程与 ReduceTask 的前半程，具体指从 map 方法输出到 reduce 方法输入之间的整个数据处理链路。它承担着三大核心使命： 数据分区：决定数据归属…...
架构与UML4+1视图
简单对比分析 架构41视图 架构41视图是由Philippe Kruchten提出的，用于描述软件系统的架构。它包括以下五个视图： 逻辑视图：描述系统的功能需求，展示系统的静态结构，通常使用类图、对象图等。开发视图：…...
nosqlbooster pojie NoSQLBooster for MongoDB
测过可用，注意 asar的安装使用报错改用 npx asar extract app.asar app 路径 C:\Users{computerName}\AppData\Local\Programs\nosqlbooster4mongo\resources npm install asar -g asar extract app.asar app 打开shared\lmCore.js 修改MAX_TRIAL_DAYS3000 修改…...
UI自动化测试中，一个完整的断言应所需要考虑的问题
在UI自动化测试中，一个完整的断言应全面覆盖用户界面（UI）的功能性、交互性和视觉正确性。以下是断言需要包含的核心内容及详细说明： 一、基础元素验证 存在性断言 验证元素存在于DOM中示例代码（Python + Selenium）：assert driver.find_element(By.ID, "submit_btn&…...
电脑出故障驱动装不上？试试驱动人生的远程服务支持
在日常工作或学习中，驱动问题时常成为电脑用户的一大困扰。尤其是在更换硬件、重装系统、驱动冲突等情况下，许多用户往往手足无措，不知道从何下手。而“驱动人生”作为国内领先的驱动管理工具，一直以高效、便捷、智能著称。现在&a…...
机器学习第十五讲：决策树全面讲解：像玩“20个问题“游戏猜身份[特殊字符]
机器学习第十五讲：决策树全面讲解：像玩"20个问题"游戏猜身份🎮 资料取自《零基础学机器学习》。 查看总目录：学习大纲 关于DeepSeek本地部署指南可以看下我之前写的文章：DeepSeek R1本地与线上满血版部署&…...
基于Rust语言的Rocket框架和Sqlx库开发WebAPI项目记录（二）
参数结构体模块 在src目录下新建params文件夹 在params文件夹下依次新建req.rs、resp.rs、result_parse.rs、mod.rs 目录结构如下： project |—src |—params //封装参数结构体模块 |—req.rs //封装请求参数结构体 |—resp.rs //封装返回数据结构体 |—resu…...
Centos7系统（最小化安装）安装zabbix7版本详细文章、nginx源代码配置、php源代码、mysql-yum安装
zabbix官网链接下载zabbix源代码安装包 选择zabbix版本（此文章使用zabbix7.0版本） 安装之前由于是最小化安装centos7安装一些开发环境和工具包 文章使用国内阿里源 cd /etc/yum.repos.d/;curl -O https://mirrors.aliyun.com/repo/epel-7.repo;curl -…...
rocketmq 环境配置[python]
因本人是 python 开发，macbook 开发。windows 可以采取配置远程 linux 解释器或者 pycharm 专业版的 docker 解释器进行开发 M1 芯片 本地运行 rocketmq rocketmq Python 开源地址： https://github.com/apache/rocketmq-client-python 因为需要 linu…...
)
前端学习（4）—— JavaScript(基础语法)
目录 一，介绍 1.1 是什么 1.2 组成 1.3 书写形式 1.4 输入输出 二，变量的使用 2.1 基本用法 2.2 动态类型 三，基本数据类型 3.1 数字类型 3.2 字符串类型 3.3 布尔类型 3.4 未定义数据类型 3.5 空值类型 四，运算符…...
简单介绍C++中线性代数运算库Eigen
Eigen 是一个高性能的 C 模板库，专注于线性代数、矩阵和向量运算，广泛应用于科学计算、机器学习和计算机视觉等领域。以下是对 Eigen 库的详细介绍： 1. 概述 核心功能：支持矩阵、向量运算，包括基本算术、矩阵分解&…...
原生小程序+springboot+vue+协同过滤算法的音乐推荐系统（源码+论文+讲解+安装+部署+调试）
感兴趣的可以先收藏起来，还有大家在毕设选题，项目以及论文编写等相关问题都可以给我留言咨询，我会一一回复，希望帮助更多的人。 系统背景 在数字音乐产业迅猛发展的当下，Spotify、QQ 音乐、网易云音乐等音乐平台的曲…...