昨天挖了一个坑《InnoDB的快照读,到底和什么相关?》,今天来填坑。
为了保证文章知识体系的完整性,先简单解释下快照读,读提交,可重复读。
快照读(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读到相同的结果集
画外音:可以看到
(1)和并发事务的开始时间没关系,和事务首次read的时间有关;
(2)由于不加锁,和互斥关系也不大;
这些就能解答《InnoDB的快照读,到底和什么相关?》中的问题了,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读到的结果集肯定是,这是事务A的第一个read,假设为时间T;
(2)A3读到的结果集也是,因为B还没有提交;
(3)A4读到的结果集还是,因为事务B是在时间T之后提交的,A4得读到和A2一样的记录;
提问2:假设事务的隔离级别是读提交RC,A2, A3, A4又分别读到什么结果集呢?
回答:RC下
(1)A2读到的结果集是;
(2)A3读到的结果集也是,因为B还没有提交;
(3)A4读到的结果集还是,因为事务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之前提交事务写入的数据行,故结果集为。在RC下,没有疑问,一定是。
case 4,事务开始的时间再换一下(B先于A开始,B先于A结束):
B1: start transaction;
A1: start transaction;
B2: insert into t values (4, wangwu);
B3: commit;
A2: select * from t;
提问7:假设事务的隔离级别是可重复读RR,事务A中的A2查询,结果集是什么?
提问8:假设事务的隔离级别是读提交RC,A2的结果集又是什么呢?
回答:事务的开始时间不一样,不会影响“快照读”的结果,所以结果集和case 3一样。
啰嗦说了这么多,用昨天一位网友“山峰”同学的话总结:
RR下,事务在第一个Read操作时,会建立Read View
RC下,事务在每次Read操作时,都会建立Read View
架构师之路-分享可落地的架构文章
《InnoDB,并发如此之高的原因》
《InnoDB,巧妙实现事务的四种隔离级别》
《InnoDB,索引记录上的三种锁》
《InnoDB,聚集索引与普通索引有什么不同?》
《索引,底层是如何实现的?》
领取专属 10元无门槛券
私享最新 技术干货