幻读“异常”引出的快照读创建点问题

简介: 幻读“异常”引出的快照读创建点问题

导读

重温快照读、当前读。

本文节选自叶金荣有赞专栏《乱弹MySQL》。

关于InnoDB在事务中何时创建read view,我在 InnoDB MVCC何时创建read view 这篇文章里已经说过,在RC(read committed)隔离级别下是每次SELECT都会构造最新的read view,而在RR(repeatable read)隔离级别下是在事务中发起第一个SELECT时构造read view。接下来我们来看一个幻读的案例。先看运行环境:

[root@yejr.me]>\s
...
Server version:     5.6.21-log MySQL Community Server (GPL)
...
[root@yejr.me]>select * from information_schema.GLOBAL_VARIABLES where
    VARIABLE_NAME = 'innodb_locks_unsafe_for_binlog';
+--------------------------------+----------------+
| VARIABLE_NAME                  | VARIABLE_VALUE |
+--------------------------------+----------------+
| INNODB_LOCKS_UNSAFE_FOR_BINLOG | ON             |
+--------------------------------+----------------+

[root@yejr.me]>select @@global.tx_isolation;
+-----------------------+
| @@global.tx_isolation |
+-----------------------+
| REPEATABLE-READ       |
+-----------------------+

也就是在RR隔离级别下,又设置了 INNODB_LOCKS_UNSAFE_FOR_BINLOG=1,其效果相当于禁用GAP LOCK。换言之,也相当于是把隔离级别降到了RC,这时候会产生幻读。P.S,关于INNODB_LOCKS_UNSAFE_FOR_BINLOG=1有几点提醒:

  • 已经使用RR级别时,最好就不要再将该选项设置为1了,否则有可能会造成主从数据不一致(这时应该同时设置binlog_format=ROW
  • 该选项设置为1时,唯一键和外键约束检测依然会使用next-key lock
  • 该选项只能在启动时设置,且不能在运行过程中动态修改,而事务隔离级别则可以在运行过程中动态修改。从这方面出发,其实有需要的话,最好是自行调整隔离级别就好,而不是设置本选项
  • 该选项从8.0版本开始已经被删除

接来看下这种情况下的幻读案例场景。关于测试表的背景信息:

[root@yejr.me]> show create table t1\G

CREATE TABLE `t1` (
`c1` int(10) unsigned NOT NULL DEFAULT 0,
`c2` int(10) unsigned NOT NULL DEFAULT 0,
PRIMARY KEY (`c1`),
KEY `c2` (`c2`)
) ENGINE=InnoDB DEFAULT CHARSET=utf8;

场景1

session1 session2
begin; begin;
select from t1 where c2 = 5;
...
| 5 | 5 |


select from t1 where c2 = 5;
...
| 5 | 5 |
insert into t1 select 7,5;
commit;


select from t1 where c2 = 5 for update;
...
| 5 | 5 |
| 7 | 5 |

select from t1 where c2 = 5;
#去掉for update后,只能看到一条记录
...
| 5 | 5 |

场景2

session1 session2
begin; begin;
select from t1 where c2 = 5;
...
| 5 | 5 |


select from t1 where c2 = 5 for update;
...
| 5 | 5 |
insert into t1 select 7,5;
commit;
#不会被阻塞


select from t1 where c2 = 5;
...
| 5 | 5 |
| 7 | 5 |
#看到两条记录,疑似发生了幻读?

场景3

session1 session2
begin; start transaction with consistent snapshot;
select from t1 where c2 = 5;
...
| 5 | 5 |

insert into t1 select 7,5;
commit;


select from t1 where c2 = 5 for update;
...
| 5 | 5 |
| 7 | 5 |

select from t1 where c2 = 5;
#去掉for update后,只能看到一条记录
...
| 5 | 5 |

咦,这个案例看起来和场景1有点像?注意到上面3个案例之间的区别了吗,我们来罗列一下:

  • 场景1,session2的第一个select是在session1执行commit之后发起的,此时构建read view
  • 场景2,session2的第一次读是select ... for update形式的,此时似乎没有创建read view
  • 场景3,session2发起事务时直接加了with consistent snapshot,也就是要求创建一致性快照读
  • 看起来场景1和场景3,都是在事务提交前创建了read view
  • 而场景2里,session2是在第二次的select才创建快照,而不是在第一次select ... for update时就创建read viw

上面其实已经提到了几个关键信息:

  1. 在RR隔离级别下,遇到第一个普通SELECT才会开始创建read view。而如果SELECT ... FOR UPDATE/FOR SHARE这样的,叫做当前读或加锁读,这种是不会创建read view的
  2. 即便是 innodb_locks_unsafe_for_binlog=1 的时候,在RR隔离级别下,事务中第一个普通SELECT创建的快照在整个事务过程中依然有效,这个选项的作用只是禁用了gap lock,并不会影响RR级别的其他行为
  3. 发起事务时,如果加上with consistent snapshot会立即创建read view,和事务启动后立刻发起普通SELECT相同效果
  4. 在RC隔离级别下,还是每次普通SELECT都会重新创建read view

好了,就酱。Enjoy MySQL :)

            </div>
