mysql RR、RC隔离级别实现原理

2024-02-09 15:04

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

事务隔离级别实现过程

快照读(select语句)

  1. 获取事务自己版本号,即事务 ID
  2. 获取 Read View 
  3. 查询得到数据,然后 Read View 中事务版本号进行比较。
  4. 如果不符合 Read View 可见性规则(看最新数据还是副本里的数据), 即就需要 Undo log 中历史快照;
  5. 最后返回符合规则数据。

当前读(insert、update、delete,select for update、share mode)

RR原理

  • 快照读

MVCC:第一次快照读时生成 ReadView,事务提交时销毁。

  • 当前读

LBCC 使用了当前元素的临键锁(左开右闭) + 相邻间隙锁,直到事务结束才释放。

RR如何解决不可重复读?

LBCC保证并发事务的安全,一次只能一个事务去操作。

RR如何解决脏读?

LBCC保证并发事务的安全,并且规定了一次事务提交完之后另外一个事务才可以操作。

RR为什么没有办法保证幻读?

ReadView无法保证并发事务下读到数据的一致性,有可能多了也有可能少了。

LBCC的锁机制可以保证并发事务下写写的数据准确,即保证数据修改的安全性。

RC原理

  • 快照读

MVCC,每次快照读时都生成 ReadView,读完就销毁

  • 当前读

LBCC:记录锁(RC 不支持 Gap Lock),直到事务结束才释放,记录锁只锁单条记录

RC如何解决脏读?

LBCC保证并发事务的安全,并且规定了一次事务提交完之后另外一个事务才可以操作。

RC为什么不能解决不可重复读?

如何选RR或者RC?

       保证并发场景下,使用RC高过RR,RC的锁的粒度是只有一行,RR是多行的锁。

       保证数据场景下,优先RR级别,RC无法保证update情况下可读的一致性,对于大批量的update同步操作可能会引发乱序的问题。

MVCC

采用乐观锁实现,它通过对不同事务生成不同的快照版本,通过UNDO版本链进行管理并且在MVCC里面,规定了高版本能够看到低版本的事务变更,低版本看不到高版本的事务变更,从而实现了不同事务之间的数据隔离。只要存在多个事务下写写场景下必阻塞,提高读的并发度。

LBCC

间隙锁

间隙锁是一种加在两个索引之间的锁,或者加在第一个索引之前,或最后一个索引之后的间隙。它锁住的是一个区间,而不仅仅是这个区间中的每一条数据。只存在于RR隔离级别下,它锁住的是间隙内的数据。加完锁之后,间隙中无法插入其他记录,并且锁的是记录间隙,而非sql语句。间隙锁之间都不存在冲突关系。

记录锁

记录锁存在于包括主键索引在内的唯一索引中,锁定单条索引记录。没有,则隐式创建索引来实施记录锁。

临键锁

记录锁和间隙锁的组合,它指的是加在某条记录以及这条记录前面间隙上的锁。符合左开右闭原则。临键锁阻止特定条件的新记录的插入,因为插入时要获取插入意向锁,与已持有的临键锁冲突。

插入意向锁

是插入一行记录操作之前设置的一种间隙锁,这个锁释放了一种插入方式的信号。 它解决的问题:多个事务,在同一个索引,同一个范围区间插入记录时,如果插入的位置不冲突,不会阻塞彼此。

自增锁

是一种特殊的表级别锁。它是专门针对 AUTO_INCREMENT 类型的列,对于这种列,如果表中新增数据时就会去持有自增锁。简言之,如果一个事务正在往表中插入记录,所有其他事务的插入必须等待,以便第一个事务插入的行, 是连续的主键值。

共享锁(共享锁和排它锁是互斥)

简称为 S 锁,在事务要读取一条记录时,需要先获取该记录的 S 锁。

排他锁(共享锁和排它锁是互斥)

简称 X 锁,在事务需要改动一条记录时,需要先获取该记录的 X 锁。

