事务隔离级别的无锁实现方式 -- MVCC

MVCC的全称是Multiversion Concurrency Control(多版本并发控制器),是一种事务隔离级别的无锁的实现方式,用于提高事务的并发性能,即事务隔离级别的一种底层实现方式。

在了解MVCC之前,我们先来回顾一些简单的知识点:数据库的隔离级别和并发场景。

数据库的隔离级别

主要用来解决多个事务在并发的情况下对同一个数据进行读写操作所产生的一些列线程不安全的问题。

  • 脏读 – 读未提交(RU)
    • 事务A读取到了事务B还未提交的数据。
  • 不可重复读 – 读已提交(RC)
    • 事务A读取到事务B已经提交的数据,可以解决脏读问题,但会出现不可重复读。
  • 可重复读(RR)
    • 同一是事务下,事务在执行期间,多次读取同一数据时,能够保证读取到的数据是一致的,可以解决不可重复读问题,但在事务读取过程中,如果有另外一个新事务新增/变更,会出现幻读。
  • 串行化(serializable)
    • 最高的隔离级别,在该级别下,事务串行化顺序执行,可以避免脏读,幻读和不可重复读的问题,但是这种事务隔离级别效率最低,比较耗费数据库性能。

读已提交:

解决脏读问题为什么不使用行锁?如果我们在事务一中对数据进行修改操作时给数据添加一个行锁,那么接下来的事务中想要执行SQL语句进行查询操作,那么该操作将会被阻塞,直到修改操作执行完毕,行锁被解开为止,如此一来,就会降低并发性。

三种并发场景

  • 读 - 读
    • 不存在线程安全问题,不需要关心并发
  • 读 - 写
    • 有线程安全问题,可能会存在数据更新丢失的问题,比如第一类更新丢失,第二类更新丢失

第一类更新丢失:事务A回滚时,将已经提交的事务B更新的数据覆盖了

第二类更新丢失:事务A提交覆盖了事务B已经提交的数据,造成事务B所做的操作丢失

什么是MVCC

定义

即多版本并发控制,是一种并发控制的方法,一般在数据库管理系统中实现对数据库的并发访问,在编程语言中实现事务内存。

目的

在最早的数据库系统中只有读 - 读之间可以并发,读 - 写、写 - 写之间都要阻塞。在引入多版本并发控制技术之后,只有写 - 写之间相互阻塞,其他三种操作都可以并行,这样就达到了提高InnoDB引擎并发度的目的。

实现

在MySQL的内部实现中,InnoDB是通过undo log实现,undo log可以找回数据的历史版本。找回的历史版本可以提供给用户读(按照隔离级别定义,有些读请求只能看到比较老的数据版本),也可以在回滚的时候覆盖数据页上的数据,在InnoDB内部中,会记录一个全局的活跃读写事务数据组,其主要用来判断事务的可见行

MVCC的三个关键点

MVCC是如果无锁地实现事务的隔离级别的呢?主要就是靠以下三个关键因素:

隐藏列

在数据库表单中除了我们创建的原数据的列外,数据库帮我们维护的三个看不到的隐藏列:DB_TRX_ID(事务ID),DB_TRX_ID(存储旧的事务的指针),(ROW_ID)
在这里插入图片描述

undo log

回滚实现:

通过两个隐藏列trx_id(最近一次提交事务的ID)和roll_pointer(上个版本的地址)建立一个版本链。并在事务中读取的时候生成一个Read View(读视图),在Read Committed隔离级别下,每次读取都会生成一个读视图,而在Repeatable Read隔离级别下,只会在第一次读取时生成一个读视图

在这里插入图片描述

ReadView

定义

不加锁的select就是快照读,即不加锁的非阻塞读。(快照读的前提是非serializable隔离级别,在该隔离级别下,快照读会退化为当前读),之所以出现快照读,是基于高并发性能的考虑,快照读的实现是基于MVCC的,可以认为MVCC是行锁的变种,但是他在很多情况下避免了加锁操作,降低了开销。因为多版本的原因,导致快照读可能读取到的不一定是数据的最新版本,而有可能是历史版本

当前读和快照读与MVCC关系

MVCC可以理解为是一个“维护数据的多个版本,使得读写操作没有冲突”的概念,是一种理想状态。而在MySQL中,快照读,就是实现MVCC理想模型的其中一个具体的非阻塞读功能,而相对而言,当前读就是一个悲观锁的具体功能实现

具体实现&&判断顺序

