转载：《InnoDB，快照读，在RR和RC下有何差异？》

结论

为了保证文章知识体系的完整性，先简单解释下快照读，读提交，可重复读。

快照读（Snapshot Read）

MySQL 数据库，InnoDB 存储引擎，为了提高并发，使用 MVCC 机制，在并发事务时，通过读取数据行的历史数据版本，不加锁，来提高并发的一种不加锁一致性读（Consistent Nonlocking Read）。

读提交（Read Committed）

  • 数据库领域，事务隔离级别的一种，简称 RC
  • 它解决“读脏”问题，保证读取到的数据行都是已提交事务写入的
  • 它可能存在“读幻影行”问题，同一个事务里，连续相同的 read 可能读到不同的结果集

可重复读（Repeated Read）

  • 数据库领域，事务隔离级别的一种，简称RR
  • 它不但解决“读脏”问题，还解决了“读幻影行”问题，同一个事务里，连续相同的read读到相同的结果集

在读提交（RC），可重复读（RR）两个不同的事务的隔离级别下，快照读有什么不同呢？

先说结论：

  • 事务总能够读取到，自己写入（update /insert /delete）的行记录
  • RC 下，快照读总是能读到最新的行数据快照，当然，必须是已提交事务写入的
  • RR 下，某个事务首次 read 记录的时间为 T，未来不会读取到 T 时间之后已提交事务写入的记录，以保证连续相同的 read 读到相同的结果集

可以看到：

  • 和并发事务的开始时间没关系，和事务首次read的时间有关；
  • 由于不加锁，和互斥关系也不大；

示例

InnoDB 表：t(id PK, name);

表中有三条记录：

1, shenjian
2, zhangsan
3, lisi

示例1

两个并发事务A，B执行的时间序列如下（A先于B开始，B先于A结束）：

  1. A1: start transaction;
  2.                  B1: start transaction;
  3. A2: select * from t;
  4.          B2: insert into t values (4, wangwu);
  5. A3: select * from t;
  6.          B3: commit;
  7. A4: select * from t;

提问1：假设事务的隔离级别是可重复读RR，事务A中的三次查询，A2, A3, A4分别读到什么结果集？

回答：RR下

  1. A2读到的结果集肯定是 {1, 2, 3}，这是事务A的第一个 read，假设为时间T；
  2. A3读到的结果集也是 {1, 2, 3}，因为B还没有提交；
  3. A4读到的结果集还是 {1, 2, 3}，因为事务B是在时间T之后提交的，A4得读到和A2一样的记录；

提问2：假设事务的隔离级别是读提交RC，A2, A3, A4又分别读到什么结果集呢？

回答：RC下

  1. A2读到的结果集是 {1, 2, 3}；
  2. A3读到的结果集也是 {1, 2, 3}，因为B还没有提交；
  3. A4读到的结果集还是 {1, 2, 3, 4}，因为事务B已经提交；

示例2

仍然是上面的两个事务，只是A和B开始时间稍有不同（B先于A开始，B先于A结束）：

  1.                  B1: start transaction;
  2. A1: start transaction;
  3. A2: select * from t;
  4.          B2: insert into t values (4, wangwu);
  5. A3: select * from t;
  6.          B3: commit;
  7. A4: select * from t;

提问3：假设事务的隔离级别是可重复读RR，事务A中的三次查询，A2, A3, A4分别读到什么结果集？

提问4：假设事务的隔离级别是读提交RC，A2, A3, A4的结果集又是什么呢？

回答：事务的开始时间不一样，不会影响“快照读”的结果，所以结果集和示例1一样。

示例3

仍然是并发的事务A与B（A先于B开始，B先于A结束）：

  1. A1: start transaction;
  2.          B1: start transaction;
  3.          B2: insert into t values (4, wangwu);
  4.          B3: commit;
  5. A2: select * from t;

提问5：假设事务的隔离级别是可重复读RR，事务A中的A2查询，结果集是什么？

提问6：假设事务的隔离级别是读提交RC，A2的结果集又是什么呢？

回答：

  • 在RR下，A2是事务A的第一个 read，假设为时间T，它能读取到T之前提交事务写入的数据行，故结果集为 {1, 2, 3, 4}。
  • 在RC下，没有疑问，一定是 {1, 2, 3, 4}。

示例4

事务开始的时间再换一下（B先于A开始，B先于A结束）：

  1.          B1: start transaction;
  2. A1: start transaction;
  3.          B2: insert into t values (4, wangwu);
  4.          B3: commit;
  5. A2: select * from t;

提问7：假设事务的隔离级别是可重复读RR，事务A中的A2查询，结果集是什么？

提问8：假设事务的隔离级别是读提交RC，A2的结果集又是什么呢？

回答：事务的开始时间不一样，不会影响“快照读”的结果，所以结果集和示例3一样。

啰嗦说了这么多，用昨天一位网友“山峰”同学的话总结：

  • RR下，事务在第一个 Read 操作时，会建立 Read View
  • RC下，事务在每次 Read 操作时，都会建立 Read View

作者：殷建卫 链接：https://www.yuque.com/yinjianwei/vyrvkf/wig7wg 来源：殷建卫 - 架构笔记 著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。