数据库篇:mysql事务原理之MVCC视图+锁
wptr33 2024-12-03 04:00 21 浏览
前言
- 数据库的事务特性
- 数据并发读写时遇到的一致性问题
- mysql事务的隔离级别
- MVCC的实现原理
- 锁和隔离级别
1 数据库的事务特性
- 原子性:同一个事务里的操作是一个不可分割的,里面的 sql 要么一起执行,要不执行,是原子性
- 隔离性:数据库系统提供一定的隔离机制,保证事务在不受外部并发操作影响的“独立”环境执行。这意味着事务处理过程中的中间状态对外部是不可见的
- 一致性:在事务开始和完成时,数据约束都必须保持一致状态
- 持久性:事务完成之后,它对于数据的修改是永久性的,即使出现系统崩溃也能够保持持久
2 数据并发读写时遇到的一致性问题
- 脏读(针对未提交)两个事务同时进行,事务A修改了数据D,且事务A未提交,而事务B却可以读取到未提交的数据D,称之为脏读
- 脏写两个事务同时尝试去更新某一条数据记录时,当事务A更新时,事务A还没提交,事务B就也过来进行更新,覆盖了事务 A 提交的更新数据,这就是脏写。一般要加锁解决
- 不可重复读(针对已提交的 update)针对的是已经提交的事务修改的值,同时进行的其他事务给读取到了,事务内多次查询,多次读到的是别的已经提交的事务修改过的值,这就导致不可重复读
- 幻读(针对已提交的 insert)事务读取到事务开始之后的插入数据,例如select * from table_user where id between 1 and 10,这条sql本应查出 1~9 的数据,id=10 此时不存在,之后其他事务再插入了一条 id=10 的记录。然后当前事务再次查询则会查出 10 条记录。这就是幻读和不可重复读的区别是,不可重复读的问题是读取最新的修改,幻读是读取到最新的插入数据
3 mysql事务的隔离级别
- 读未提交(READ UNCOMITTED,RU):对应脏读,可以读取到最新未提交的修改
- 读已提交(READ COMMITTED,RC):一个事务能读取另一个事务已经提交的修改。其避免了脏读,但仍然存在不可重复读和幻读问题
- 可重复读(REPEATABLE READ,RR):同一个事务中多次读取相同的数据返回的结果是一样的。其避免了脏读和不可重复读问题,但幻读依然存在
- 串行化读(SERIALIZABLE):事务串行执行。避免了以上所有的问题
4 MVCC 的实现原理
MVCC 全称Multi-Version Concurrency Control,其好处是读不加锁,读写不冲突,并发性能好
MVCC 的 undo log 版本链
- InnoDB中每行数据都有隐藏列,隐藏列中包含了本行数据的事务ID trx_id、指向 undo log 的 roll_pointer 指针
- 基于undo log的版本链:前面说到每行数据的隐藏列中包含了指向 undo log 的指针 roll_pointer,而每条undo log 也会指向更早版本的undo log,从而形成一条版本链
readView
对于使用READ COMMITTED和REPEATABLE READ隔离级别的事务来说,都必须保证读到已提交事务修改过的记录,也就是说假如另一个事务修改了记录但尚未提交,是不能读取最新版本的记录的,其核心问题:需要判断 MVCC 版本链中的哪个版本是当前事务可见的。innodb 的解决方案 readView,readView 包含4个比较重要的属性
- m_ids:在生成ReadView时,当前系统中活跃的读写事务 id 列表
- min_trx_id:表示在生成ReadView时,当前系统中活跃的读写事务中最小的事务id,也就是m_ids中的最小值
- max_trx_id:表示生成ReadView时系统中应该分配给下一个事务的 id 值
- creator_trx_id:对应生成该ReadView 事务的id
readView 的访问步骤
- 如果被访问版本的trx_id属性值与ReadView中的creator_trx_id值相同,表示当前事务在访问它自己修改过的记录,该版本可以被当前事务访问。
- 如果被访问版本的trx_id属性值小于ReadView中的min_trx_id值,表明生成该版本的事务在当前事务生成ReadView前已经提交,所以该版本可以被当前事务访问。
- 如果被访问版本的trx_id属性值在ReadView的min_trx_id和max_trx_id之间,那就需要判断一下trx_id属性值是不是在m_ids列表中,如果在,说明创建ReadView时生成该版本的事务还是活跃的,该版本不可以被访问;如果不在,说明创建ReadView时生成该版本的事务已经被提交,该版本可以被访问
- 如果被访问版本的trx_id属性值大于或等于ReadView中的max_trx_id值,表明生成该版本的事务在当前事务生成ReadView后才开启,该版本不可被当前事务访问。反之可见
- 如果某个版本的数据对当前事务不可见的话,那就顺着版本链找到下一个版本的数据(undo log)。如果最后一个版本都不可见的话,那么就意味着该条记录对该事务完全不可见
读已提交和可重复读利用 ReadView 实现
- 快照读:读取的是快照版本,也就是历史版本 readView 里的数据 ,普通的 SELECT 就是快照读
- 当前读:读取的是最新版本,UPDATE、DELETE、INSERT、SELECT ... LOCK IN SHARE MODE、SELECT ... FOR UPDATE 是当前读,需要加锁
- READ UNCOMMITTED:直接读取记录的最新版本就好
- READ COMMITTED:每次读取数据前都生成一个ReadView针对当前读,RC 隔离级别保证对读取到的记录加锁 (记录锁),存在幻读现象
- REPEATABLE READ:在第一次读取数据时生成一个ReadView针对当前读,RR 隔离级别保证对读取到的记录加锁 (记录锁),同时保证对读取的范围加锁,新的满足查询条件的记录不能够插入 (间隙锁),不存在幻读现象RR 从严格意义上并没解决幻读。如果事务一开始先 update 一条看不见的数据(前面没有当前读操作),再查询,则会多查出这条记录,此时也是发生了幻读
5 锁和隔离级别
- RC、RR、SERIALIZABLE 级别的隔离,当前读都会需要借助锁实现
- MVCC 能实现多数情况避免幻读,但不能完全避免幻读的发生
- RR 隔离级别需要先 select ... for update 加锁进行当前读操作,才能防止幻读
- 对于SERIALIZABLE隔离级别的事务来说,InnoDB规定使用加锁的方式来访问记录
欢迎指正文中错误
参考文章
- Mysql加锁过程详解
- 探索Mysql锁机制(二)
- 深入学习MySQL事务:ACID特性的实现原理
- MySQL事务隔离级别的实现原理
本文作者:潜行前行
本文链接:https://www.cnblogs.com/cscw/p/16106338.html
相关推荐
- F103C8T6移植FATFS文件系统 版本R0.15
-
STM32F103C8T6芯片在W25Q64上移植FATFS(版本R0.15)实现过程:1、首先完成USART初始化和调试,用于传输信息到串口调试软件。2、完成SPI相关参数配置及调试,用于单片机和存...
- stm32使用MPU6050或ADXL345控制的车辆减速灯
-
本实验例程采用MPU6050六轴运动处理组件...
- STM32F103串口输出prtinf覆盖(stm32printf函数的串口输出)
-
采用正点原子的板子,有如下坑,记录如下:(1)main中应用头文件#include"stdio.h"(2)采用hal进行fputc和fgetc覆盖,如下intfputc(intc...
- STM32 学习8 USART串口通讯与printf重定向
-
一、串口通信介绍STM32F103ZET6包含多个UART、USART串口。...
- 教你如何使用SEGGER RTT优雅的实现日志系统
-
今天开始了BMS系统的软件代码部分的搭建,计划是分成三层:硬件驱动,AFE层和系统应用层。第一步肯定是先把底层的IIC通信调通,CG861xx的IIC通信和TI的BQ769X0...
- 终极调试利器,各种Link通吃(link4a调制方式)
-
今天继续更新一期KEIL调试方法。事实上,关于调试方法,鱼鹰写了一个系列,汇总文为《佛祖保佑,永无BUG,永不修改|KEIL调试系列总结篇》,对于KEIL方法感兴趣的可以看看。这个调试...
- 在 STM32 中使用 printf() 函数,别漏掉这几行代码!
-
问:在STM32上轻松使用printf函数除了点亮LED外,向串行控制台发送打印信息可能是调试嵌入式项目时最简单、最直接且最常用的技术。虽然大多数平台都拥有可以在UART总线上传输数据的API,但它们...
- 高性能异步io机制:io_uring(异步io select)
-
io_uring是linux内核5.10引入的异步io接口。相比起用户态的DPDK、SPDK,io_uring作为内核的一部分,通过mmap的方式实现用户和内核共享内存,并基于m...
- 精品博文ARM中打印函数print 的几种实现方法
-
1利用C库函数printf步骤:1)首先需要包含头文件stdio.h。2)然后定义文件句柄。实际上就是一个int型变量封装在结构体中。struct__FILE{inthandle;};3)定...
- C语言char的详解(c语言(char))
-
在C语言中,char是一种基础数据类型,用于表示字符或小整数值。对char的理解和处理非常重要,尤其是在字符串操作、文件读写或其他需要直接控制内存的应用场景中。下面从基本定义、存储方式、常见用法...
- C语言之文件操作(c语言文件操作实验总结)
-
文件操作是C语言中非常重要的功能,用于读取和写入文件中的数据。C语言提供了一组标准库函数(如fopen、fclose、fread、fwrite等)来实现文件操作。以下是针对C语言初学者的详细讲解。...
- STM32-ADC如何把采集的数据转换为小数
-
编辑一、代码原理解析这段代码围绕“STM32中ADC数据采集、整数与小数计算及串口输出”展开,核心是数据类型的使用(unsignedint/signedint/float)、ADC数...
- 循环队列原理及在单片机串口通讯中的应用(二)
-
前言书接上回,前文主要介绍了环形队列的实现原理以及C语言实现及测试过程,本文将回归到嵌入式平台的应用中,话不多说,淦,上干货!...
- STM32编程中printf函数重定向背后的原理
-
在C语言中,printf是一个非常好用的函数,尤其是在程序调试阶段,我们可以通printf打印变量的值来帮助查错。在学习C语言的时候我们的开发环境和运行环境都是PC机,printf函数打印到PC机...
- 一周热门
-
-
C# 13 和 .NET 9 全知道 :13 使用 ASP.NET Core 构建网站 (1)
-
因果推断Matching方式实现代码 因果推断模型
-
git pull命令使用实例 git pull--rebase
-
git 执行pull错误如何撤销 git pull fail
-
面试官:git pull是哪两个指令的组合?
-
git pull 和git fetch 命令分别有什么作用?二者有什么区别?
-
git fetch 和git pull 的异同 git中fetch和pull的区别
-
git pull 之后本地代码被覆盖 解决方案
-
还可以这样玩?Git基本原理及各种骚操作,涨知识了
-
git命令之pull git.pull
-
- 最近发表
- 标签列表
-
- git pull (33)
- git fetch (35)
- mysql insert (35)
- mysql distinct (37)
- concat_ws (36)
- java continue (36)
- jenkins官网 (37)
- mysql 子查询 (37)
- python元组 (33)
- mybatis 分页 (35)
- vba split (37)
- redis watch (34)
- python list sort (37)
- nvarchar2 (34)
- mysql not null (36)
- hmset (35)
- python telnet (35)
- python readlines() 方法 (36)
- munmap (35)
- docker network create (35)
- redis 集合 (37)
- python sftp (37)
- setpriority (34)
- c语言 switch (34)
- git commit (34)