存储三条数据:creator_trx_id(当前事务ID),min_trx_id(当前未提交的事务的ID),max_trx_id(未开始的事务)

  • 首先通过undolog拿到最新版本的数据,最新一次修改本条数据的事务ID
  • 第一次判断:将当前事务ID与最新一次修改本条数据的事务ID进行比较
    • 二者相等–>本条版本的数据是在当前事务中保存的–>该条数据可以读取
    • 二者不相等则不能直接拿到该值,继续进行判断
  • 第二次判断:比较最新一次修改本条数据的事务ID和最小的事务ID
    • 小于–>当前版本数据是在事务开始之前保存的–>该条数据可以读取到
    • 大于等于–>不能直接拿到该值,继续进行判断
  • 第三次判断:比较最新一次修改本条数据的事务ID和最大的事务ID
    • 大于–>当前版本的数据是在本事务开始之后保存的–>本数据不能被读取–>顺着指针找到上一个版本的数据
  • 第四次判断:比较最新一次修改本条数据的事务ID是否在最小事务ID和最大事务ID之间
    • 存在于二者之间–>当前版本的数据是在未提交的并发事务中
      • 如果事务隔离级别是读已提交–>该条数据不能被读取
    • 不存在于二者之间–>沿着指针找到上一个版本的数据,再进行以上四次判断

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/816689.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

基于单片机和安卓平台的移动物联网应用开发实训系统设计

摘要:文章介绍了一种采用单片机和安卓移动设备构建移动物联网应用开发实训系统的方法。并基于该系统完成了实训的项目设计,实现了通过手机远程获取单片机上的传感器数据以及远程控制单片机上的开关设备等典型的物联网应用。 关键词:单片机;传感器;安卓应用开发 1 物联网应…

10.list的模拟实现(普通迭代器和const迭代器的类模板)

1. list的介绍及使用 1.1 list的介绍 list的文档介绍 list是可以在常数范围内在任意位置进行插入和删除的序列式容器,并且该容器可以前后双向迭代。 list的底层是双向链表结构,双向链表中每个元素存储在互不相关的独立节点中,在节点中通过…

伺服驱动器算法入门的一些建议和书籍推荐

希望此篇文章对想从事伺服驱动器的研发工作的一些刚刚入门的同学一些建议。 针对伺服驱动器的研发工作涉及的知识和需要掌握的技能主要分为两部分,第一是原理部分、第二是工程实践部分。原理部分的学习在此主要推荐大家查看一些入门书籍,本文章中也对书籍…

【opencv】示例-travelsalesman.cpp 使用模拟退火算法求解旅行商问题

// 载入 OpenCV 的核心头文件 #include <opencv2/core.hpp> // 载入 OpenCV 的图像处理头文件 #include <opencv2/imgproc.hpp> // 载入 OpenCV 的高层GUI(图形用户界面)头文件 #include <opencv2/highgui.hpp> // 载入 OpenCV 的机器学习模块头文件 #includ…

Leetcode215_数组中的第K个最大元素

1.leetcode原题链接&#xff1a;. - 力扣&#xff08;LeetCode&#xff09; 2.题目描述 给定整数数组 nums 和整数 k&#xff0c;请返回数组中第 k 个最大的元素。 请注意&#xff0c;你需要找的是数组排序后的第 k 个最大的元素&#xff0c;而不是第 k 个不同的元素。 你必…

多线程(52)Java内存模型(JMM)

Java内存模型&#xff08;JMM&#xff09;是Java虚拟机&#xff08;JVM&#xff09;的一部分&#xff0c;它定义了Java程序中各种变量&#xff08;线程中的本地变量、堆中的对象、类中的静态字段等&#xff09;的访问规则&#xff0c;以及在多线程环境中如何和何时可以看到由其…

陇剑杯 ios 流量分析

陇剑杯 ios 流量分析 ios 一位ios的安全研究员在家中使用手机联网被黑&#xff0c;不仅被窃密还丢失比特币若干&#xff0c;根据流量分析完成ios1-8 ios 1 ios-1&#xff1a;黑客所控制的C&C服务器IP是_____________。 什么是C&C服务器? C&C&#xff08;Com…

Java 大数据开发

Java 作为一种流行的编程语言&#xff0c; 其优秀的跨平台性和可扩展性&#xff0c; 为大数据开发提供了很好的支持。 Java 大数据开发一般涉及到以下几个方面&#xff1a; 1. 数据处理和分析&#xff1a; 这是大数据开发最基础的工作&#xff0c; 通过 Java 编程语言&#xff…

MATLAB GUI图形化界面设计计算器

MATLAB GUI界面设计教程可以帮助用户创建交互式的图形用户界面&#xff0c;以简化与MATLAB程序的交互过程。以下是一个简化的教程&#xff0c;指导你如何进行MATLAB GUI界面设计&#xff1a; 1. 启动GUIDE或App Designer GUIDE&#xff1a;在MATLAB命令窗口中输入guide命令&a…

