专栏首页犀牛饲养员的技术笔记从一个问题来解释下什么是mysql的可重复读

从一个问题来解释下什么是mysql的可重复读

引入问题

这个问题来源于一个网络课程的课后思考题,题目是这样的:

我用下面的表结构和初始化语句作为试验环境,事务隔离级别是可重复读。现在,我要把所有“字段 c 和 id 值相等的行”的 c 值清零,但是却发现了一 个“诡异”的、改不掉的情况。请你构造出这种情况,并说明其原理。

mysql> CREATE TABLE `test2` (
  `id` int(11) NOT NULL,
  `c` int(11) DEFAULT NULL,
  PRIMARY KEY (`id`)
) ENGINE=InnoDB;
insert into test2(id, c) values(1,1),(2,2),(3,3),(4,4);

补充解释下这个问题,mysql环境,innodb引擎,事务的隔离级别是可重复读,一个表只有两个字段,然后插入4条数据,希望你构造上图中的一种情况,就是明明update了,但是结果没有更新,select也好像没有生效。

给出问题的答案

先直接给出答案吧,

开启两个mysql的交互窗口,模拟两个事物的操作,比如一个事物叫A,一个事物叫B。

流程是这样的,

//事物A
start transaction with consistent snapshot;
//事物B
update test2 set c = c + 4;
//事物A 
update test2 set c = 0 where id = c;
//事物A
select * from test2;

具体操作的截图如下,

A事物 commit 后(事物结束),才可以通过select看到真实数据。

解释说明

要理解这个问题的答案,首先需要搞懂什么是可重复读的隔离级别。

可重复读隔离级别,事务 A 启动的时候会创建一个视图 read-view,之后事务 A 执行期间,即使有其他事务修改了数据,事务 A 看到的仍然跟在启动时看到的一样。

我们首先在事物 A 执行 start transaction with consistent snapshot,这个就开始了事物A的生命周期,并且是手动事物。因为 start transaction 默认就禁用了autocommit。

然后事物 B 开始直接执行了update。为了操作简单这里用了自动事物。也就是事物 B 在update后事物就提交了。

这个时候数据变成了下面这个样子:

id

c

1

5

2

6

3

7

4

8

然后事物A继续执行 update test2 set c = 0 where id = c;,很明显由于事物B已经提交了,事物A的update的使用的是当前读,判断条件不满足,所以事物 A 不会更新任何数据。

接着,事物 A 执行select语句,为什么结果还是以前的数据呢?是因为事物 A 的select使用的一致读,也叫快照读,读取的还是以前的快照数据。

一致性读是读取在某个时间点已经提交了的数据, 在本示例中,这个时间点就是 start transaction with consistent snapshot执行的时间点。

索引,现在互联网公司大部分会把隔离级别设置成RC(Read Commited),也就是读已提交模式。当然除了上面那个问题,还有其它原因,这个不是本文的重点就不展开来讲了。

本文分享自微信公众号 - 犀牛饲养员的技术笔记(coder_start_up),作者:siwuxie18

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2020-01-17

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 看看斯坦福大学是如何教学生编程的

    最近在看斯坦福大学的<<programming abstractions>>课程,觉得其中的一节课讲得特别好,大概50分钟左右的一节课的视频, 仅仅一节课,就...

    用户7634691
  • 详解 java CompletableFuture

    要理解 CompletableFuture,首先要弄懂什么是 Future。因为后者是前者的扩展。本文并不打算详细的介绍 Future,毕竟不是本文的重点。

    用户7634691
  • 如何优雅的判断一个对象的属性是否全部为空

    马上能想到的一个方案是,一个一个判断对象中的属性。这个倒也可以,但是如果要判断的对象比较多,就得给每个对象写一个判断方法(因为每个对象的属性都不一样)。

    用户7634691
  • 、Maximum Product Subarray

    Find the contiguous subarray within an array (containing at least one number) wh...

    Tyan
  • 学好 MP4,让直播更给力

    villainhr
  • HDU 1166 树状数组 敌兵布阵

    Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Ot...

    csxiaoyao
  • 看得懂的数学之美:从青年欧拉对巴塞尔问题的解法说起

    欧拉,历史上最重要的数学家之一,也是最高产的数学家,平均每年能写八百多页论文。我们经常能见到以他名字命名的公式与定理,可能最广为人知的便是「世界上最美的公式」欧...

    机器之心
  • Leetcode 47. Permutations II

    版权声明:博客文章都是作者辛苦整理的,转载请注明出处,谢谢! https://blog.csdn....

    Tyan
  • Leetcode 46. Permutations

    版权声明:博客文章都是作者辛苦整理的,转载请注明出处,谢谢! https://blog.csdn....

    Tyan
  • HDUOJ-----1166敌兵布阵

    敌兵布阵 Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java...

    Gxjun

扫码关注云+社区

领取腾讯云代金券