MVCC的执行原理

2024-04-24 19:36
文章标签 原理 执行 mvcc

本文主要是介绍MVCC的执行原理，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

MVCC的执行原理

  • MVCC简介
  • 事务的隔离级别
  • MVCC作用
  • 当前读和快照读
  • MVCC实现原理
    • Undo Log
    • Undo Log 版本链
    • Read View
    • 判断方法
    • 判断规则
  • 小结

MVCC简介

MVCC（Multi-Version Concurrency Control）是一种并发控制机制，用于解决数据库并发访问中，数据一致性问题。它通过在读写操作期间保存多个数据版本，以提供并发事务间的隔离性，从而避免了传统的锁机制所带来的资源争用和阻塞问题。

所谓的一致性问题，就是在并发事务执行时，应该看到那些数据和不应该看到那些数据。

事务的隔离级别

为了解决并发事务存在的脏读、不可重复读、幻读等问题，数据库大叔设计了四种隔离级别。

  • 读未提交（Read Uncommitted）：读未提交隔离级别，只限制了两个数据不能同时修改，但是修改数据的时候，即使事务未提交，都是可以被别的事务读取到的，这级别的事务隔离有脏读、重复读、幻读的问题；
  • 读已提交（Read Committed）：读已提交隔离级别，当前事务只能读取到其他事务提交的数据，所以这种事务的隔离级别解决了脏读问题，但还是会存在重复读、幻读问题；
  • 可重复读（Repeatable Read）：可重复读隔离级别，限制了读取数据的时候，不可以进行修改，所以解决了不可重复读的问题，但是读取范围数据的时候，是可以插入数据，所以还会存在幻读问题；
  • 串行化（Serializable ）：事务最高的隔离级别，在该级别下，所有事务都是进行串行化顺序执行的。可以避免脏读、不可重复读与幻读所有并发问题。但是这种事务隔离级别下，事务执行很耗性能。

MVCC作用

数据库是通过加锁，来实现事务的隔离性的。加锁确实好使，可以保证隔离性。比如串行化隔离级别就是加锁实现的。从而避免了脏读、不可重复读、幻读的问题。但是频繁的加锁，导致读数据时，没办法修改，修改数据时，没办法读取，大大降低了数据库性能。

那么，如何解决加锁后的性能问题的？

答案就是：MVCC多版本并发控制！ 它实现读取数据不用加锁，可以让读取数据同时修改。修改数据时同时可读取。
四大隔离级别中的 读已提交（RC） 和 可重复读（RR） 隔离级别就是通过MVCC来实现的。

当前读和快照读

快照读：是指在一个事务中，读取的数据版本是在事务开始时已经存在的数据版本，而不是最新的数据版本。这种读取方式提供了事务在执行期间看到的数据视图的一致性，select 查询就是快照读。

当前读：是指在事务中读取最新的数据版本，以下几种操作都是快照读：

  • select lock in share mode（共享锁）
  • select for update（排他锁）
  • update（排他锁）
  • insert（排他锁）
  • delete（排他锁）

MVCC实现原理

MVCC 主要是依靠以下三部分实现的：

  • Undo Log
  • Undo Log 版本链
  • Read View（读视图或者叫一致性视图）

Undo Log

Undo Log 主要是用于数据库中事务回滚的，但在 MVCC 机制中也发挥着重要的作用。

Undo Log 版本链

Undo Log 版本链是指在每个数据对象上维护的 Undo Log 记录链表。每张表都会有与之相对应的 Undo Log 版本链，用于记录修改前的数据信息（以方便数据进行回滚）。
在这里插入图片描述

Read View

Read View（读视图）用于管理事务之间数据可见性的一种机制。Read View 在特定时刻为事务创建的一个快照，该快照包含了在该时刻所有未提交事务的事务标识符，以及其他一些辅助信息。
在 Read View 中包含了以下 4 个主要的字段：

  • m_ids：当前活跃的事务编号集合。
  • min_trx_id：最小活跃事务编号。
  • max_trx_id：预分配的事务编号，当前最大事务编号+1。
  • creator_trx_id：ReadView 创建者的事务编号。

解释：
活跃的事务编号：指的是已经创建，但未commit的事务，即处理中的事务id。

RC 级别中，每次快照读都会生成一个全新的 Read View，而 RR 级别中同一个事务会复用一个 Read View。
有了 Read View 和 Undo Log 链之后，并发事务在查询时就知道要读取那些数据了。

