mysql RR 快照读与readview

事务

对于MySQL repeatable Isolation，transaction 1 如果读发生在 transaction 2的commit前面，那么transaction 2的update是不影响到transaction 1的read的，这样就会是一个Lost Update

如果transaction 1的read发生在transaction 2后面，即transaction 2先执行完并且commit了，那么就会出现你上面说的这个例子。

注意MySQL下：update a = a + 1，这个是Atomic Operation，不是Lost Update。

Lost Update是： read a, calculate b = a + 1, update b

UNDOLOG

1. creator_trx_id: 当前事务的 id;
2. m_ids: 当前系统中所有的活跃事务的 id，活跃事务指的是当前系统中开启了事务，但是还没有提交的事务;
3. min_trx_id: 当前系统中，所有活跃事务中事务 id 最小的那个事务，也就是 m_id 数组中最小的事务 id;
4. max_trx_id: 当前系统中事务的 id 值最大的那个事务 id 值再加 1，也就是系统中下一个要生成的事务 id。

当一个事务读取某条数据时，就会按照如下规则来决定当前事务能读取到什么数据：

1. 如果当前数据的 row_trx_id 小于 min_trx_id，那么表示这条数据是在当前事务开启之前，其他的事务就已经将该条数据修改了并提交了事务(事务的 id 值是递增的)，所以当前事务能读取到。
2. 如果当前数据的 row_trx_id 大于等于 max_trx_id，那么表示在当前事务开启以后，过了一段时间，系统中有新的事务开启了，并且新的事务修改了这行数据的值并提交了事务，所以当前事务肯定是不能读取到的，因此这是后面的事务修改提交的数据。
3. 如果当前数据的 row_trx_id 处于 min_trx_id 和 max_trx_id 的范围之间，又需要分两种情况：

(a)row_trx_id 在 m_ids 数组中，那么当前事务不能读取到。为什么呢?row_trx_id 在 m_ids 数组中表示的是和当前事务在同一时刻开启的事务，修改了数据的值，并提交了事务，所以不能让当前事务读取到;

(b) row_trx_id 不在 m_ids 数组中，那么当前事务能读取到。row_trx_id 不在 m_ids 数组中表示的是在当前事务开启之前，其他事务将数据修改后就已经提交了事务，所以当前事务能读取到。