意向锁

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



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

相关文章

Java StringBuilder 实现原理全攻略

《JavaStringBuilder实现原理全攻略》StringBuilder是Java提供的可变字符序列类,位于java.lang包中,专门用于高效处理字符串的拼接和修改操作,本文给大家介绍Ja... 目录一、StringBuilder 基本概述核心特性二、StringBuilder 核心实现2.1 内部

Android实现图片浏览功能的示例详解(附带源码)

《Android实现图片浏览功能的示例详解(附带源码)》在许多应用中,都需要展示图片并支持用户进行浏览,本文主要为大家介绍了如何通过Android实现图片浏览功能,感兴趣的小伙伴可以跟随小编一起学习一... 目录一、项目背景详细介绍二、项目需求详细介绍三、相关技术详细介绍四、实现思路详细介绍五、完整实现代码

SpringBoot AspectJ切面配合自定义注解实现权限校验的示例详解

《SpringBootAspectJ切面配合自定义注解实现权限校验的示例详解》本文章介绍了如何通过创建自定义的权限校验注解,配合AspectJ切面拦截注解实现权限校验,本文结合实例代码给大家介绍的非... 目录1. 创建权限校验注解2. 创建ASPectJ切面拦截注解校验权限3. 用法示例A. 参考文章本文

SpringBoot集成redisson实现延时队列教程

《SpringBoot集成redisson实现延时队列教程》文章介绍了使用Redisson实现延迟队列的完整步骤,包括依赖导入、Redis配置、工具类封装、业务枚举定义、执行器实现、Bean创建、消费... 目录1、先给项目导入Redisson依赖2、配置redis3、创建 RedissonConfig 配

Python的Darts库实现时间序列预测

《Python的Darts库实现时间序列预测》Darts一个集统计、机器学习与深度学习模型于一体的Python时间序列预测库,本文主要介绍了Python的Darts库实现时间序列预测,感兴趣的可以了解... 目录目录一、什么是 Darts?二、安装与基本配置安装 Darts导入基础模块三、时间序列数据结构与

Python使用FastAPI实现大文件分片上传与断点续传功能

《Python使用FastAPI实现大文件分片上传与断点续传功能》大文件直传常遇到超时、网络抖动失败、失败后只能重传的问题,分片上传+断点续传可以把大文件拆成若干小块逐个上传,并在中断后从已完成分片继... 目录一、接口设计二、服务端实现(FastAPI)2.1 运行环境2.2 目录结构建议2.3 serv

C#实现千万数据秒级导入的代码

《C#实现千万数据秒级导入的代码》在实际开发中excel导入很常见,现代社会中很容易遇到大数据处理业务,所以本文我就给大家分享一下千万数据秒级导入怎么实现,文中有详细的代码示例供大家参考,需要的朋友可... 目录前言一、数据存储二、处理逻辑优化前代码处理逻辑优化后的代码总结前言在实际开发中excel导入很

SpringBoot+RustFS 实现文件切片极速上传的实例代码

《SpringBoot+RustFS实现文件切片极速上传的实例代码》本文介绍利用SpringBoot和RustFS构建高性能文件切片上传系统,实现大文件秒传、断点续传和分片上传等功能,具有一定的参考... 目录一、为什么选择 RustFS + SpringBoot?二、环境准备与部署2.1 安装 RustF

Nginx部署HTTP/3的实现步骤

《Nginx部署HTTP/3的实现步骤》本文介绍了在Nginx中部署HTTP/3的详细步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录前提条件第一步:安装必要的依赖库第二步:获取并构建 BoringSSL第三步:获取 Nginx

MySQL的JDBC编程详解

《MySQL的JDBC编程详解》:本文主要介绍MySQL的JDBC编程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录前言一、前置知识1. 引入依赖2. 认识 url二、JDBC 操作流程1. JDBC 的写操作2. JDBC 的读操作总结前言本文介绍了mysq