相关文章
|
机器学习/深度学习 人工智能 搜索推荐
未来智能医疗:AI助力个性化治疗的新时代
随着人工智能技术的不断发展,智能医疗正逐渐成为医学领域的热门话题。本文探讨了人工智能在医疗领域的应用现状和未来发展趋势,着重介绍了AI如何助力个性化治疗的新时代的到来,展望了未来智能医疗的前景。
529 19
|
存储 Android开发
解决了一个大家都有可能遇到的奇葩权限问题
解决了一个大家都有可能遇到的奇葩权限问题
解决了一个大家都有可能遇到的奇葩权限问题
|
索引 Python
独热(One-Hot)编码简述
独热(One-Hot)编码简述
954 0
独热(One-Hot)编码简述
|
监控 安全 机器人
Hunter狩猎者夹子机器人系统开发丨现成案例
区块链系统由无数节点构成,这些节点类似于一台tai.独立工作的计算机,当需要记账的时候,每一个节点都会参与竞争,系统会在一段时间内选出合适的节点来记账,而这个节点就会在数据区块中记录下近期发生的数据变化,记录完成后,节点就会把这个数据区块发送给其他节点,其他节点首先会核实数据,数据无误的话,就会把这个数据区块也放入自己的账本当中,于是系统里的所有节点都拥有一个完全一样的数据区块,即账本。 这种记账方式被称为区块链技术或者分布式总账技术
Hunter狩猎者夹子机器人系统开发丨现成案例
python字典多键值及重复键值的使用方法(详解)
python字典多键值及重复键值的使用方法(详解)
python字典多键值及重复键值的使用方法(详解)
Jmeter系列(11)- 并发线程组Concurrency Thread Group详解
Jmeter系列(11)- 并发线程组Concurrency Thread Group详解
913 0
Jmeter系列(11)- 并发线程组Concurrency Thread Group详解
|
运维 资源调度 Kubernetes
如何进行架构设计 | 深度揭秘阿里云 Serverless Kubernetes(2)
架构层面上,阿里云如何实现 Serverless Kubernetes ?
如何进行架构设计 | 深度揭秘阿里云 Serverless Kubernetes(2)
|
存储 Linux 调度
考研操作系统【1.5 操作系统引导与虚拟机】
操作系统是一种程序,程序以数据的形式存放于硬盘,硬盘分为多个区,一台计算机中有多个或多种外部存储设备;操作系统引导是计算机利用CPU运行特定程序,通过程序识别硬盘,识别硬盘分区,识别硬盘分区上的操作系统,最后通过程序启动操作系统。
583 0
|
传感器 监控 API
十行代码,用python给自己的的手机发短信
当代码要跑很长时间,又想出去玩,又想等代码跑完了能不能告诉下我,好让我回来继续调试,经过网上的调查,找到了用十行python代码给自己手机发短信的方法 特此分享给大家
1002 0
十行代码,用python给自己的的手机发短信
|
云安全 机器学习/深度学习 弹性计算
Gartner发布云产品评估报告:阿里云计算能力全球第一
92.3% 得分率,阿里拿下计算类厂商全球第一。
Gartner发布云产品评估报告:阿里云计算能力全球第一