Mysql InnoDB 的 隔离级别的实现

2024-08-28 05:38

本文主要是介绍Mysql InnoDB 的 隔离级别的实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

InnoDB 的 隔离级别的实现

 

InnoDB使用不同的锁定策略支持此处描述的每个事务隔离级别。

事务隔离是数据库处理的基础之一。隔离是缩写ACID中的I;隔离级别是一种设置,用于在多个事务同时进行更改和执行查询时微调性能与结果的可靠性,一致性和可重复性之间的平衡。

您可以在默认的REPEATABLE READ级别上实现高度的一致性,以实现对重要数据的操作(其中ACID遵从性很重要)。

或者,在批量报告之类的情况下,精确的一致性和可重复的结果不如最小化锁定开销重要,可以使用READ COMMITTED甚至READ UNCOMMITTED放松一致性规则。

SERIALIZABLE强制执行比REPEATABLE READ更严格的规则,并且主要用于特殊情况下,例如XA事务以及对并发和死锁问题进行故障排除。

 

不同隔离级别事务下面的锁

https://dev.mysql.com/doc/refman/5.6/en/innodb-transaction-isolation-levels.html

 

REPEATABLE READ

  1. 这是InnoDB引擎的默认隔离级别。在单个事务里面会保证一致性读取,会在第一次读的时候对数据打快照。这意味着,如果您在同一事务中发出多个普通(非锁定)SELECT语句,则这些SELECT语句彼此之间也是一致的。
  2. 对于锁定读取(使用FOR UPDATE或LOCK IN SHARE MODE进行锁定的SELECT),UPDATE和DELETE语句,锁定取决于该语句是使用具有唯一搜索条件的唯一索引还是范围类型搜索条件。
  • 对于把唯一索引作为条件的,InnoDB只会锁住被索引搜索到的数据。
  • 对于其他搜索条件,InnoDB使用Gap Locks或Next-Key Locks 来锁定扫描的索引范围,以阻止其他会话插入该范围覆盖的间隔。

 

READ COMMITTED

 

  • 即使在同一事务中,每个一致的读取都将设置并读取其自己的新快照。而不是整个事务的快照。
  • 对于锁定读取(使用FOR UPDATE或LOCK IN SHARE MODE进行锁定的读取),UPDATE语句和DELETE语句,InnoDB仅锁定索引记录,而不锁定它们之间的间隙,因此允许在锁定记录旁边自由插入新记录。 Gap locking 仅用于外键约束检查和重复键检查。由于禁用了Gap locking ,因此可能会产生幻影问题,因为其他会话可以在间隙中插入新行。

 

------------------------------ 例子 演示 ----------------------------------------------

CREATE TABLE t (a INT NOT NULL, b INT) ENGINE = InnoDB;
INSERT INTO t VALUES (1,2),(2,3),(3,2),(4,3),(5,2);
COMMIT;

在这个情况下面,这个表没有索引,,因此搜索和索引扫描使用隐藏的聚集索引进行记录锁定

------------------------------------------------------------------------------------

假设一个会话使用以下语句执行UPDATE:

# Session A

START TRANSACTION; 
UPDATE t SET b = 5 WHERE b = 3;

 

还假设第二个会话通过在第一个会话的语句之后执行以下语句来执行UPDATE:

# Session B

UPDATE t SET b = 4 WHERE b = 2;

当InnoDB执行每个UPDATE时,它首先为其读取的每一行获取一个排他锁,然后确定是否对其进行修改。如果InnoDB不修改该行,它将释放锁定。否则,InnoDB将保留该锁直到事务结束。这会影响事务处理,如下所示。

 

当使用默认的REPEATABLE READ隔离级别时,第一个UPDATE在它读取的每一行上获取一个x锁,并且不释放其中的任何一个:(这里的读取到的每一行的都上锁)

x-lock(1,2); retain x-lock
x-lock(2,3); update(2,3) to (2,5); retain x-lock
x-lock(3,2); retain x-lock
x-lock(4,3); update(4,3) to (4,5); retain x-lock
x-lock(5,2); retain x-lock

第二个UPDATE在尝试获取任何锁时立即阻塞(因为第一个更新已在所有行上保留了锁),并且直到第一个UPDATE提交或回滚后才继续进行:

x-lock(1,2); block and wait for first UPDATE to commit or roll back

 

如果改用READ COMMITTED,则第一个UPDATE在它读取的每一行上获取一个x锁,并释放未修改的行的x锁:

x-lock(1,2); unlock(1,2)
x-lock(2,3); update(2,3) to (2,5); retain x-lock
x-lock(3,2); unlock(3,2)
x-lock(4,3); update(4,3) to (4,5); retain x-lock
x-lock(5,2); unlock(5,2)

对于第二个UPDATE,InnoDB进行“半一致”读取,将它读取的每一行的最新提交版本返回给MySQL,以便MySQL可以确定该行是否与UPDATE的WHERE条件匹配:

x-lock(1,2); update(1,2) to (1,4); retain x-lock
x-lock(2,3); unlock(2,3)
x-lock(3,2); update(3,2) to (3,4); retain x-lock
x-lock(4,3); unlock(4,3)
x-lock(5,2); update(5,2) to (5,4); retain x-lock

 

但是,如果WHERE条件包含索引列,并且InnoDB使用索引,则在获取和保留记录锁时仅考虑索引列。

在下面的示例中,第一个UPDATE在b = 2的每一行上获取并保留一个x锁。第二个UPDATE在尝试获取同一记录上的x锁时会阻塞,因为它也使用在b列上定义的索引

 