判断方法

判断方法是根据 Read View 中的 4 个重要字段，先去 Undo Log 中最新的数据行进行比对，如果满足下面 Read View 的判断条件，则返回当前行的数据，如果不满足则继续查找 Undo Log 的下一行数据，直到找到满足的条件的数据为止，如果查询完没有满足条件的数据，则返回 NULL。

判断规则

在这里插入图片描述

  • trx_id==creator_trx_id：先将 Undo Log 最新数据行中的 trx_id 和 ReadView 中的 creator_trx_id 进行对比，如果他们两个值相同，则说明是在同一个事务中执行，那么直接返回当前 Undo Log 的数据行即可，如果不相等，则继续下面流程。
  • trx_id<min_trx_id：如果 trx_id 小于 min_trx_id，则说明在执行查询时，其他事务已经提交此行数据了，那么直接返回此行数据即可，如果大于等于，则继续下面流程。
  • trx_id>max_trx_id：如果 trx_id 如果大于等于 max_trx_id，则说明该行数据比当前操作执行的晚，当前行数据不可见，继续执行后续流程。
  • min_trx_id<=trx_id<max_trx_id：trx_id 在 min_trx_id 和 max_trx_id 之间还分为以下两种情况：
    • trx_id 在 m_ids 中：说明事务尚未执行完，该行数据不可被访问。
    • trx_id 未在 m_ids 中：说明事务已经执行完，可以返回该行数据。

对于删除的情况，会将版本链的最新数据复制一份，然后将trx_id修改成删除操作的trx_id，同时会在记录的头信息的标记位(delete_flag)上设置true，用来表示已经删除，在查询时，如果对应记录的delete_flag为true，则表示已经被删除，就不会返回数据。

以上判断规则从 Undo Log 最新的行数据，逐行对比，直到找到匹配的数据，否则查询完未匹配上，则返回 NULL。

小结

  • MVCC 的实现主要依赖读视图 Read View 和 Undo Log 链，通过 Read View 中的 4 个字段，判断要读取 Undo Log 中数据，从而解决了数据库并发访问中，数据一致性的问题。

  • MVCC 主要应用于 InnoDB 引擎中的 RC 事务隔离级别和 RR 隔离级别，其中 RC 隔离级别每次快照读都会生成一个新的 Read View，而 RR 隔离级别只在第一次快照读时生成 Read View，之后会复用 Read View，从而解决了（部分）幻读问题。

  • MVCC是一种用于解决数据库并发问题的乐观锁技术，多版本并发控制通过保存数据在某个时间点的快照来实现。换句话说，读操作不会阻塞写操作，写操作也不会阻塞读操作，以此来提高数据库性能。在每次对数据的操作，都用在undo日志版本链中进行。

这篇关于MVCC的执行原理的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/932653。

相关文章

数据库原理与安全复习笔记（未完待续）

数据库原理与安全复习笔记（未完待续）

1 概念 产生与发展：人工管理阶段 → \to → 文件系统阶段 → \to → 数据库系统阶段。 数据库系统特点：数据的管理者（DBMS）；数据结构化；数据共享性高，冗余度低，易于扩充；数据独立性高。DBMS 对数据的控制功能：数据的安全性保护；数据的完整性检查；并发控制；数据库恢复。 数据库技术研究领域：数据库管理系统软件的研发；数据库设计；数据库理论。数据模型要素 数据结构：描述数据库
阅读更多...
计算机组成原理——RECORD

计算机组成原理——RECORD

第一章 概论 1.固件  将部分操作系统固化——即把软件永恒存于只读存储器中。 2.多级层次结构的计算机系统 3.冯*诺依曼计算机的特点 4.现代计算机的组成：CPU、I/O设备、主存储器（MM） 5.细化的计算机组成框图 6.指令操作的三个阶段：取指、分析、执行 第二章 计算机的发展 1.第一台由电子管组成的电子数字积分和计算机（ENIAC） 第三章 系统总线
阅读更多...
Redis-在springboot环境下执行lua脚本

Redis-在springboot环境下执行lua脚本

