mysql事务总结

隔离性与隔离级别

• ACID（Atomicity、Consistency、Isolation、Durability，即原子性、一致性、持久性、隔离性）

SQL 标准的事务隔离级别包括：

• 读未提交（read uncommitted）
• 读提交（read committed）
• 可重复读（repeatable read）
• 串行化（serializable ）

在实现上，数据库里面会创建一个视图，访问的时候以视图的逻辑结果为准。

• “读未提交”隔离级别下直接返回记录上的最新值，没有视图概念；
• 在“读提交”隔离级别下，这个视图是在每个 SQL 语句开始执行的时候创建的
• 在“可重复读”隔离级别下，这个视图是在事务启动时创建的，整个事务存在期间都用这个视图
• “串行化”隔离级别下直接用加锁的方式来避免并行访问

oracle默认是读提交、mysql默认是可重复读

mvcc

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

• 而每行数据也都是有多个版本的。每次事务更新数据的时候，都会生成一个新的数据版本，并且把 transaction id 赋值给这个数据版本的事务 ID，记为 row trx_id。同时，旧的数据版本要保留，并且在新的数据版本中，能够有信息可以直接拿到它

  • 也就是说，数据表中的一行记录，其实可能有多个版本 (row)，每个版本有自己的 row trx_id
  • 每一行的多个版本v1,v2,v3并不是真实存在的，而是当前版本通过undolog算出来的

• 按照可重复读的定义，一个事务启动的时候，能够看到所有已经提交的事务结果。但是之后，这个事务执行期间，其他事务的更新对它不可见

  • 在实现上， InnoDB 为每个事务构造了一个数组，用来保存这个事务启动瞬间，当前正在“活跃”的所有事务 ID。“活跃”指的就是，启动了但还没提交
  • 数组里面事务 ID 的最小值记为低水位，当前系统里面已经创建过的事务 ID 的最大值加 1 记为高水位,这个视图数组和高水位，就组成了当前事务的一致性视图（read-view）

  • 对于当前事务的启动瞬间来说，一个数据版本的 row trx_id，有以下几种可能

    • 如果一个数据的版本row trx_id<低水位表示这个版本是已提交的事务或者是当前事务自己生成的，这个数据是可见的
    • 如果一个数据的版本row trx_id > 高水位表示是将来的事务生成的，肯定不可见

    • 如果一个数据的版本row trx_id在低水位与高水位之间，有两种可能

      • 若在数组中，是未提交的修改，不可见

      • 不在数组中，是提交的修改，可见

        • 假设数组是[1,2,3,5]，查看的数据版本是4，这意味着在事务启动时，[1,2,3,5]事务都没有提交，但是4提交了，所以4是可以被看到的。这也说明低水位～高水位数字范围之间的row trx_id并不是都没有提交的，而是不在数组中的就是已经被提交的
    • 自己的事务版本可见

• 更新数据都是先读后写的，而这个读，只能读当前的值，称为“当前读”（current read）

  • 除了 update 语句外，select 语句如果加锁，也是当前读

    • select k from t where id=1 lock in share mode;读锁
    • select k from t where id=1 for update;写锁
  • 假设事务a对于某一行的当前读（更新或select加锁），事务b正在更新，但是还没提交，此时事务a的当前读会被阻塞