翼度科技»论坛 编程开发 mysql 查看内容

MySQL高级12-事务原理

8

主题

8

帖子

24

积分

新手上路

Rank: 1

积分
24
一、事务概念

  事务是一组操作的集合,他是一个不可分割的工作单位,事务会把所有操作作为一个整体一起向系统提交或者撤销请求操作,即这些操作要么同时成功,要么同时失败。
二、事务特性


  • 原子性(Atomicity):事务是不可分割的最小操作单元,要么全部成功,要么全部失败
  • 一致性(Consistency):事务完成时,必须是所有的数据保持一致性状态
  • 隔离性(Isolation):数据库系统提供的隔离机制,保证事务在不受外部并发操作影响的独立环境下运行
  • 持久性(Durability):事务一旦提交或回滚,他对数据库中的数据的该表就是永久的
三、事务的隔离级别


  • 读未提交(Read Uncommitted):最低的隔离级别,事务可以读取到其他事务尚未提交的数据,存在脏读(Dirty Read)问题,即读取到未提交的数据,可能导致数据的不一致性。
  • 读已提交(Read Committed):事务只能读取到其他事务已经提交的数据,解决了脏读的问题,但是可能导致不可重复读(Non-Repeatable Read)问题,即在同一事物中多次读取同一数据时可能会得到不同的结果。
  • 可重复读(Repeatable Read):可重复读是MySQL默认的隔离级别,并且解决了不可重复读问题,在一个事务中,多次读取同一数据会得到相同的结果,及时其他事务更改了数据。
  • 串行化读(Serializable):最高的隔离级别,强制所有事务按照顺序依次执行,避免了脏读,不可重读和幻读(Phantom Read),幻读指在同一事务中,多次查询同一个范围的数据时,结果集合的行数可能不一致。
四、Redo Log

  在MySQL中,Redo Log和Undo Log是用来支持事务和保证数据一致性的关键日志机制。
  Redo Log(重做日志): 作用是记录了所有对数据库的修改操作,包括插入、更新和删除等操作。记录了事务提交时数据页的物理修改,是用来实现事务的持久性
  该日志文件有两部分组成:重做日志缓冲(Redo Log Buffer)以及重做日志文件(Redo Log File),前者是在内存中,后者在磁盘中,当事务提交之后会把所有信息都存到该日志文件中,用户刷新脏页到磁盘,发生错误时,进行数据恢复使用。
  工作原理:当事务进行数据修改时,MySQL将修改的操作记录到 Redo Log中,而不直接写入磁盘的数据文件中。这样可以减少磁盘IO的操作,提高性能。在事务提交时,Redo Log的内容会被异步刷新到磁盘上的数据文件中,确保数据的持久性。如果系统崩溃,MySQL可以通过Redo Log中的信息重做之前未写入磁盘的修改操作,恢复到事务提交的状态。
五、Undo Log

  5.1 简介

    Undo Log(回滚日志):用来支持事务的回滚操作,即将事务的修改操作撤销,恢复到之前的状态。在insert、update、delete的时候产生的便于数据回滚的日志。
    当insert的时候,产生的 Undo Log日志只在回滚时需要,在事务提交后,可被立即删除。
    而update、delete的时候,产生的Undo Log日志不仅在回滚时需要,在快照读时也需要,不会立即被删除。
    工作原理:当事务进行数据修改时,MySQL将修改的操作记录到Undo Log中,并在事务提交之前保留这些修改的记录。如果事务发生回滚操作,MySQL会根据Undo Log中的信息,将事务的修改操作撤销,将数据还原到事务开始的状态。因此,Undo Log为事务提供了撤销操作的能力,确保数据库的一致性。
  5.2 Undo Log 版本链

    不同事务或相同事务对同一条记录进行修改,会导致该记录的Undo Log生成一条记录版本链,链表的头部是最新的旧记录,链表尾部是最早的旧记录
    

     说明1:第一次insert的数据,此时DB_TRX_ID 为1, 因为还没有修改过,所以DB_ROLL_PTR为null
    

     说明2:此时我们模拟几个并发同时开始的事务
    

     说明3:此时我们在事务2中修改id为30的数据
    

    说明4:那么在执行修改操作之前,会先把原始数据写入Undo Log日志中一份,方便数据回滚
    说明5:在此时原始记录中age改为3,并且隐藏字段DB_TRX_ID变为2,DB_ROLL_PTR在为Undo Log 日志中的第一条数据的地址
    

     说明6:此时事务2提交事务之后,事务3又修改id为30的数据,name改为A3
  

    说明7:此时在更改原始数据之前,需要把当前的数据在写入到Undo Log日志中一份,继续方便做数据回滚,而这时Undo Log中就有了两条数据
    说明8:然后就可以修改原始数据 name 改为 A3,并且DB_TRX_ID也改为3,DB_ROLL_PTR指向Undo Log第二条日志的地址。
    说明9:这样就形成了一条完整的Undo Log版本链 
