SQL进阶理论篇(十一):什么是MVCC?

news2024/10/5 17:18:47

文章目录

  • 简介
  • 什么是MVCC
  • 快照读与当前读
  • 悲观锁的问题示例
  • 参考文献

简介

在MySQL中,默认的隔离级别是可重复读,可以解决脏读和不可重复读的问题,但不能解决幻读问题。如果想要解决幻读问题,就需要采用串行化的方式,通过牺牲数据库的并发事务处理能力,将隔离级别提升到最高。

那有没有一种方式,可以不采用锁机制,而是只通过乐观锁的方式,来解决不可重复度和幻读问题呢?

确实有,MVCC机制就是用来解决这个问题的。在多数情况下,它可以替代行级锁,降低系统的开销(如InnoDB中就是默认开启MVCC机制的,除此之外还有Oracle,DB2是采用多版本读的方式实现隔离级别,但严格来讲不是MVCC)。

大部分的RDBMS都会支持MVCC

本节将主要介绍以下几部分:

  • MVCC机制的思想是什么?
  • 为什么RDBMS要采用MVCC机制,只依靠悲观锁还不够么?

什么是MVCC

MVCC的英文全称是Multiversion Concurrency Control,中文翻译过来就是多版本并发控制系统

顾名思义,MVCC是通过数据行的多个版本管理,来实现数据库的并发控制。

简单的说,它的思想就是保存数据的历史版本。这样我们就可以通过比较版本号来决定数据是否显示出来(具体的规则后面会讲),基于这种乐观锁的机制,我们在读取数据的时候不需要加锁也可以保证事务的隔离性。

先总结一下MVCC的具体作用:

  • 解决了读写之间的阻塞问题。通过MVCC可以让读写之间互相不阻塞,即读的时候不会再阻塞写,反之也是一样,从而提高了事务的并发处理能力;
  • 降低了死锁的概率。MVCC里采用的是乐观锁的思想,所以读取数据时根本不用加锁,即使是写数据的时候,最多也是只锁定必要的行。降低了锁的数量,自然也降低了死锁的概率。
  • 解决一致性读的问题。一致性读又叫做快照读,当我们查询数据库在某个时间点的快照时,只能看到这个时间点之前事务提交更新的结果,而不能看到这个时间点之后事务的提交结果。

快照读与当前读

快照读,读取的是快照数据,不加锁的select语句都属于快照读,如:

SELECT * FROM player WHERE ...

当前读,读取的是最新数据,而不是历史版本的数据。加锁的select,或者对数据进行增删改查的时候,都会进行当前读。

SELECT * FROM player LOCK IN SHARE MODE;
SELECT * FROM player FOR UPDATE;
INSERT INTO player values ...
DELETE FROM player WHERE ...
UPDATE player SET ...

因此,快照读实际上就是普通读,而当前读包括了加锁的读取和DML操作。

悲观锁的问题示例

接下来,我们以一个具体的例子,来讲解一下采用悲观锁思想可能造成的问题。

比如说,我们有个账户金额表 user_balance,包括三个字段,分别是 username 用户名、balance 余额和 bankcard 卡号。其中只有用户A和用户B有账户余额,其他账户的余额都是0。

接着数据库管理员需要查询这张表里的总账户金额,即执行下面语句:

SELECT SUM(balance) FROM user_balance

这个过程里,用户A或者B自行开启了一个事务,做互相转账。

当管理员事务和用户的事务,时间上撞在一起的时候,会出现什么情况呢?

我们举两个例子(例子均来源于参考文献)。

例子一:由于管理员事务的行级锁的存在,导致用户A给用户B转账会存在等待时间。

如图:

在这里插入图片描述

为了保证数据的一致性,管理员事务在统计数据的时候,会给用到的数据加上行级锁。
比如说用户A所在数据行被加锁之后,用户A就不能再操作自己的记录了,如果想做update,只能等到管理员事务结束后,锁被释放,才能操作。

这就导致了用户A的体验很不好,多了额外的等待时长。

例子二:死锁。

过程如图:

在这里插入图片描述

简单的说,就是管理员在统计的时候,用户B开启了一个事务,给A转账。

