InnoDB，快照读，在RR和RC下有何差异？

先说结论：

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

RC下：语句级的多版本，即一个事务的多条只读语句，创建不同的版本，可以读到其他事务已提交的数据。
RR下：事务级的多版本，即一个事务只有一个版本，所以读不到其他事务已提交的数据（只有一个版本）。

例子

InnoDB表：
t(id PK, name);
表中有三条记录：
1, shenjian
2, zhangsan
3, lisi

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

A1: start transaction;
B1: start transaction;
A2: select * from t;
B2: insert into t values (4, wangwu);
A3: select * from t;
B3: commit;
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已经提交；

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

B1: start transaction;
A1: start transaction;
A2: select * from t;
B2: insert into t values (4, wangwu);
A3: select * from t;
B3: commit;
A4: select * from t;

提问3：假设事务的隔离级别是可重复读RR，事务A中的三次查询，A2, A3, A4分别读到什么结果集？
提问4：假设事务的隔离级别是读提交RC，A2, A3, A4的结果集又是什么呢？
回答：事务的开始时间不一样，不会影响“快照读”的结果，所以结果集和case 1一样。

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

A1: start transaction;
B1: start transaction;
B2: insert into t values (4, wangwu);
B3: commit;
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}。