CREATE TABLE t (a INT NOT NULL, b INT, c INT, INDEX (b)) ENGINE = InnoDB;
INSERT INTO t VALUES (1,2,3),(2,2,4);
COMMIT;# Session A
START TRANSACTION;
UPDATE t SET b = 3 WHERE b = 2 AND c = 3;# Session B
UPDATE t SET b = 4 WHERE b = 2 AND c = 4;

    使用READ COMMITTED具有其他效果:

  • 对于UPDATE或DELETE语句,InnoDB仅对其更新或删除的行持有锁。MySQL评估WHERE条件后,将释放不匹配行的记录锁。这大大降低了死锁的可能性,但是仍然可以发生。
  • 对于UPDATE语句,如果某行已被锁定,则InnoDB将执行“半一致”读取,将最新的提交版本返回给MySQL,以便MySQL可以确定该行是否与UPDATE的WHERE条件匹配。如果该行匹配(必须更新),则MySQL会再次读取该行,这一次InnoDB将其锁定或等待对其进行锁定。

READ UNCOMMITTED

 

SELECT语句以非锁定方式执行,但是可能会使用行的早期版本。因此,使用此隔离级别,此类读取不一致。这也称为脏读。

SERIALIZABLE

 

这个级别类似与可重复读,如果自动提交被关闭的下,但是InnoDB会隐式的为Selete语句添加上共享锁。如果开启了自动提交,那么这个select就是一个事务。因此,它被认为是只读的,如果作为一致(非锁定)读取执行并且不需要阻塞其他事务,则可以序列化(如果其他事务已修改所选行,则要强制普通SELECT阻止,请禁用自动提交。)

 

ReadCommited 与 RepeatableRead区别

1. 对于没有锁的Select,RC 会为每一个语句建立起自己的快照,而在RR里面,同一个事务里面的同一个语句共同拥有一份快照。

2. 对于待有for update 的select 、 update、 delete。RC只会锁住当前查询到的行,所以可以新增行不会被锁定,只会进行外键约束检查和重复键检查。而在RRwhere语句是唯一索引的情况下才会值锁定对应的行,如果是普通的不带有索引的数据行,会用gap锁和next-key锁。

 

这篇关于Mysql InnoDB 的 隔离级别的实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1113879

相关文章

Java使用SLF4J记录不同级别日志的示例详解

《Java使用SLF4J记录不同级别日志的示例详解》SLF4J是一个简单的日志门面,它允许在运行时选择不同的日志实现,这篇文章主要为大家详细介绍了如何使用SLF4J记录不同级别日志,感兴趣的可以了解下... 目录一、SLF4J简介二、添加依赖三、配置Logback四、记录不同级别的日志五、总结一、SLF4J

使用Python实现一个优雅的异步定时器

《使用Python实现一个优雅的异步定时器》在Python中实现定时器功能是一个常见需求,尤其是在需要周期性执行任务的场景下,本文给大家介绍了基于asyncio和threading模块,可扩展的异步定... 目录需求背景代码1. 单例事件循环的实现2. 事件循环的运行与关闭3. 定时器核心逻辑4. 启动与停

基于Python实现读取嵌套压缩包下文件的方法

《基于Python实现读取嵌套压缩包下文件的方法》工作中遇到的问题,需要用Python实现嵌套压缩包下文件读取,本文给大家介绍了详细的解决方法,并有相关的代码示例供大家参考,需要的朋友可以参考下... 目录思路完整代码代码优化思路打开外层zip压缩包并遍历文件:使用with zipfile.ZipFil

Python实现word文档内容智能提取以及合成

《Python实现word文档内容智能提取以及合成》这篇文章主要为大家详细介绍了如何使用Python实现从10个左右的docx文档中抽取内容,再调整语言风格后生成新的文档,感兴趣的小伙伴可以了解一下... 目录核心思路技术路径实现步骤阶段一:准备工作阶段二:内容提取 (python 脚本)阶段三:语言风格调

C#实现将Excel表格转换为图片(JPG/ PNG)

《C#实现将Excel表格转换为图片(JPG/PNG)》Excel表格可能会因为不同设备或字体缺失等问题,导致格式错乱或数据显示异常,转换为图片后,能确保数据的排版等保持一致,下面我们看看如何使用C... 目录通过C# 转换Excel工作表到图片通过C# 转换指定单元格区域到图片知识扩展C# 将 Excel

基于Java实现回调监听工具类

《基于Java实现回调监听工具类》这篇文章主要为大家详细介绍了如何基于Java实现一个回调监听工具类,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录监听接口类 Listenable实际用法打印结果首先,会用到 函数式接口 Consumer, 通过这个可以解耦回调方法,下面先写一个

使用Java将DOCX文档解析为Markdown文档的代码实现

《使用Java将DOCX文档解析为Markdown文档的代码实现》在现代文档处理中,Markdown(MD)因其简洁的语法和良好的可读性,逐渐成为开发者、技术写作者和内容创作者的首选格式,然而,许多文... 目录引言1. 工具和库介绍2. 安装依赖库3. 使用Apache POI解析DOCX文档4. 将解析

Qt中QGroupBox控件的实现

《Qt中QGroupBox控件的实现》QGroupBox是Qt框架中一个非常有用的控件,它主要用于组织和管理一组相关的控件,本文主要介绍了Qt中QGroupBox控件的实现,具有一定的参考价值,感兴趣... 目录引言一、基本属性二、常用方法2.1 构造函数 2.2 设置标题2.3 设置复选框模式2.4 是否

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符(formatspecifier)快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指

springboot整合阿里云百炼DeepSeek实现sse流式打印的操作方法

《springboot整合阿里云百炼DeepSeek实现sse流式打印的操作方法》:本文主要介绍springboot整合阿里云百炼DeepSeek实现sse流式打印,本文给大家介绍的非常详细,对大... 目录1.开通阿里云百炼,获取到key2.新建SpringBoot项目3.工具类4.启动类5.测试类6.测