MVVC(多版本并发控制)

article/2025/6/15 3:35:55

1、MVCC
​   MVCC,全称Multi-Version Concurrency Control,即多版本并发控制。MVCC是一种并发控制的方法,一般在数据库管理系统中,实现对数据库的并发访问,在编程语言中实现事务内存。MVCC在MySQL InnoDB中的实现主要是为了提高数据库并发性能,用更好的方式去处理读写冲突,做到即使有读写冲突时,也能做到不加锁,非阻塞并发读

2、当前读
​  select lock in share mode(共享锁)、select for update 、 update、insert 、delete(排他锁)这些操作都是一种当前读,为什么叫当前读?就是它读取的是记录的最新版本,读取时还要保证其他并发事务不能修改当前记录,会对读取的记录进行加锁

3、快照读
​  不加锁的select操作就是快照读,即不加锁的非阻塞读,提高数据库的并发查询能力;快照读的前提是隔离级别不是串行级别,串行级别下的快照读会退化成当前读;之所以出现快照读的情况,是基于提高并发性能的考虑,快照读的实现是基于多版本并发控制,即MVCC,可以认为MVCC是行锁的一个变种,但它在很多情况下,避免了加锁操作,降低了开销;既然是基于多版本,即快照读可能读到的并不一定是数据的最新版本,而有可能是之前的历史版本

4、当前读、快照读、MVCC关系
​  MVCC多版本并发控制指的是维持一个数据的多个版本,使得读写操作没有冲突,快照读是MySQL为实现MVCC的一个非阻塞读功能。MVCC模块在MySQL中的具体实现是由三个隐式字段,undo日志、read view三个组件来实现的

5、MVCC解决的问题
​   数据库并发场景有三种,分别为:

​   1、读读:不存在任何问题,也不需要并发控制

​   2、读写:有线程安全问题,可能会造成事务隔离性问题,可能遇到脏读、幻读、不可重复读

​   3、写写:有线程安全问题,可能存在更新丢失问题

​  MVCC是一种用来解决读写冲突的无锁并发控制,也就是为事务分配单项增长的时间戳,为每个修改保存一个版本,版本与事务时间戳关联,读操作只读该事务开始前的数据库的快照,所以MVCC可以为数据库解决以下问题:

​     1、在并发读写数据库时,可以做到在读操作时不用阻塞写操作,写操作也不用阻塞读操作,提高了数据库并发读写的性能

​     2、解决脏读、幻读、不可重复读等事务隔离问题,但是不能解决更新丢失问题

6、MVCC实现原理
​   MVCC的实现原理主要依赖于记录中的三个隐藏字段,undolog,read view来实现的

​   隐藏字段:每行记录除了我们自定义的字段外,还有数据库隐式定义的DB_TRX_ID、DB_ROLL_PTR、DB_ROW_ID等字段

​     DB_TRX_ID:6字节,最近修改事务id,记录创建这条记录或者最后一次修改该记录的事务id

​     DB_ROLL_PTR:7字节,回滚指针,指向这条记录的上一个版本,用于配合undolog,指向上一个旧版本

​     DB_ROW_ID:6字节,隐藏的主键,如果数据表没有主键,那么innodb会自动生成一个6字节的row_id,

​   undo log:回滚日志,表示在进行insert,delete,update操作的时候产生的方便回滚的日志

    当进行insert操作的时候,产生的undolog只在事务回滚的时候需要,并且在事务提交之后可以被立刻丢弃;

    当进行update和delete操作的时候,产生的undolog不仅仅在事务回滚的时候需要,在快照读的时候也需要,所以不能随便删除,只有在快照读或事务回滚不涉及该日志时,对应的日志才会被purge线程统一清除(当数据发生更新和删除操作的时候都只是设置一下老记录的deletedbit,并不是真正的将过时的记录删除,因为为了节省磁盘空间,innodb有专门的purge线程来清除deletedbit为true的记录,如果某个记录的deleted_id为true,并且DB_TRXI_D相对于purge线程的read view 可见,那么这条记录一定时可以被清除的);

    不同事务或者相同事务的对同一记录的修改,会导致该记录的undolog生成一条记录版本线性表,即链表,undolog的链首就是最新的旧记录,链尾就是最早的旧记录

​   Read View:Read View是事务进行快照读操作的时候生产的读视图,在该事务执行快照读的那一刻,会生成一个数据系统当前的快照,记录并维护系统当前活跃事务的id,事务的id值是递增的

    其实Read View的最大作用是用来做可见性判断的,也就是说当某个事务在执行快照读的时候,对该记录创建一个Read View的视图,把它当作条件去判断当前事务能够看到哪个版本的数据,有可能读取到的是最新的数据,也有可能读取的是当前行记录的undolog中某个版本的数据

