• Mysql高级——事务(2)


    MySQL事务日志

    事务有4种特性:原子性、一致性、隔离性和持久性。那么事务的四种特性到底是基于什么机制实现呢?

    • 事务的隔离性由锁机制实现。

    • 而事务的原子性、一致性和持久性由事务的 redo 日志和undo 日志来保证。

      • REDO LOG 称为重做日志,提供再写入操作,恢复提交事务修改的页操作,用来保证事务的持久性。

      • UNDO LOG 称为回滚日志,回滚行记录到某个特定版本,用来保证事务的原子性、一致性。

    1. redo日志

    一方面,缓冲池可以帮助我们消除CPU和磁盘之间的鸿沟,checkpoint机制可以保证数据的最终落盘,然而由于checkpoint 并不是每次变更的时候就触发的,而是master线程隔一段时间去处理的。所以最坏的情况就是事务提交后,刚写完缓冲池,数据库宕机了,那么这段数据就是丢失的,无法恢复。

    另一方面,事务包含持久性的特性,就是说对于一个已经提交的事务,在事务提交后即使系统发生了崩溃,这个事务对数据库中所做的更改也不能丢失。

    那么如何保证这个持久性呢? 一个简单的做法:在事务提交完成之前把该事务所修改的所有页面都刷新到磁盘,但是这个简单粗暴的做法有些问题

    另一个解决的思路:我们只是想让已经提交了的事务对数据库中数据所做的修改永久生效,即使后来系统崩溃,在重启后也能把这种修改恢复出来。所以我们其实没有必要在每次事务提交时就把该事务在内存中修改过的全部页面刷新到磁盘,只需要把修改了哪些东西记录一下就好。比如,某个事务将系统表空间中第10号页面中偏移量为100 处的那个字节的值 1 改成2 。我们只需要记录一下:将第0号表空间的10号页面的偏移量为100处的值更新为 2 。

    在这里插入图片描述

    1.2 REDO日志的好处、特点

    1. 好处
      redo日志降低了刷盘频率
      redo日志占用的空间非常小

    2. 特点
      redo日志是顺序写入磁盘的
      事务执行过程中,redo log不断记录

    1.3 redo的组成

    Redo log可以简单分为以下两个部分:

    • 重做日志的缓冲 (redo log buffer) ,保存在内存中,是易失的。

    参数设置:innodb_log_buffer_size:

    redo log buffer 大小,默认16M ,最大值是4096M,最小值为1M。

    mysql> show variables like '%innodb_log_buffer_size%';
    +------------------------+----------+
    | Variable_name | Value |
    +------------------------+----------+
    | innodb_log_buffer_size | 16777216 |
    +------------------------+----------+
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 重做日志文件 (redo log file) ,保存在硬盘中,是持久的。

    1.4 redo的整体流程

    以一个更新事务为例,redo log 流转过程,如下图所示:

    在这里插入图片描述

    第1步:先将原始数据从磁盘中读入内存中来,修改数据的内存拷贝
    第2步:生成一条重做日志并写入redo log buffer,记录的是数据被修改后的值
    第3步:当事务commit时,将redo log buffer中的内容刷新到 redo log file,对 redo log file采用追加写的方式
    第4步:定期将内存中修改的数据刷新到磁盘中

    Write-Ahead Log(预先日志持久化):在持久化一个数据页之前,先将内存中相应的日志页持久化。

    1.5 redo log的刷盘策略

    redo log的写入并不是直接写入磁盘的,InnoDB引擎会在写redo log的时候先写redo log buffer,之后以一定的频率刷入到真正的redo log file 中。这里的一定频率怎么看待呢?这就是我们要说的刷盘策略。

    在这里插入图片描述

    注意,redo log buffer刷盘到redo log file的过程并不是真正的刷到磁盘中去,只是刷入到文件系统缓存(page cache)中去(这是现代操作系统为了提高文件写入效率做的一个优化),真正的写入会交给系统自己来决定(比如page cache足够大了)。那么对于InnoDB来说就存在一个问题,如果交给系统来同步,同样如果系统宕机,那么数据也丢失了(虽然整个系统宕机的概率还是比较小的)。针对这种情况,InnoDB给出innodb_flush_log_at_trx_commit 参数,该参数控制 commit提交事务时,如何将 redo log buffer 中的日志刷新到 redo log file 中。它支持三种策略:

    • 设置为0 :表示每次事务提交时不进行刷盘操作。(系统默认master thread每隔1s进行一次重做日志的同步)

    • 设置为1 :表示每次事务提交时都将进行同步,刷盘操作( 默认值)

    • 设置为2 :表示每次事务提交时都只把 redo log buffer 内容写入 page cache,不进行同步。由os自己决定什么时候同步到磁盘文件。

    1.6 不同刷盘策略演示

    在这里插入图片描述

    在这里插入图片描述

    外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

    1.7 写入redo log buffer 过程

    1. 补充概念:Mini-Transaction

    一个事务可以包含若干条语句,每一条语句其实是由若干个mtr 组成,每一个mtr 又可以包含若干条redo日志,画个图表示它们的关系就是这样:

    在这里插入图片描述

    2. redo 日志写入log buffer

    在这里插入图片描述

    每个mtr都会产生一组redo日志,用示意图来描述一下这些mtr产生的日志情况:

    在这里插入图片描述

    不同的事务可能是并发执行的,所以T1 、T2 之间的mtr 可能是交替执行的。

    在这里插入图片描述

    3. redo log block的结构图

    在这里插入图片描述

    在这里插入图片描述

    1.8 redo log file

    1. 相关参数设置
    • innodb_log_group_home_dir :指定 redo log 文件组所在的路径,默认值为./ ,表示在数据库的数据目录下。MySQL的默认数据目录( var/lib/mysql )下默认有两个名为ib_logfile0 和ib_logfile1 的文件,log buffer中的日志默认情况下就是刷新到这两个磁盘文件中。此redo日志文件位置还可以修改。

    • innodb_log_files_in_group:指明redo log file的个数,命名方式如:ib_logfile0,iblogfile1…iblogfilen。默认2个,最大100个。

    mysql> show variables like 'innodb_log_files_in_group';
    +---------------------------+-------+
    | Variable_name | Value |
    +---------------------------+-------+
    | innodb_log_files_in_group | 2 |
    +---------------------------+-------+
    #ib_logfile0
    #ib_logfile1
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    • 7
    • 8
    • innodb_flush_log_at_trx_commit:控制 redo log 刷新到磁盘的策略,默认为1。

    • innodb_log_file_size:单个 redo log 文件设置大小,默认值为48M。最大值为512G,注意最大值指的是整个 redo log 系列文件之和,即(innodb_log_files_in_group * innodb_log_file_size )不能大于最大值512G。

    mysql> show variables like 'innodb_log_file_size';
    +----------------------+----------+
    | Variable_name | Value |
    +----------------------+----------+
    | innodb_log_file_size | 50331648 |
    +----------------------+----------+
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6

    根据业务修改其大小,以便容纳较大的事务。编辑my.cnf文件并重启数据库生效,如下所示

    [root@localhost ~]# vim /etc/my.cnf
    innodb_log_file_size=200M
    
    • 1
    • 2
    2. 日志文件组

    在这里插入图片描述

    总共的redo日志文件大小其实就是: innodb_log_file_size × innodb_log_files_in_group

    采用循环使用的方式向redo日志文件组里写数据的话,会导致后写入的redo日志覆盖掉前边写的redo日志?当然!所以InnoDB的设计者提出了checkpoint的概念。

    3. checkpoint

    在这里插入图片描述

    如果 write pos 追上 checkpoint ,表示日志文件组满了,这时候不能再写入新的 redo log记录,MySQL 得停下来,清空一些记录,把 checkpoint 推进一下。

    在这里插入图片描述

    2. Undo日志

    redo log是事务持久性的保证,undo log是事务原子性的保证。在事务中更新数据的前置操作其实是要先写入一个undo log 。

    2.1理解Undo日志

    事务需要保证原子性,也就是事务中的操作要么全部完成,要么什么也不做。但有时候事务执行到一半会出现一些情况,比如:

    • 情况一:事务执行过程中可能遇到各种错误,比如服务器本身的错误, 操作系统错误,甚至是突然断电导致的错误

    • 情况二:程序员可以在事务执行过程中手动输入ROLLBACK 语句结束当前事务的执行

    以上情况出现,我们需要把数据改回原先的样子,这个过程称之为回滚,这样就可以造成一个假象:这个事务看起来什么都没做,所以符合原子性要求。

    2.2 Undo日志的作用

    • 作用1:回滚数据
    • 作用2:MVCC

    2.3 undo的存储结构

    1. 回滚段与undo页

    InnoDB对undo log的管理采用段的方式,也就是回滚段(rollback segment) 。每个回滚段记录了1024 个undo log segment ,而在每个undo log segment段中进行undo页的申请。

    从1.1版本开始InnoDB支持最大128个rollback segment ,故其支持同时在线的事务限制提高到了128*1024 。

    mysql> show variables like 'innodb_undo_logs';
    +------------------+-------+
    | Variable_name | Value |
    +------------------+-------+
    | innodb_undo_logs | 128 |
    +------------------+-------+
    
    • 1
    • 2
    • 3
    • 4
    • 5
    • 6
    2. 回滚段与事务
    1. 每个事务只会使用一个回滚段,一个回滚段在同一时刻可能会服务于多个事务。
    2. 当一个事务开始的时候,会制定一个回滚段,在事务进行的过程中,当数据被修改时,原始的数据会被复制到回滚段。
    3. 在回滚段中,事务会不断填充盘区,直到事务结束或所有的空间被用完。如果当前的盘区不够用,事务会在段中请求扩展下一个盘区,如果所有已分配的盘区都被用完,事务会覆盖最初的盘区或者在回滚段允许的情况下扩展新的盘区来使用。
    4. 回滚段存在于undo表空间中,在数据库中可以存在多个undo表空间,但同一时刻只能使用一个undo表空间。
    5. 当事务提交时,InnoDB存储引擎会做以下两件事情:将undo log放入列表中,以供之后的purge操作判断undo log所在的页是否可以重用,若可以分配给下个事务使用
    3. 回滚段中的数据分类
    1. 未提交的回滚数据(uncommitted undo information)
    2. 已经提交但未过期的回滚数据(committed undo information)
    3. 事务已经提交并过期的数据(expired undo information)

    2.4 undo的类型

    在InnoDB存储引擎中,undo log分为:

    • insert undo log
    • update undo log

    2.5 undo log的生命周期

    1. 简要生成过程

    只有Buffer Pool的流程:

    在这里插入图片描述

    有了Redo Log和Undo Log之后:

    在这里插入图片描述

    2. 详细生成过程

    在这里插入图片描述

    当我们执行INSERT时:

    begin;
    INSERT INTO user (name) VALUES ("tom");
    
    • 1
    • 2

    在这里插入图片描述

    当我们执行UPDATE时:

    在这里插入图片描述

    UPDATE user SET id=2 WHERE id=1;
    
    • 1

    在这里插入图片描述

    3. undo log是如何回滚的

    以上面的例子来说,假设执行rollback,那么对应的流程应该是这样:

    1. 通过undo no=3的日志把id=2的数据删除
    2. 通过undo no=2的日志把id=1的数据的deletemark还原成0
    3. 通过undo no=1的日志把id=1的数据的name还原成Tom
    4. 通过undo no=0的日志把id=1的数据删除
    4. undo log的删除
    • 针对于insert undo log

    因为insert操作的记录,只对事务本身可见,对其他事务不可见。故该undo log可以在事务提交后直接删除,不需要进行purge操作。

    • 针对于update undo log

    该undo log可能需要提供MVCC机制,因此不能在事务提交时就进行删除。提交时放入undo log链表,等待purge线程进行最后的删除。

    2.6 小结

    在这里插入图片描述

    undo log是逻辑日志,对事务回滚时,只是将数据库逻辑地恢复到原来的样子。

    redo log是物理日志,记录的是数据页的物理变化,undo log不是redo log的逆过程。

  • 相关阅读:
    沈阳农业大学计算机考研资料汇总
    GJB 5000B二级-QA质量保证
    Mysql 性能分析(慢日志、profiling、explain)、读写分离(主从架构)、分库分表(垂直分库、垂直分表、水平分表)
    翟佳:高可用、强一致、低延迟——BookKeeper的存储实现
    第5期ThreadX视频教程:单片机动态APP加载MPU玩法,隔离应用和系统,APP死机了系统也不会挂(2022-05-15)
    ES修改字段的数据类型
    HTML常用标签二
    建构小小虎丘园林,每个人都是设计师
    每日一题:爬楼梯
    NeurIPS 2023 | FedFed:特征蒸馏应对联邦学习中的数据异构
  • 原文地址:https://blog.csdn.net/qq_51495235/article/details/133363254