php在apache运行的几种方式

本文讲运行的三种模式 CGI模式、FastCGI模式、Apache 模块DLL 解释 cgi,fastcgi,php-fmp之间的关系 请看 https://blog.csdn.net/qq_21956483/article/details/80348316 Cgi模式和模块dll加载方式比较&#xff1a; Cgi模式下 apache调用外部执行器php.exe执行php代码&#xff…

Linux kernel 墙上时间

前言 最近在研究 Linux 调度子系统&#xff0c;该子系统由时钟中断推动。每发生一次时钟中断&#xff0c;就会执行一次时钟中断服务程序&#xff0c;在时钟中断服务程序中&#xff0c;最终会调用 tick_periodic() 这个函数。该函数中有 update_wall_time() 这样一个函数&#…

4.2、ipex-llm(原bigdl-llm)进行语音识别

ipex-llm环境配置及模型下载 由于需要处理音频文件&#xff0c;还需要安装用于音频分析的 librosa 软件包。 pip install librosa下载音频文件 !wget -O audio_en.mp3 https://datasets-server.huggingface.co/assets/common_voice/--/en/train/5/audio/audio.mp3 !wget -O a…

44.HarmonyOS鸿蒙系统 App(ArkUI)栅格布局介绍

栅格布局是一种通用的辅助定位工具&#xff0c;对移动设备的界面设计有较好的借鉴作用。主要优势包括&#xff1a; 提供可循的规律&#xff1a;栅格布局可以为布局提供规律性的结构&#xff0c;解决多尺寸多设备的动态布局问题。通过将页面划分为等宽的列数和行数&#xff0c;…

我五年减脂历程中应用的数据指标

对于减脂&#xff0c;理论说的再多无益&#xff0c;关键是要行动起来。只有坚持过&#xff0c;才有资格说&#xff1a;我尽力了。 每天跑步5公里&#xff0c;是改变一个人体态的分水岭。记住是每天&#xff0c;不管春夏秋冬、酷暑寒雪。 我常在想&#xff0c;如何才能变成一个更…

【JavaEE多线程】理解和管理线程生命周期

目录 ThreadThread类的常用构造方法Thread类的常见属性启动一个线程-start()终止一个线程等待一个线程-join()线程的状态 Thread Thread 就是在 Java 中&#xff0c;线程的代言人。系统中的一个线程&#xff0c;就对应到 Java 中的一个 Thread 对象。围绕线程的各种操作&#…

Java 设计模式系列:模板方法模式

简介 模板方法模式是一种行为型设计模式&#xff0c;它定义一个操作中的算法骨架&#xff0c;将一些步骤推迟到子类中。模板方法模式使得子类可以不改变一个算法的结构&#xff0c;即可重定义该算法的某些特定步骤。 在模板方法模式中&#xff0c;抽象类中定义了一系列基本操…

申请OV SSL证书的好处

什么是OV SSL证书&#xff1a; OV SSL证书也叫组织验证型SSL证书&#xff0c;是众多SSL证书当中最受广大用户欢迎的一种类型。因为它不仅需要验证域名的所有权&#xff0c;还需要对企业的相关身份信息进行审核&#xff0c;确保企业是一个真实存在的合法实体。除了这些&#xf…

Rust取代C++? 保守了!关于未来的讨论

当各种平台在大肆讨论rust即将取代C/C的时候&#xff0c;已经有不少人意识到这种讨论是聒噪而无聊的。笔者和老师们通过周末茶会的讨论&#xff0c;认为现今世界常见的大多数编程语言都会在50-80年内被AI取代&#xff0c;同时供人类审计而诞生的“审计语言”会兴起。届时计算机…

Beego 使用教程 1:项目创建

beego 是一个用于Go编程语言的开源、高性能的 web 框架 beego 被用于在Go语言中企业应用程序的快速开发,包括RESTful API、web应用程序和后端服务。它的灵感来源于Tornado, Sinatra 和 Flask beego 官网:http://beego.gocn.vip/ 上面的 beego 官网如果访问不到,看这篇文章…

华为机考入门python3--(15)牛客15-求int型正整数在内存中存储时1的个数

分类&#xff1a;二进制 知识点&#xff1a; int转二进制 binary bin(n)[2:] 题目来自【牛客】 def count_ones_in_binary(n): # 将输入的整数转换为二进制字符串 # bin(n)为0b11011binary bin(n)[2:]# 初始化计数器为0 count 0 # 遍历二进制字符串的每一位 fo…