​    Read View遵循的可见性算法主要是将要被修改的数据的最新记录中的DB_TRX_ID(当前事务id)取出来,与系统当前其他活跃事务的id去对比,如果DB_TRX_ID跟Read View的属性做了比较,不符合可见性,那么就通过DB_ROLL_PTR回滚指针去取出undolog中的DB_TRX_ID做比较,即遍历链表中的DB_TRX_ID,直到找到满足条件的DB_TRX_ID,这个DB_TRX_ID所在的旧记录就是当前事务能看到的最新老版本数据。Read View的可见性规则如下所示,首先要知道Read View中的三个全局属性:

​       trx_list:一个数值列表,用来维护Read View生成时刻系统正活跃的事务ID

​       uplimitid:记录trx_list列表中事务ID最小的ID

​       lowlimitid:Read View生成时刻系统尚未分配的下一个事务ID

​     具体的比较规则如下:

​     1、首先比较DB_TRX_ID < uplimitid,如果小于,则当前事务能看到DB_TRX_ID所在的记录,如果大于等于进入下一个判断

​     2、接下来判断DB_TRX_ID >= lowlimitid,如果大于等于则代表DB_TRX_ID所在的记录在Read View生成后才出现的,那么对于当前事务肯定不可见,如果小于,则进入下一步判断

​     3、判断DB_TRX_ID是否在活跃事务中,如果在,则代表在Read View生成时刻,这个事务还是活跃状态,还没有commit,修改的数据,当前事务也是看不到,如果不在,则说明这个事务在Read View生成之前就已经开始commit,那么修改的结果是能够看见的

 

7、RC、RR级别下的InnoDB快照读有什么不同
​   因为Read View生成时机的不同,从而造成RC、RR级别下快照读的结果的不同

​   1、在RR级别下的某个事务的对某条记录的第一次快照读会创建一个快照即Read View,将当前系统活跃的其他事务记录起来,此后在调用快照读的时候,还是使用的是同一个Read View,所以只要当前事务在其他事务提交更新之前使用过快照读,那么之后的快照读使用的都是同一个Read View,所以对之后的修改不可见

​   2、在RR级别下,快照读生成Read View时,Read View会记录此时所有其他活动和事务的快照,这些事务的修改对于当前事务都是不可见的,而早于Read View创建的事务所做的修改均是可见

​   3、在RC级别下,事务中,每次快照读都会新生成一个快照和Read View,这就是我们在RC级别下的事务中可以看到别的事务提交的更新的原因

​  总结:在RC隔离级别下,是每个快照读都会生成并获取最新的Read View,而在RR隔离级别下,则是同一个事务中的第一个快照读才会创建Read View,之后的快照读获取的都是同一个Read View
 


http://chatgpt.dhexx.cn/article/2yd2R2nX.shtml

相关文章

mysql mvvc 简单理解

先说下我自己的理解&#xff0c;总结为图如下&#xff1a; MVCC的全称是“多版本并发控制”。这项技术使得InnoDB的事务隔离级别下执行一致性读操作有了保证&#xff0c;换言之&#xff0c;就是为了查询一些正在被另一个事务更新的行&#xff0c;并且可以看到它们被更新之前的值…

MVVC 原理

session 1 session 2select a from test; return a 10 start transaction; update test set a 20; start transaction; select a from test; return ?commit; select a from test; return ? 我们看下上面这个数据库日常操作的例子。 session 1修改了一条记录&#xff0c;…

(六)Vue之MVVC

文章目录 MVVCVue中的MVVCVue代码中的MVVM Vue学习目录 上一篇&#xff1a;&#xff08;五&#xff09;Vue之data与el的两种写法 下一篇&#xff1a;&#xff08;六&#xff09;Vue之数据代理 MVVC MVVM是Model-View-ViewModel的简写。它本质上就是MVC 的改进版。 MVC参考&…

MVC模式和MVVC模式

MVC模式 mvc是由三个单词的首字符组成的&#xff1a;分别是模型model-视图view-控制器controller他是一种使用业务逻辑、数据、视图进行分离的方式来组织架构代码的一种模式。复杂项目中改变数据&#xff0c;很难判断那里改变 var MVC {} MVC.model (function(){var data …

js-MVVC架构

什么是MVVC? MVVM是Model-View-ViewModel的简写。它本质上就是MVC 的改进版 模型&#xff08;Model&#xff09; - 表示应用程序核心&#xff08;数据&#xff09; 视图&#xff08;View&#xff09; - 用户界面 视图模型&#xff08;ViewModel&#xff09;- 连接View和Mo…

mysql undo mvvc_MySQL之MVVC原理