管理员事务是一行一行边读边加锁,它先读取用户A的数据,于是持有了用户A数据的行锁,接下来,它应该再读取用户B的数据,再持有用户B数据的行锁。

但是,在它还没有读到用户B的数据之前,用户B就开启了事务,抢先对自己的记录进行了操作,于是用户B持有了自己所在数据行的行锁。

等到管理员事务需要读用户B的数据时,会发现数据行已经被锁上了,咋整,那就只能等呗,于是管理员事务就开始等待用户B数据的锁被释放。

只要用户B的事务正常结束,锁释放,那么管理员事务就能继续加锁,向下执行来完成统计。

但是用户B的事务并没有结束,因为是给用户A转账,因此它还需要update用户A的数据,把多的钱update进去。但问题是用户A的数据已经被管理员事务加锁了,用户B的事务如果想读,该怎么办呢?只能等管理员事务主动释放这个行锁。

于是,场面就变成了,管理员事务在等待用户事务释放B数据的行锁,而用户事务在等待管理员事务释放A数据的行锁,互不相让,死锁了。

这个就是悲观锁的常见问题,不过在基于乐观锁的MVCC里,这种情况发生的概率会很低,具体的我们下节会介绍。

参考文献

  1. 31丨为什么大部分RDBMS都会支持MVCC?

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

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

相关文章

数据结构——【万字文章+配图+代码】带你深入理解二叉树

1. 二叉树的概念 二叉树是一种有限集合,由根和左右子树构成,每个结点最多有两棵子树,且这两棵子树具有顺序关系 2. 二叉树的特殊情况: 2.1 满二叉树: 一个二叉树,如果每次的结点都达到最大值&#xff…

07-Eventing及实践

1 Knative Eventing的相关组件 Knative Eventing具有四个最基本的组件:Sources、Brokers、Triggers 和 Sinks 事件会从Source发送至SinkSink是能够接收传入的事件可寻址(Addressable)或可调用(Callable)资源 Knative S…

二维码智慧门牌管理系统升级解决方案:房屋管理

文章目录 前言一、一站式服务二、全方位管理三、未来展望四、智慧解决方案 前言 科技带来智慧生活 随着科技的不断发展,智能化已经成为我们生活的重要组成部分。二维码智慧门牌管理系统是这一趋势中的关键工具之一。除了提供标准地址服务外,该系统还为房…

全栈开发中的安全注意事项:最佳实践和工具

安全性是当今数字环境中最重要的问题,而在全栈开发中这一点尤为重要。当企业努力创建强大且动态的应用程序时,他们必须应对复杂的安全威胁领域。在本文中,我们将探讨开发人员可以用来确保安全的全栈开发环境的最佳实践和工具。 1.1 全栈开发的…

电脑软件:推荐一款非常实用的屏幕截图软件

目录 一、功能介绍 二、软件特色 三、常用快捷键 四、软件总结 五、软件下载 FastStone Capture是一款功能强大的屏幕截图软件,它可以帮助用户轻松地捕获屏幕上的任何区域,并将其保存为各种格式的图像文件。以下是关于FastStone Capture软件的一些详…

小信砍柴的题解

目录 原题描述: 时间:1s 空间:256M 题目描述: 输入格式: 输出格式: 样例1输入: 题目大意: 主要思路: 注意事项: 总代码: 原题描述&#…

59. 螺旋矩阵 II(java实现,史上最详细教程,想学会的进!!!)

今天来分享一下螺旋矩阵的解题思路及代码的实现。 题目描述如下: 首先拿到这道题,首先不要慌张,我们来仔细分析一下会发现并没有那么难。 首先看下边界的元素是1、2、3递增的,那么我们也许可以根据这一点先把边界的元素一个一个给…

上下界取min/max的线段树问题:P8518 [IOI2021] 分糖果

https://www.luogu.com.cn/problem/P8518 没有要求在线,显然离线(。维护时间戳,上线段树。 好了,我们现在知道一个人的曲线变化了。怎么做呢? 前面所有碰上下界的都是没用的!我们只需要找最后一段的时间…

TrustZone之顶层软件架构

