mysql view 是否真不能用 mysql mvcc readview

转载

jimoshalengzhou 2023-09-15 22:16:07

一沈秋园，满庭霜落，云烟北桥夜连城

MVCC 是多版本并发控制的缩写，是一种数据库和编程语言中常用的并发控制方法。它通过保存数据的历史版本，实现对数据库的高效访问。

MySQL 中 MVCC 主要是通过行记录中的隐藏字段（隐藏主键 row_id，事务ID trx_id，回滚指针 roll_pointer），undo_log（版本链），ReadView（一致性试图）来实现的。

下面是一个简单的例子：

假设有一个表 t，有两个字段 id 和 name，初始状态如下：

现在有两个事务 T1 和 T2，T1 在可重复读（Repeatable Read）隔离级别下，T2 在读已提交（Read Committed）隔离级别下。

T1 和 T2 的执行过程如下：

1，T1 开始，执行 select * from t; 得到结果：

2，T2 开始，执行 update t set name = 'C' where id = 1; 此时表 t 的行记录发生变化，变为：

此时 undo log 中记录了 id 为 1 的行记录的旧版本：

id	name	row_id	trx_id	roll_pointer
1	A	300	NULL	NULL

3，T1 再次执行 select * from t; 此时由于 T1 是可重复读隔离级别，它会根据自己的 ReadView 来判断那些记录是可见的。

ReadView中保存了当前活跃事务的 ID 列表，以及当前系统最小和最大事务ID。

假设 T1 的 ReadView 如下：

min_trx_id	max_trx_id	active_trx_id
100	200	[200]

那么T1会根据以下规则来判断行记录是否可见：

如果行记录的trx_id为NULL，或者小于min_trx_id，说明该行记录是在T1之前就已经提交的，对T1可见。
如果行记录的trx_id等于T1自己的trx_id，说明该行记录是T1自己修改的，对T1可见。
如果行记录的trx_id大于max_trx_id，说明该行记录是在T1之后才修改的，对T1不可见。
如果行记录的trx_id在min_trx_id和max_trx_id之间，并且不在active_trx_ids中，说明该行记录是在T1之前就已经提交的，对T1可见。
如果行记录的trx_id在min_trx_id和max_trx_id之间，并且在active_trx_ids中，说明该行记录是由其他未提交事务修改的，对T1不可见。

根据这些规则，T1会发现 id 为1的行记录不可见，因为它的 trx_id 为 200，在 active_trx_ids 中。所以 T1 会沿着回滚指针找到 undo log 中的旧版本，并判断它是否可见。

旧版本的 trx_id 为NULL，小于 min_trx_id，所以对 T1 可见。因此，T1 得到结果：

这就是MVCC的原理，通过保存数据的历史版本，实现对数据库的高效访问，保证事务的一致性和隔离性。

接下来看T2的执行过程：

4，T2 执行 commit; 提交事务，此时表 t 的行记录变为：

undo log中的旧版本被删除。

5，T2再次执行 select * from t; ，此时由于 T2 是读已提交隔离级别，它会根据自己的 ReadView 来判断哪些行记录是可见的。

ReadView 中保存了当前活跃事务的 ID列表，以及当前系统最小和最大事务ID。

假设 T2 的 ReadView 如下：

min_trx_id	max_trx_id	active_trx_id
201	201	[]

那么T2会根据以下规则来判断行记录是否可见：

如果行记录的 trx_id 为 NULL，或者小于 min_trx_id，说明该行记录是在 T2 之前就已经提交的，对 T2 可见。
如果行记录的 trx_id 等于 T2 自己的trx_id，说明该行记录是 T2 自己修改的，对 T2 可见。
如果行记录的 trx_id 大于 max_trx_id，说明该行记录是在 T2 之后才修改的，对 T2 不可见。
如果行记录的 trx_id 在 min_trx_id 和 max_trx_id 之间，并且不在 active_trx_ids 中，说明该行记录是在 T2 之前就已经提交的，对 T2 可见。
如果行记录的 trx_id 在 min_trx_id 和 max_trx_id 之间，并且在 active_trx_ids 中，说明该行记录是由其他未提交事务修改的，对 T2 不可见。

根据这些规则，T2 会发现 id 为 1 和 id 为 2 的行记录都可见，因为它们的 trx_id 都为 NULL，小于 min_trx_id。因此，T2 得到结果：