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

相关文章

C#借助Spire.XLS for .NET实现在Excel中添加文档属性

《C#借助Spire.XLSfor.NET实现在Excel中添加文档属性》在日常的数据处理和项目管理中,Excel文档扮演着举足轻重的角色,本文将深入探讨如何在C#中借助强大的第三方库Spire.... 目录为什么需要程序化添加Excel文档属性使用Spire.XLS for .NET库实现文档属性管理Sp

Python+FFmpeg实现视频自动化处理的完整指南

《Python+FFmpeg实现视频自动化处理的完整指南》本文总结了一套在Python中使用subprocess.run调用FFmpeg进行视频自动化处理的解决方案,涵盖了跨平台硬件加速、中间素材处理... 目录一、 跨平台硬件加速:统一接口设计1. 核心映射逻辑2. python 实现代码二、 中间素材处

MySQL字符串转数值的方法全解析

《MySQL字符串转数值的方法全解析》在MySQL开发中,字符串与数值的转换是高频操作,本文从隐式转换原理、显式转换方法、典型场景案例、风险防控四个维度系统梳理,助您精准掌握这一核心技能,需要的朋友可... 目录一、隐式转换:自动但需警惕的&ld编程quo;双刃剑”二、显式转换:三大核心方法详解三、典型场景

MySQL中between and的基本用法、范围查询示例详解

《MySQL中betweenand的基本用法、范围查询示例详解》BETWEENAND操作符在MySQL中用于选择在两个值之间的数据,包括边界值,它支持数值和日期类型,示例展示了如何使用BETWEEN... 目录一、between and语法二、使用示例2.1、betwphpeen and数值查询2.2、be

Java数组动态扩容的实现示例

《Java数组动态扩容的实现示例》本文主要介绍了Java数组动态扩容的实现示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1 问题2 方法3 结语1 问题实现动态的给数组添加元素效果,实现对数组扩容,原始数组使用静态分配

Spring Boot Interceptor的原理、配置、顺序控制及与Filter的关键区别对比分析

《SpringBootInterceptor的原理、配置、顺序控制及与Filter的关键区别对比分析》本文主要介绍了SpringBoot中的拦截器(Interceptor)及其与过滤器(Filt... 目录前言一、核心功能二、拦截器的实现2.1 定义自定义拦截器2.2 注册拦截器三、多拦截器的执行顺序四、过

Python实现快速扫描目标主机的开放端口和服务

《Python实现快速扫描目标主机的开放端口和服务》这篇文章主要为大家详细介绍了如何使用Python编写一个功能强大的端口扫描器脚本,实现快速扫描目标主机的开放端口和服务,感兴趣的小伙伴可以了解下... 目录功能介绍场景应用1. 网络安全审计2. 系统管理维护3. 网络故障排查4. 合规性检查报错处理1.

MySQL快速复制一张表的四种核心方法(包括表结构和数据)

《MySQL快速复制一张表的四种核心方法(包括表结构和数据)》本文详细介绍了四种复制MySQL表(结构+数据)的方法,并对每种方法进行了对比分析,适用于不同场景和数据量的复制需求,特别是针对超大表(1... 目录一、mysql 复制表(结构+数据)的 4 种核心方法(面试结构化回答)方法 1:CREATE

Python轻松实现Word到Markdown的转换

《Python轻松实现Word到Markdown的转换》在文档管理、内容发布等场景中,将Word转换为Markdown格式是常见需求,本文将介绍如何使用FreeSpire.DocforPython实现... 目录一、工具简介二、核心转换实现1. 基础单文件转换2. 批量转换Word文件三、工具特性分析优点局

Springboot3统一返回类设计全过程(从问题到实现)

《Springboot3统一返回类设计全过程(从问题到实现)》文章介绍了如何在SpringBoot3中设计一个统一返回类,以实现前后端接口返回格式的一致性,该类包含状态码、描述信息、业务数据和时间戳,... 目录Spring Boot 3 统一返回类设计:从问题到实现一、核心需求:统一返回类要解决什么问题?