在处理器中的TrustZone和系统架构中,我们探讨了硬件中的TrustZone支持,包括Arm处理器和更广泛的内存系统。本主题关注TrustZone系统中发现的软件架构。 一、顶层软件架构 下图显示了启用TrustZone的系统的典型软件栈: 【注意】:为简单起见,该图不包括管理程序,尽管它们可…

【C语言】鹏哥C语言刷题训练营——第5节内容笔记(含代码全面分析和改进,讲解)

系列文章目录 身躯已然冰封,灵魂仍旧火热 本文由睡觉待开机原创,未经允许不得转载。 本内容在csdn网站首发 欢迎各位点赞—评论—收藏 如果存在不足之处请评论留言,共同进步! 文章目录 系列文章目录前言题目链接(有需要…

计算机组成原理——数制与编码

1.在以下编码中,零的表示唯一的是(C) A.反码 B.原码 C.补码 D.原码和移码 2.假设某数的真值为-100 1010B,在计算机内部表示为1011 0110B,该数采用的编码为(D) A.移码 B.原码 C.反码 D.补码 3.…

Linux shell编程学习笔记36:read命令

目录 0 前言1 read命令的功能、格式、返回值和注意 1.1 命令功能1.2 命令格式1.3 返回值1.4 注意事项2 命令应用实例 2.1 一次读入多个变量值2.2 不指定变量名2.3 测试read命令的返回值2.3 指定输入时限并进行相应处理2.4 -t 指定结束符2.5 -n 指定输入字符个数2.6 -N 指定输入…

分类预测 | Matlab实现AOA-SVM算术优化支持向量机的数据分类预测【23年新算法】

分类预测 | Matlab实现AOA-SVM算术优化支持向量机的数据分类预测【23年新算法】 目录 分类预测 | Matlab实现AOA-SVM算术优化支持向量机的数据分类预测【23年新算法】分类效果基本描述程序设计参考资料 分类效果 基本描述 1.Matlab实现AOA-SVM算术优化支持向量机的数据分类预测…

css的filter全属性介绍

原图: 模糊(blur) 单位可为px或rem,值越大,越模糊 filter:blur(3px) filter:blur(0.3rem) 亮度(brightness) 值可为数字或百分数,小于1时,亮度更暗;等于1时,无变化&am…

微信支付怎么申请0.2费率

作为移动支付的主流方式,微信收款和支付宝为商家带来了便利的同时,每笔交易都要收取的0.6%收款手续费也成为商家的负担。现在使用现金支付的人少之又少,为了给顾客带来便捷的购物体验,所以即便是要付出手续费&#xff…

十四、YARN核心架构

1、目标 (1)掌握YARN的运行角色和角色之间的关系 (2)理解使用容器做资源分配和隔离 2、核心架构 (1)和HDFS架构的对比 HDFS架构: YARN架构:(主从模式) &…

visual stdio code运行vue3

npm init vuelatest 该命令初始化vue项目 使用visual stdio code创建vue项目 ,这边是vue-project文件夹 vs code打开项目 vscode操作vue项目 vscode操作vue项目

【Leetcode】旋转矩阵

题目链接:https://leetcode.cn/problems/rotate-matrix-lcci/description/ 题目描述 给你一幅由 N N 矩阵表示的图像,其中每个像素的大小为 4 字节。请你设计一种算法,将图像旋转 90 度。 不占用额外内存空间能否做到? 示例 …

找出一个二维数组中的鞍点

找出一个二维数组中的鞍点&#xff0c;即该位置上的元素在该行上的最大、在该列上最小。也有可能没有鞍点。 #define _CRT_SECURE_NO_WARNINGS #include<stdio.h> int main() {int a[10][10] { 0 };int n 0, m 0;int i 0, j 0;printf("请输入这个数组有n行m列…

算法学习——栈与队列

栈与队列 栈与队列理论基础用栈实现队列思路代码 用队列实现栈思路代码 删除字符串中的所有相邻重复项思路代码 有效的括号思路代码 逆波兰表达式求值思路代码 滑动窗口最大值思路代码未完待续 前 K 个高频元素思路代码拓展 总结栈在系统中的应用括号匹配问题字符串去重问题逆波…