结合诸葛老师的视频，作的总结
快照读(snapshot read)历史数据－mvcc (Multi-Version Concurrency Control)
innodb的默认事务隔离级别是rr（可重复读）。它的实现技术是undolog + MVCC（MVCC只在读提交可重复读两种隔离级别下工作）。基于版本的控制协议。保证innodb的可重复读，而且可以防止幻读。但是它防止的是快照读，也就是读取的数据是历史数据。
基本原理
MVCC的实现，通过保存数据在某个时间点的
快照来实现的。
根据事务开始时间不同，同一个时刻不同事务看到的相同表里的数据可能是不同的。
当执行查询SQL时，会生成一致性视图read-view，它由执行查询的所有未提交事务id数组（数组最小id为min_id）和已创建的最大事务id（max_id）组成，查询的数据果需要跟read-view做比较从而得到快照结果。
版本比对规则
1. 若在绿色部分（trx_id < min_id），表示这个版本是已提交的事务生成的,这个数据是可见的；
2. 若在红色部分（trx_id > max_id），表示这个版本是由将来启动的事务生成的,是肯定不可见；
3. 若在黄色部分（min_id <= trx_id <= max_id），那就包括两种情况
a. 若row的trx_id在数组中，表示这个版本是由还没提交的事务生成的，不可见；
b. 若row的trx_id不在数组中，表示这个版本是已经提交了的事务生成的，可见
• delete可以认为是update的特殊偦兄，会将版本链上最新的数据复制一份，然后将trx_id修改成删除操作的trx_id，同时在该条记录的头信息里的delete_flag置true，表示已删除
基本特征
• update,delete,insert事务会产生事务id，只存在select的事务没有id
• 执行select操作，会产生一个数组和一个区间，数组：{未commit的id}，区间：[未commit的最小id, 已创建的最大id]
• 写操作会产生一个"undo回滚日志"和"版本链"
-
见下表操作
-
翻译成log状文本
[447]: update s set age = 1 where id = 1;{447} [447, 447]
[452]: update s set age = 2 where id = 2; {447, 452} [447, 452]
[xx1]: select_1
[453]: update s set age = 3 where id = 3; {447, 452, 453} [447, 453]
[453]: commit; {447, 452} [447, 453]
[xx1]: select_1
[452]: delete from students where id = 5; {447, 452} [447, 453]
[452]: commit; {447} [447, 453]
[xx2]: select_2
[447]: update s set age = 10 where id = 1; {447} [447, 453]
[447]: commit; {} [453]
[xx3]: select_3
-
用图表表示
-
解释
select_3:select_3首次出现时，数组和区间分别是{} [453]。从最后一个表开始看，所有trx_id都满足【规则1】或【规则3b】，但最后一条记录为"true"，可得数据；
select_2:select_2首次出现时，数组和区间分别是{447} [447, 453]。从最后一个表开始看，【第1行trx_id】满足【规则3a】，数据不符合要求，向前递推到50，取出数据。【第2,3,4行trx_id】均满足规则【规则3b】，但4行为true，可得数据；
select_1: select_1首次出现时，数组和区间分别是{447, 452} [447, 452]。从最后一个表开始看，所有trx_id都满足【规则2】或【规则3a】，一直递推到第一张表，可得数据；
