MySQL事务的隔离浅析

一、一致性视图创建时间

• 使用如下命令，一致性视图将在执行第一个快照读语句时创建

begin/start transaction

• 使用如下命令，一致性视图将在执行start transaction with consistent snapshot 时创建的。

start transaction with consistent snapshot

二、MVCC的快照工作过程

InnoDB 里面每个事务有一个唯一的事务 ID，叫作 transaction id。它是在事务开始的时候向 InnoDB 的事务系统申请的，是按申请顺序严格递增的。而每行数据也都是有多个版本的。每次事务更新数据的时候，都会生成一个新的数据版本，并且把 transaction id 赋值给这个数据版本的事务 ID，记为 row trx_id。同时，旧的数据版本要保留，并且在新的数据版本中，能够有信息可以直接拿到它。也就是说，数据表中的一行记录，其实可能有多个版本 (row)，每个版本有自己的 row trx_id。版本之间的回滚是通过undolog实现的。

快照读

InnoDB为每个事务构造了一个数组，用来保存事务的启动瞬间，正在活跃的所有事务的ID，活跃的意思是事务启动了，但是还没提交。数组里面事务ID的最小值为低水位，当前系统里已经创建过的事务ID的最大值加1位高水位。
事务的一致性视图就是由视图数组和高水位组成。

• 落在绿色部分，表示这个事务已经提交，可见
• 落在红色部分，表示是将来启动的事务，不可见
• 落在黄色部分
  • 若row_trx_id在数组中，表示这个版本还没提交，不可见
  • 若row_trx_id不在数组中，表示这个版本已经提交，可见

也就是说

• 版本未提交，不可见
• 版本已提交，但是是在视图创建后提交的，不可见
• 版本已提交，但是实在视图创建前提交的，可见

当前读

当前读的意思就是读取最新的值，不管版本。
那么更新数据都是先读后写的，而这个读，只能读取当前的值，也就是当前读。其实，除了update语句外，select语句如果加锁，也是当前读。