Kaze
Kaze
Published on 2023-10-20 / 11 Visits
0
0

08事务到底是隔离的还是不隔离的?

文章地址

  1. 事务的启动时机
    begin/start transaction 命令并不是一个事务的起点,在执行到它们之后的第一个操作 InnoDB 表的语句,事务才真正启动。如果你想要马上启动一个事务,可以使用 start transaction with consistent snapshot 这个命令。

    第一种启动方式,一致性视图是在执行第一个快照读语句时创建的;

    第二种启动方式,一致性视图是在执行 start transaction with consistent snapshot 时创建的。

  2. 一致性读视图
    一致性读视图用于在InnoDB 中实现 MVCC,用于支持 RC(Read Committed,读提交)和 RR(Repeatable Read,可重复读)隔离级别的实现。它没有物理结构,作用是事务执行期间用来定义“我能看到什么数据”。

  3. InnoDB 里面每个事务有一个唯一的事务 ID,叫作 transaction id。它是在事务开始的时候向 InnoDB 的事务系统申请的,是按申请顺序严格递增的。

  4. 每行数据有多个版本,每次事务更新数据的时候,都会生成一个新的数据版本,并且把 transaction id 赋值给这个数据版本的事务 ID,记为 row trx_id。

img

  1. 图中的三个虚线箭头就是 undo log。V1、V2、V3 并不是物理上真实存在的,而是每次需要的时候根据当前版本和 undo log 计算出来的。
  2. InnoDB 为每个事务构造了一个数组,用来保存这个事务启动瞬间,当前正在“活跃”的所有事务 ID。“活跃”指的就是,启动了但还没提交。
  3. 数组里面事务 ID 的最小值记为低水位,当前系统里面已经创建过的事务 ID 的最大值加 1 记为高水位。这个视图数组和高水位,就组成了当前事务的一致性视图(read-view)。
  4. 数据版本的可见性规则,就是基于数据的 row trx_id 和这个一致性视图的对比结果得到的。
  5. 一个数据版本,对于一个事务视图来说,除了自己的更新总是可见以外,有三种情况:
    1. 版本未提交,不可见;
    2. 版本已提交,但是是在视图创建后提交的,不可见;
    3. 版本已提交,而且是在视图创建前提交的,可见。
  6. 更新数据都是先读后写的,而这个读,只能读当前的值,称为“当前读”(current read)。
  7. 事务更新数据的时候,只能用当前读。如果当前的记录的行锁被其他事务占用的话,就需要进入锁等待。
  8. 普通查询语句是一致性读,一致性读会根据 row trx_id 和一致性视图确定数据版本的可见性。
    对于可重复读,查询只承认在事务启动前就已经提交完成的数据;
    对于读提交,查询只承认在语句启动前就已经提交完成的数据;
    当前读,总是读取已经提交完成的最新版本。

Comment