文章目录 1、什么lua2、创建SpringBoot工程3、引入相关依赖4、创建LUA脚本5、创建配置类6、创建启动类7、创建测试类 1、什么lua “Lua”的英文全称是“Lightweight Userdata Abstraction Layer”，意思是“轻量级用户数据抽象层”。 2、创建SpringBoot工程 3、引入相关依赖 <?xml version
阅读更多...
GaussDB关键技术原理：高性能（二）

GaussDB关键技术原理：高性能（二）

GaussDB关键技术原理：高性能（一）从数据库性能优化系统概述对GaussDB的高性能技术进行了解读，本篇将从查询处理综述方面继续分享GaussDB的高性能技术的精彩内容。 2 查询处理综述 内容概要：本章节介绍查询端到端处理的执行流程，首先让读者对查询在数据库内部如何执行有一个初步的认识，充分理解查询处理各阶段主要瓶颈点以及对应的解决方案，本章以GaussDB为例讲解查询执行的几个主要阶段
阅读更多...
js小题：通过字符串执行同名变量怎么做

js小题：通过字符串执行同名变量怎么做

在JavaScript中，你不能直接使用一个字符串来直接引用一个变量，因为JavaScript是一种静态类型语言（尽管它的类型在运行时可以变化），变量的名字在编译时就被确定了。但是，有几种方法可以实现类似的功能： 使用对象（或Map）来存储变量： 你可以使用一个对象来存储你的变量，然后使用字符串作为键来访问这些变量。 let myVars = { 'var1': 'Hello', 'var
阅读更多...
【计算机组成原理】部分题目汇总

【计算机组成原理】部分题目汇总

计算机组成原理 部分题目汇总 一. 简答题 RISC和CICS 简要说明，比较异同 RISC（精简指令集）注重简单快速的指令执行，使用少量通用寄存器，固定长度指令，优化硬件性能，依赖软件（如编译器）来提升效率。 CISC（复杂指令集）包含多样复杂的指令，能一条指令完成多步操作，采用变长指令，减少指令数但可能增加执行时间，倾向于硬件直接支持复杂功能减轻软件负担。 两者均追求高性能，但RISC
阅读更多...
MySQL数据库锁的实现原理

MySQL数据库锁的实现原理

MySQL数据库的锁实现原理主要涉及到如何确保在多用户并发访问数据库时，保证数据的完整性和一致性。以下是MySQL数据库锁实现原理的详细解释： 锁的基本概念和目的 锁的概念：在数据库中，锁是用于管理对公共资源的并发控制的机制。当多个用户或事务试图同时访问或修改同一数据时，数据库系统通过加锁来确保数据的一致性和完整性。 锁的目的：解决多用户环境下保证数据库完整性和一致性的问题。在并发的情况下，会
阅读更多...
线性回归（Linear Regression）原理详解及Python代码示例

线性回归（Linear Regression）原理详解及Python代码示例

一、线性回归原理详解         线性回归是一种基本的统计方法，用于预测因变量（目标变量）与一个或多个自变量（特征变量）之间的线性关系。线性回归模型通过拟合一条直线（在多变量情况下是一条超平面）来最小化预测值与真实值之间的误差。 1. 线性回归模型         对于单变量线性回归，模型的表达式为：         其中： y是目标变量。x是特征变量。β0是截距项（偏置）。β1
阅读更多...
标准分幅下的图幅号转换成经纬度坐标【原理+源代码】

标准分幅下的图幅号转换成经纬度坐标【原理+源代码】

最近要批量的把标准分幅下的图幅号转换成经纬度坐标，所以这两天写了个程序来搞定这件事情。 先举个例子说明一下这个程序的作用。 例如：计算出图幅号I50G021040的经纬度范围，即最大经度、最小经度、最大纬度、最小纬度。 运用我编写的这个程序，可以直接算出来，这个图幅号的经纬度范围，最大经度为115.3125°，最小经度为115.25°，最大纬度为31.167°，最小纬度为31.125°。
阅读更多...
SpingBoot原理

SpingBoot原理

配置优先级 SpringBoot配置的优先级从高到低依次为命令行参数、JNDI属性、Java系统属性、操作系统环境变量、外部配置文件、内部配置文件、注解指定的配置文件和编码中直接指定的默认属性。具体如下： 命令行参数：启动应用时，通过命令行指定的参数拥有最高优先级。例如，使用--server.port=8081会直接改变应用程序的端口，无论在什么配置文件中定义过该值。JNDI属性：这些属性由当
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2