什么是MVVC MVVC (Multi-Version Concurrency Control) (注&#xff1a;与MVCC相对的&#xff0c;是基于锁的并发控制&#xff0c;Lock-Based Concurrency Control)是一种基于多版本的并发控制协议&#xff0c;只有在InnoDB引擎下存在。MVCC是为了实现事务的隔离性&#xff0c;…

Mysql MVVC笔记

什么是MVVC&#xff0c;为什么要用它 在mysql的InnoDB不同事务隔离级别中&#xff0c;MVVC&#xff08;Multi-Version Concurrency Control&#xff09;工作在RC(Read Commited)和RR&#xff08;Repeatable Read&#xff09;这两种隔离级别中。其实MVVC简单理解&#xff0c;就…

MVC和MVVC的一些区别

前言 一、MVC 定义&#xff1a;Model&#xff08;模型&#xff09;-View&#xff08;视图&#xff09;-Controller&#xff08;控制器&#xff09;&#xff0c;是一种将业务逻辑、数据、界面显示分离开来的软件设计模式&#xff0c;更偏向于后端。 目的&#xff1a;将模型和和…

js判断两个字符串是否相等的办法

js判断两个字符串是否相等的两种方法 1、使用比较运算符判断两个字符串是否相等 可以使用比较运算符 或 来判断两个字符串是否相等。例如&#xff1a; 1 2 3 4 5 6 7 const str1 apple const str2 apple if (str1 str2) { console.log(两个字符串相等) } else { con…

java string 不相等_java判断字符串是否不相等的方法

1、判断地址是否相等 用&#xff1a; Object类作为所有类的超类&#xff0c;而Object类的equals方法是直接比较地址的&#xff0c;源码如下&#xff1a;public boolean equals(Object obj) { return this obj; } 2、判断值是否相等 用&#xff1a;equals方法 equals() 方法用于…

java if判断是否相等_java使用if语句判断字符串是否相等的方法

java使用if语句判断字符串是否相等的方法 发布时间&#xff1a;2020-06-23 19:48:51 来源&#xff1a;亿速云 阅读&#xff1a;133 作者&#xff1a;Leah 本篇文章展示了java使用if语句判断字符串是否相等的方法&#xff0c;代码简明扼要容易理解&#xff0c;绝对能让你眼前一亮…

MySQL 中判断字符串是否相等

感谢&#xff1a; https://blog.csdn.net/yangfengjueqi/article/details/72821603 mysql 中判断两个字符串是否相等可以用 <>或者 例 但是需要注意<>&#xff0c;和 是有区别的 当判断是都为空的时候&#xff0c;有如下结果 是因为 null值是没有意义的&#x…

html页面判断是否相等,javascript如何判断字符串是否相等

有时候我们在编写JavaScript代码的时候&#xff0c;需要判断两个字符串是否相等&#xff0c;这样怎么操作&#xff1f;下面本篇文章就来给大家介绍一下&#xff0c;希望对大家有所帮助。 在javascript中判断字符串是否相等&#xff0c;一般使用相等运算符“”或者“”进行比较判…

equals判断字符串是否相等

在Java中判断两个字符串是否相等&#xff0c;需要使用equals方法&#xff1b; 语法&#xff1a;字符串1.equals(字符串2) 如果字符串1等于字符串2返回true&#xff0c;否则返回false&#xff1b; 输出&#xff1a; str与str1是否相等true例题 在数组中查找指定字符串位置 …

java使用==和equals()判断字符串是否相等

equals()方法&#xff1a; equals()方法用于将字符串与指定的对象比较。String类中重写了equals()方法用于比较两个字符串的内容是否相等。 语法&#xff1a; //object:与字符串进行比较的对象 public boolean equals(Object anObject)返回值&#xff1a; 如果给定对象与字…

html页面判断是否相等,javascript怎么判断字符串是否相等?

在javascript中可以对字符串进行各种操作&#xff0c;下面本篇文章就来给大家介绍如何使用javascript对字符串进行相等判断&#xff0c;希望对大家有所帮助。 在javascript中判断字符串是否相等&#xff0c;一般使用相等运算符“”或者“”进行比较判断。 1、使用“”进行比较 …

java字符串判断相等_java判断字符串是否相等的方法

java判断字符串是否相等的方法&#xff1a; 1、java中字符串的比较&#xff1a; 我们经常习惯性的写上if(str1str2)&#xff0c;这种写法在java中可能会带来问题 example1:String a"abc"; String b"abc" 那么ab将返回true。因为在java中字符串的值是不可改…

JAVA中判断两个字符串是否相等

Java中判断字符串是否相等 相等判断操作符 Java中&#xff0c; 相等判断符用于判断基本数据类型和引用数据类型。当判断基本数据类型时&#xff0c;判断的是数值&#xff0c;当判断引用数据类型时&#xff0c;判断变量是否指向同一引用对象。 使用 判断字符串时&#xff0c…

检测字符串是否相等

1、可以使用equals方法检测两个字符串是否相等 2、也可以使用compareTo方法进行比较 当比较两个字符串是否相等而不区分大小写时&#xff0c;也可以使用 equalsIgnoreCase compareToIgnoreCase 这两个进行判断 public static void main(String[] args) {String a "a…

Vue计算属性Computed传参

关于computed计算属性传参的问题&#xff0c;因为computed是计算属性&#xff0c;如果给conputed传参则会直接报错&#xff0c;并且报computed is not function。 解决办法&#xff1a; 方法一&#xff1a; 通过返回函数来进行传参&#xff1a; 代码&#xff1a; computed:{ …