六、MVCC

  6.1 当前读

    读取的是记录的最新版本,读取时还要保证其他并发事务不能修改当前记录,会对读取的记录进行枷锁。
    如:select...lock in share mode(共享锁)、select...for update、update、insert、delete(排他锁)都是一种当前读。
    

   6.2 快照读

    简单的select(不加锁)就是快照读,快照读读取的是记录数据的可见版本,有可能是历史数据,不加锁,是非阻塞读。



    • Read Committed:每次select,都生成一个快照读。
    • Repeatable Read:开启事务后第一个select语句就会生成一个快照读,其后面的select读取的都是快照中的数据,所以数据才是可重复读的。
    • Serializable:快照读会退化为当前读      

  6.3 MVCC

    全称 Multi-Version Concurrency Control 多版本并发控制。指维护一个数据的多个版本,使得读写操作没有冲突,快照读为MySQL实现MVCC提供了一个非阻塞读功能。MVCC具体实现,还需要依赖于数据库记录中的三个隐式字段、Undo Log日志、readView。
  6.4 记录中的三个隐藏字段   

    示例如下: 
   

    DB_TRX_ID:最近修改事务ID,记录插入这条记录或最后一次修改该记录的事务ID
    DB_ROLL_PTR:回滚指针,指向这条记录的上一个版本,用于配合Undo Log,指向上一个版本
    DB_ROW_ID:隐式主键,如果表结构没有指定主键,将会生成该隐藏字段
    使用指令重新创建一个表mvcc_test,这个时候不给该表设置主键
    

    然后在数据库路径下的data文件夹下就可以找到我们刚创建的独立表结构空间mvcc_test.ibd
    

     MySQL提供了一个ibd2sdi 指令可以查看表结构空间
  1. root@ubuntu:/usr/local/mysql/data/mysql_test# <strong>ibd2sdi mvcc_test.ibd</strong>
  2. ["ibd2sdi",
  3. {
  4.     ...                                     # 这里的 ... 是我过滤掉的无关数据
  5.     "dd_object_type": "Table",              # 这里说明这是一个表结构
  6.     "dd_object": {
  7.         "name": "mvcc_test",           # 名称 mvcc_test
  8.         ...
  9.         "columns": [                        # 所有的列
  10.             {
  11.                 "name": "name",             # 自己定义的name列
  12.                ...
  13.             },
  14.             {
  15.                 "name": "DB_ROW_ID",         # 隐式创建的列
  16.                 ...
  17.             },
  18.             {
  19.                 "name": "DB_TRX_ID",         # 隐式创建的列,如果在创建表的时候指定了主键,则该隐藏字段就不会被创建
  20.                  ...
  21.             },
  22.             {
  23.                 "name": "DB_ROLL_PTR",       # 隐式创建的列
  24.                  ...
  25.             }
  26.         ],
  27.         "schema_ref": "mysql_test",          # 该表所属的数据库
  28.       ...
  29.     }<br>}
  30. ]
  31. root@ubuntu:/usr/local/mysql/data/mysql_test#
复制代码
七、readView

  7.1 readView(读视图)

    是快照读SQL执行时MVCC提取数据的依据,记录并维护系统当前活跃的事务id,即未提交的事务id
  7.2 readView中的四个核心字段




    • m_ids:当前活跃的事务ID集合,即当前未提交的事务的ID集合。
    • min_trx_id:最小活跃事务ID。
    • max_trx_id:预分配事务ID,当前最大事务ID+1,因为事务ID是自增的。
    • creator_trx_id:readView创建者的事务ID。

   7.3 版本链数据访问规则

<ul><li ><ul>当前事务ID == creator_trx_id 可以访问该版本:因为当前事务的id=creator_trx_id说明这个版本就是当前事务创建的。
当前事务ID < min_trx_id 可以访问该版本:因为当前事务ID小于当前正在活跃事务的最小ID,说明当前事务已经提交了,并且该版本是在当前时候提交后才创建,所以可以访问。
当前事务ID > max_trx_id 不可以访问该版本:因为当前事务ID比readView最大的活跃ID还大,说明当前事务是在readVIew创建之后才开启的,所以不能访问以前的还未提交事务的数据。
当前事务ID >= min_trx_id 并且

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有账号?立即注册

x

举报 回复 使用道具