【每日八股】复习 MySQL Day1:事务
文章目录
- 复习 MySQL Day1:事务
- MySQL 事务的四大特性?
- 并发事务会出现什么问题?
- MySQL 事务的隔离级别?
- 不同事务隔离级别下会发生什么问题?
- MVCC 的实现原理?
- 核心数据结构
- 版本链构建示例
- 可见性判断算法
- MVCC 可见性判断总结
- 幻读如何解决?
- 读已提交隔离级别如何实现?
复习 MySQL Day1:事务
MySQL 事务的四大特性?
- 原子性:事务当中的若干条数据库操作要么全部成功,要么全部失败;
- 一致性:数据库总是从一个一致性的状态迁移到另一个一致性的状态;
- 隔离性:事务提交之前,对数据库做出的更改对其他事务不可见;
- 持久性:事务提交之后就会被持久化到磁盘当中。
并发事务会出现什么问题?
指的主要是由 MySQL 隔离级别的不同带来的若干问题。
- 脏读:事务还未提交,其所做的修改就已经可以被其他事务所读取了;
- 不可重复读:事务开始时读取的数据与事务执行过程中读取到的数据不同;
- 幻读:通常发生在区间查询的场景下,指的是在一个事务执行期间内,上一次范围查询读取到的数据与本次范围查询读取到的数据不一致,其发生的原因可能是在事务执行期间有其他事务向第一次查询的数据区间当中插入了新的数据。
MySQL 事务的隔离级别?
- 读未提交:事务还未提交,其他事务就可看到其所做的更改,隔离级别最低;
- 读已提交:事务提交之后,其所做的更改才能够被其他事务所看到。在读已提交隔离级别下,当前事务可以看到其他事务执行完成后所做的修改;
- 可重复读:MySQL InnoDB 数据引擎的默认隔离级别,指的是从事务开始到事务结束期间,读取到的数据都是一致的;
- 串行化:对记录加上读写锁,在多个事务进行读写的过程中,如果发生了锁冲突,那么当前事务必须等上一个事务读写完成方可进行读写。串行化不存在并发事务的问题,但它的并发性能最差。
不同事务隔离级别下会发生什么问题?
- 读未提交:脏读、不可重复读、幻读;
- 读已提交:不可重复读、幻读;
- 可重复读:幻读;
- 串行化:不存在并发事务的问题;
MVCC 的实现原理?
MVCC 是数据库实现并发控制的关键技术,InnoDB 数据引擎通过 MVCC 实现读操作的并发,极大提高了数据库的并发性能。
核心数据结构
隐藏字段
InnoDB 为每行记录添加了以下隐藏字段:
- DB_TRX_ID:记录创建或最后一次修改该行记录的事务 ID;
- DB_ROLL_PTR:回滚指针,指向 undo log 记录;
- DB_ROW_ID:隐含的自增行 ID;
- DELETE BIT:记录该行是否删除。
Undo Log(回滚日志)
- 存储行记录的历史版本;
- 组成版本链,通过 DB_ROLL_PTR 指针连接;
- 用于事务回滚与 MVCC 读取。
Read View(读视图)
- m_ids:生成 Read View 时活跃的事务 ID 列表;
- min_trx_id:m_ids 中的最小事务 ID;
- max_trx_id:m_ids 中的最大事务 ID;
- create_trx_id:创建该 Read View 的事务 ID。
版本链构建示例
- 每次更新操作都会在 undo log 记录旧数据版本;
- 通过 DB_ROLL_PTR 指针形成单向链表;
- 链表头是最新版本,尾部是最旧版本。
可见性判断算法
比较 DB_TRX_ID 与 creator_trx_id
如果相等,说明当前记录是该事务自身修改的事务,对当前事务可见。
检查 DB_TRX_ID < min_trx_id
说明这条记录在当前 Read View 生成之前已经提交,对当前事务可见。
检查 DB_TRX_ID >= max_trx_id
说明这条记录是在 Read View 生成之后创建的,对当前事务不可见。
检查 DB_TRX_ID 是否在 m_ids 事务活跃列表当中
- 存在:生成 Read View 时当前记录仍活跃,对当前事务不可见;
- 不存在:最后一次修改该条记录的事务已提交,对当前事务可见;
MVCC 可见性判断总结
总的来说,针对基于 MVCC 的事务可见性判断,关键的字段包括以下几个:
- 对于记录,每一条记录都有一个隐式的 DB_TRX_ID 字段,用于记录最后一个修改这条记录的事务 ID;
- 对于 SELECT 操作生成的 Read View,其隐式包含以下几个字段:
1)m_ids:Read View 生成时活跃的事务 ID 列表;
2)min_trx_id:m_ids 中最小的事务 ID;
3)max_trx_id:m_ids 中最大的事务 ID;
4)create_trx_id:创建这个 Read View 的事务 ID。
可见性判断的算法流程如下:
- 首先对比记录的 DB_TRX_ID 和 creator_trx_id,相等则代表该记录最后一次由当前视图修改,对该事务可见;
- 之后再比对 DB_TRX_ID 和 min_trx_id 以及 max_trx_id 的大小,如果小于 min_trx_id,说明修改该记录的事务在生成 Read View 时已提交,对当前事务可见;如果大于 max_trx_id,说明修改该记录的事务在当前事务之后创建,其所做的修改对当前事务不可见,通过 DB_ROLL_PTR 找到该记录的上一个版本。
- 最后查看 DB_TRX_ID 是否在 m_ids 当中,如果在,说明修改这条记录的事务在活跃列表当中,该记录的当前版本对当前事务不可见;否则说明修改该记录的事务已经提交,这条记录对当前事务可见。
幻读如何解决?
通过快照读(一致性非锁定读)
对于普通的 SELECT 查询语句,InnoDB 使用 MVCC 提供一致性视图,避免看到其他事务插入的数据。
使用间隙锁(Gap Lock)和临键锁(Next-Key Lock)
InnoDB 在可重复读隔离级别下通过以下方式防止幻读:
- 间隙锁(Gap Lock):锁定索引记录之间的间隙;
- 临键锁(Next-Key Lock):临键锁是记录锁(行锁)+ 间隙锁的组合,锁定记录及其前面的间隙。
一个基于间隙锁 + 临键锁防止幻读的例子如下:
-- 事务1
BEGIN;
SELECT * FROM users WHERE age > 20 FOR UPDATE; -- 锁定age>20的所有记录和间隙
-- ⬆️ 显式地使用区间锁锁定一个范围, 避免在范围内有新记录插入
-- 此时事务2尝试插入age>20的记录会被阻塞
INSERT INTO users(name, age) VALUES('new_user', 25); -- 阻塞
总结
使用「MVCC 版本控制」或「间隙锁 + 临键锁」这两种方式可以避免幻读的问题。
读已提交隔离级别如何实现?
在读已提交隔离级别下,每次执行 SELECT 语句都会创建一个 Read View。创建 Read View 时已经提交的事务所做的修改对当前事务是可见的(会导致不可重复读问题),但未提交以及当前事务之后的事务所做的修改不可见。
相关文章:
【每日八股】复习 MySQL Day1:事务
文章目录 复习 MySQL Day1:事务MySQL 事务的四大特性?并发事务会出现什么问题?MySQL 事务的隔离级别?不同事务隔离级别下会发生什么问题?MVCC 的实现原理?核心数据结构版本链构建示例可见性判断算法MVCC 可…...
【数据结构和算法】1. 数据结构和算法简介、二分搜索
本文根据 数据结构和算法入门 视频记录 文章目录 1. 数据结构和算法简介1.1 什么是数据结构?什么是算法?1.2 数据结构和算法之间的关系1.3 “数据结构和算法”有那么重要吗? 2. 二分搜索(Binary Search)2.1 算法概念2…...
4月19日记(补)算了和周日一块写了 4月20日日记
周六啊 昨天晚上又玩的太嗨了。睡觉的时候有点晚了,眼睛疼就没写日记。现在补上 实际上现在是20号晚上八点半了。理论上来说应该写今天的日记。 周六上午打比赛啦,和研究生,输了,我是替补没上场。没关系再练一练明天就可以变强…...
面试常用基础算法
目录 快速排序归并排序堆排序 n n n皇后问题最大和子数组爬楼梯中心扩展法求最长回文子序列分割回文串动态规划求最长回文子序列最长回文子串单调栈双指针算法修改 分割回文串滑动窗口栈 快速排序 #include <iostream> #include <algorithm>using namespace std;…...
微服务与 SOA:架构异同全解析与应用指南
微服务和 SOA(面向服务的架构)是两种不同的软件架构风格,它们在很多方面存在相似之处,但也有一些区别。以下是对它们的详细介绍: 一、概念 1.微服务 微服务架构将一个大型应用程序拆分成多个小型、独立的服务&#…...
Dijkstra 算法入门笔记 (适用于算法竞赛初学者) - C++ 代码版
目录 算法是做什么的?核心思想:贪就完事了!算法前提:不能有负权边!需要哪些工具?(数据结构)算法具体步骤关键操作:松弛 (Relaxation)两种实现方式 (C 代码) 朴素版 Dijkstra (O(V^2))堆优化版 …...
脑影像分析软件推荐| GraphVar介绍
目录 1.软件界面 2.工具包功能简介 3.软件安装注意事项 1.软件界面 2.工具包功能简介 GraphVar是一个用户友好的 MATLAB 工具箱,用于对功能性大脑连接进行全面的图形分析。这里我们介绍了该工具箱的全面扩展,使用户能够无缝探索跨功能连接测量的可轻…...
如何优雅地实现全局唯一?深入理解单例模式
如何优雅地实现全局唯一?深入理解单例模式 一、什么是单例模式? 单例模式是一种创建型设计模式,旨在确保一个类只有一个实例,并为该实例提供全局访问点,从而避免全局变量的命名污染,并支持延迟初始化Wiki…...
【Flutter】使用LiveKit和Flutter构建实时视频聊天应用
引言 在当今快速发展的数字世界中,实时视频通信已成为许多应用程序的核心功能。无论是远程工作、在线教育还是社交网络,高质量的实时视频功能都至关重要。LiveKit作为一个开源的WebRTC解决方案,提供了构建可扩展实时音视频应用所需的一切工具…...
Android Jetpack Compose 状态管理解析:remember vs mutableStateOf,有啥不一样?为啥要一起用?
🌱《Jetpack Compose 状态管理解析:remember vs mutableStateOf,有啥不一样?为啥要一起用?》 在 Jetpack Compose 的世界里,UI 是响应式的。这意味着当状态发生变化时,UI 会自动重组࿰…...
QT6 源(37):界面组件的总基类 QWidget 的源码阅读(下,c++ 代码部分)
(1) QT 在 c 的基础上增加了自己的编译器,以支持元对象系统和 UI 界面设计,有 MOC 、 UIC 等 QT 自己的编译器。本节的源代码里,为了减少篇幅,易于阅读,去除了上篇中的属性部分, 上篇…...
进程与线程:01 CPU管理的直观想法
多进程图像与操作系统核心 好从今天开始,我们就要开始学习操作系统,最核心的图像是多进程图像。前面我们讲过,多进程图像对操作系统来说非常重要,它是操作系统的核心图像。明白了它以后,对于理解操作系统的一大部分内…...
19. git reflog
基本概述 git reflog 的作用是:查看本地仓库的引用日志(reference log),例如分支、HEAD等。它可以帮助你找回误删的提交、恢复被覆盖的分支,或回溯操作历史。 基本用法 1.查看完整的reflog git reflog这会显示所有…...
C语言 —— 铭纹织构未诞之镜 - 预处理详解
目录 1. 什么是预处理(预编译) 编辑 2. 预定义符号 3. #define 定义常量 4. #define定义宏 5. 带副作用的宏参数 6. 宏替换的规则 7. 宏和函数的对比 8. #和## 8.1 #运算符 8.2 ## 运算符 9. #undef 10. 条件编译 1. 什么是预处理…...
Linux 文件系统目录结构详解
Linux 文件系统目录结构详解 Linux 文件系统遵循 Filesystem Hierarchy Standard (FHS) 标准,定义了各个目录的用途和文件存放规则。无论是开发者、运维工程师还是普通用户,理解这些目录的作用都至关重要。本文将全面解析 Linux 的目录结构,…...
2025-4-19 情绪周期视角复盘(mini)
我本以为市场进化规律下产生龙头战法的末法时代导致情绪周期逐步混乱或者说混沌期漫长。所谓的市场进化无非也是量化的发展和各类资金逐步量化化的充分博弈下的结果。通过逐步向上思考发现,不仅仅我们的市场是处于一个存量的时代背景,重要的是我们的思维…...
-实用类-
1. API是什么 2.什么是枚举 !有点类似封装! 2.包装类 注意: 1.Boolean类构造方法参数为String类型时,若该字符串内容为true(不考虑大小写),则该Boolean对象表示true,否则表示false 2.当包装类构造方法参…...
Unity3D仿星露谷物语开发36之锄地动画2
1、目标 当角色锄地之后,地面会显示开垦后的样貌。 2、思路 上一篇中,虽然角色dig了hoe,同时grid属性也改变了,但是没有任何可视化的反馈。我们现在将添加新的功能,动态地将"dug ground"瓷砖添加到"…...
【备考高项】模拟预测题(一)案例分析及答案详解
更多内容请见: 备考信息系统项目管理师-专栏介绍和目录 文章目录 试题一【问题 1】(10分)【问题 2】(5分)【问题 3】(4分)【问题 4】(6分)试题二【问题 1】(12分)【问题 2】(3分)【问题 3】(6分)【问题 4】(4分)试题三【问题 1】(4分)【问题 2】(10分)【问题 3】…...
7、sentinel
控制台访问地址:http://localhost:8080/ 依赖 <dependency><groupId>com.alibaba.cloud</groupId><artifactId>spring-cloud-starter-alibaba-sentinel</artifactId> </dependency>配置文件 spring:cloud:sentinel:transpo…...
状态管理最佳实践:Provider使用技巧与源码分析
状态管理最佳实践:Provider使用技巧与源码分析 前言 Provider是Flutter官方推荐的状态管理解决方案,它简单易用且功能强大。本文将从实战角度深入讲解Provider的使用技巧和源码实现原理,帮助你更好地在项目中应用Provider进行状态管理。 基…...
INFINI Console 系统集群状态异常修复方案
背景介绍 运行 INFINI Console 1.29.0 和 1.29.1 版本 的用户在 新初始化 平台后可能会遇到一个特定问题。如果后台的系统 Easysearch/Elasticsearch 集群(存储 Console 元数据的集群,通常名为 .infini_cluster 或类似名称)包含超过一个节点…...
Spring Boot自动装配原理(源码详细剖析!)
什么是Spring Boot的自动装配? 自动装配是Spring Boot的核心功能,它能够根据应用程序的依赖和配置自动配置Spring。这意味着我们只需要添加大量的依赖,Spring Boot就能自动完成配置,减少了人工配置的工作量。 自动装配的核心注…...
大数据驱动的高效能量管理:智能优化与实践探索
大数据驱动的高效能量管理:智能优化与实践探索 在全球能源需求不断增长的背景下,如何提高能源利用效率成为各行业关注的焦点。传统的能源管理方式往往依赖固定规则和人工监测,难以适应复杂多变的应用场景。而大数据技术的兴起,为能量管理提供了新的解决方案——通过数据驱…...
《银行数字化风控-业务于实战》读后知识总结
引言 在金融科技高速发展的今天,银行的风控体系正经历从“人工经验驱动”向“数据智能驱动”的深刻变革。《银行数字化风控-业务于实战》一书以实战为导向,系统性地剖析了数字化风控的核心逻辑、技术实现路径及业务落地方法论。作为深耕风控领域多年的从…...
初级达梦dba的技能水准
在x86环境(windows、linux)安装单机软件,安装客户端创建过至少20套数据库,优化参数并更新过正式许可会用逻辑导出导入以及dmrman备份了解manager工具的使用配置sqllog日志,并能解释输出内容能够分析因磁盘空间不足、内…...
C++初阶-类和对象(中)
目录 1.类的默认成员函数 2.构造函数(难度较高) 编辑 编辑 编辑 3.析构函数 4.拷贝构造函数 5.赋值运算符重载 5.1运算符重载 5.2赋值运算符重载 6.取地址运算符重载 6.1const成员函数 6.2取地址运算符重载 7.总结 1.类的默认成员函数…...
Linux网络UDP与TCP
基础知识 传输层 负责数据能够从发送端传输接收端。 端口号(Port)标识了一个主机上进行通信的不同的应用程序; 在 TCP/IP 协议中, 用 “源 IP”, “源端口号”, “目的 IP”, “目的端口号”, “协议号” 这样一个五元组来标识一个通信(可以通过 netstat -n 查看); 端口号范…...
23、.NET和C#有什么区别?
1、定义与范畴 .NET 定义 .NET 是一个由微软开发的开发平台(Platform),它提供了一套完整的工具、库和运行时环境,用于构建各种类型的应用程序。 范畴 包括 .NET Framework、.NET Core(现称为 .NET 5 及以上版本&a…...
Qt6离线安装过程
Qt6离线安装过程 说明解决方案联网笔记本安装qt6拷贝到离线电脑修改qtenv2.bat文件 说明 现在qt6已经不能通过离线的方式下载安装包安装了,只能通过登陆的方式在线安装,但是,又有离线安装运行的需求,那么怎么办呢?请跟…...
如何在 Go 中创建和部署 AWS Lambda 函数
AWS Lambda 是一个无服务器计算平台,您可以使用自己喜欢的编程语言编写代码,无需担心设置虚拟机。 您只需为 Lambda 函数的调用次数和运行时间(毫秒)付费。 我们大多数人都了解 JavaScript 和 Python,但它们的内存效率…...
【后端】【Django】Django 模型中的 `clean()` 方法详解:数据校验的最后防线
Django 模型中的 clean() 方法详解:数据校验的最后防线 在 Django 的模型系统中,我们经常使用字段级别的校验器(validators)来约束某个字段的取值范围。但当校验逻辑涉及多个字段之间的关系时,字段级别校验就无能为力…...
内存管理详解(曼波脑图超详细版!)
(✪ω✪)曼波来解答三连问啦!准备好内存知识大礼包了吗?(≧∇≦)ノ ━━━━━━━━━━━━━ ฅ^•ω•^ฅ ━━━━━━━━━━━ 一、内存分配详解 (๑>ᴗ<๑) (1) 栈内存 → 像便签纸📝 void calculate() {int a …...
【2025最新redis数据结构之Hypeloglog介绍】关于Hypeloglog
HyperLogLog (HLL) 算法深度解析 一、HLL 基本概念 HyperLogLog 是一种用于基数统计(distinct counting)的概率算法,能够在极小内存占用下(通常只需几KB)估算巨大数据集的基数(不重复元素数量)…...
软考复习——知识点软件开发
开发模型 瀑布模型 各个活动规定为线性顺序连接的若干阶段的模型。是一种理想的现象开发模型,缺乏灵活性,无法理解软件需求不明确或不准确的问题。适用于需求明确的项目。 演化模型 从初始的原型逐步演化成最终软件产品,特别适用于对软件…...
关于AI:记忆、身份和锁死
作者:John Battelle 当生成式AI迎来投资热潮、产品发布和炒作高峰时,我们大多数人在奔向“下一个大事件”的过程中,忽略了一个深层次的缺陷。我们现在主流的AI产品和服务(比如OpenAI、Google和Microsoft的产品)都是通过…...
2024新版仿蓝奏云网盘源码,已修复已知BUG,样式风格美化,可正常运营生产
说起网盘源码,网络上出现的也很多,不过可真正正能够用于运营的少之又少。今天将的蓝奏云网盘源码,其实网络上也有,不过是残缺版,bug很多。我今天分享的仿蓝奏云模板是经过长时间测试修复后的源码,源码实测可…...
OJ - 设计循环队列
622. 设计循环队列 - 力扣(LeetCode) 循环队列是一种线性数据结构,其操作表现基于 FIFO(先进先出)原则,并且队尾被连接在队首之后以形成一个循环。它也被称为“环形缓冲器”。 循环队列的一个好处是我们可…...
实战指南:封装Faster-Whisper为FastAPI接口并实现高并发处理-附整合包
实战指南:封装Faster-Whisper为FastAPI接口并实现高并发处理-附整合包 「faster-whisper」 链接:https://pan.quark.cn/s/d4ddffb1b196 标题下面提供一个完整的示例,说明如何使用 FastAPI 封装 faster-whisper 接口,对外提供 RES…...
011数论——算法备赛
素数筛 给定n, 求2~n内的所有素数 埃氏筛 利用素数的定义, 输出素数2,然后筛掉2的倍数,得 {2,3,5,7,9,11,13,…}输出素数3,然后筛掉3的倍数,得 {2,3,5,7,11,13,…} 继续上述步骤࿰…...
C语言之机房机位预约系统
🌟 嗨,我是LucianaiB! 🌍 总有人间一两风,填我十万八千梦。 🚀 路漫漫其修远兮,吾将上下而求索。 C语言之机房机位预约系统 目录 博客:机房机位预约系统设计与实现 系统功能概述…...
中间件--ClickHouse-14--案例-3-其他案例思路概述
1、广告投放效果分析 案例背景: 一家广告平台需要分析广告的点击、曝光、转化等数据,以优化广告投放策略并提升 ROI(投资回报率)。 解决方案: 数据接入:将广告投放相关的数据(如曝光、点击、…...
saas是什么?它做什么用的。及和Paas和laas有什么区别
Saas是什么?它做什么用的。及和Paas和laas有什么区别 提示:帮帮志会陆续更新非常多的IT技术知识,希望分享的内容对您有用。本章分享的是行业内容。前后每一小节的内容是存在的有:学习and理解的关联性,希望对您有用~ 文…...
Qt基础005(文件操作后续)
文章目录 QFileDialogQFileDialog打开开发案例QFileDialog保存开发案例实现文件打开功能开发流程打开功能优化 QComboBoxQListExtraSelection 简介 QFileDialog QFileDialog打开开发案例 #include <QApplication> #include <QFileDialog> #include <QStringLi…...
松灵Cobot Magic双臂具身遥操机器人(基于ROS的定位建图与协同导航技术)
摘要 本文以CobotMagic可移动协作机器人为研究对象,从硬件架构设计、软件系统架构、多传感器融合定位建图系统、智能导航系统协同机制四个维度,深入解析机器人系统工作原理。重点研究多传感器融合定位建图系统实现原理,结合实测数据验证系统…...
AI——神经网络以及TensorFlow使用
文章目录 一、TensorFlow安装二、张量、变量及其操作1、张量Tensor2、变量 三、tf.keras介绍1、使用tf.keras构建我们的模型2、激活函数1、sigmoid/logistics函数2、tanh函数3、RELU函数4、LeakReLu5、SoftMax6、如何选择激活函数 3、参数初始化1、bias偏置初始化2、weight权重…...
实现对象之间的序列化和反序列化
1.什么是序列化? 在项目的开发中,为了让前端更好的分析后端返回的结果,我们一般会将返回的信息进行序列化,序列化就是将返回对象的状态信息转换为一种标准化的格式,方便在网络中传输也方便打印日志时号观察࿰…...
QML中日期处理类
在 QML 中处理日期和时间主要使用 JavaScript 的 Date 对象以及 Qt 提供的一些相关功能。以下是常用的日期处理方式: 1. JavaScript Date 对象 QML 可以直接使用 JavaScript 的 Date 对象: qml // 创建当前日期时间 var currentDate new Date()// 创…...
基于docker-java封装的工具类
基于docker-java封装的工具类 背景环境工具类 背景 写OJ系统时需要用docker作为代码沙箱使用,顺手封装了一个工具类,给自己做个笔记,如果可以的话也希望帮助到其他人。 环境 docker 26.1.4docker-java 3.4.2docker-java-transport-httpcli…...
windows docker desktop 无法访问容器端口映射
为什么使用docker desktop访问映射的端口失败,而其端口对应的服务是正常的? 常见问题,容器的防火墙没有关闭!!! 以centos7为例,默认情况下防火墙处于开启状态: 这下访问就OK了...