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的当前读会被阻塞

你可能感兴趣的