QCon全球软件开发大会8折优惠倒计时,购票立减¥1760!了解详情 >>> 了解详情
写点什么

MySQL 中 6 个常见的日志问题

2019 年 1 月 23 日

MySQL 中 6 个常见的日志问题

文章出自极客时间《 MySQL 实战45讲》专栏


MySQL 里有两个日志,即:重做日志(redo log)和归档日志(binlog)。


其中,binlog 可以给备库使用,也可以保存起来用于恢复数据库历史数据。它是实现在 server 层的,所有引擎可以共用。redo log 是 InnoDB 特有的日志,用来支持 crash-safe 能力。


你一定听过 MySQL 事务的两阶段提交,指的就是在事务提交的时候,分成 prepare 和 commit 两个阶段。


如图所示为一个事务的执行流程,你在最后三步可以看到,redo log 先 prepare 完成,再写 binlog,最后才进入 redo log commit 阶段。



这里,我要先和你解释一个误会式的问题:这个图不就是一个 update 语句的执行流程吗,怎么还会调用 commit 语句?


通常情况下,你会产生这个疑问的原因,在于把两个“commit”的概念混淆了:


  • 问题中的“commit 语句”,是指 MySQL 语法中,用于提交一个事务的命令。一般跟 begin/start transaction 配对使用。

  • 而我们图中用到的这个“commit 步骤”,指的是事务提交过程中的一个小步骤,也是最后一步。当这个步骤执行完成后,这个事务就提交完成了。

  • “commit 语句”执行的时候,会包含“commit 步骤”。


而我们这个例子里面,没有显式地开启事务,因此这个 update 语句自己就是一个事务,在执行完成后提交事务时,就会用到这个“commit 步骤”。


接下来,我们就一起分析一下在两阶段提交的不同时刻,MySQL 异常重启会出现什么现象。


如果在图中时刻 A 的地方,也就是写入 redo log 处于 prepare 阶段之后、写 binlog 之前,发生了崩溃(crash),由于此时 binlog 还没写,redo log 也还没提交,所以崩溃恢复的时候,这个事务会回滚。这时候,binlog 还没写,所以也不会传到备库。到这里,我们都可以理解。


而我们理解会出现问题的地方,主要集中在时刻 B,也就是 binlog 写完,redo log 还没 commit 前发生 crash,那崩溃恢复的时候 MySQL 会怎么处理?


我们先来看一下崩溃恢复时的判断规则。


1.如果 redo log 里面的事务是完整的,也就是已经有了 commit 标识,则直接提交;


2.如果 redo log 里面的事务只有完整的 prepare,则判断对应的事务 binlog 是否存在并完整:


a.如果是,则提交事务;


b.否则,回滚事务。


这里,时刻 B 发生 crash 对应的就是 2(a) 的情况,崩溃恢复过程中事务会被提交。


现在,我们就针对两阶段提交再继续延展一下。


问题 1:MySQL 怎么知道 binlog 是完整的?

回答:一个事务的 binlog 是有完整格式的:


  • statement 格式的 binlog,最后会有 COMMIT;

  • row 格式的 binlog,最后会有一个 XID event。


另外,在 MySQL 5.6.2 版本以后,还引入了 binlog-checksum 参数,用来验证 binlog 内容的正确性。对于 binlog 日志由于磁盘原因,可能会在日志中间出错的情况,MySQL 可以通过校验 checksum 的结果来发现。所以,MySQL 还是有办法验证事务 binlog 的完整性的。


问题 2:redo log 和 binlog 是怎么关联起来的?

回答:它们有一个共同的数据字段,叫 XID。崩溃恢复的时候,会按顺序扫描 redo log:


  • 如果碰到既有 prepare、又有 commit 的 redo log,就直接提交;

  • 如果碰到只有 parepare、而没有 commit 的 redo log,就拿着 XID 去 binlog 找对应的事务。


问题 3:处于 prepare 阶段的 redo log 加上完整 binlog,重启就能恢复,MySQL 为什么要这么设计?

回答:其实,这个问题还是跟我们在反证法中说到的数据与备份的一致性有关。在时刻 B,也就是 binlog 写完以后 MySQL 发生崩溃,这时候 binlog 已经写入了,之后就会被从库(或者用这个 binlog 恢复出来的库)使用。


所以,在主库上也要提交这个事务。采用这个策略,主库和备库的数据就保证了一致性。


问题 4:如果这样的话,为什么还要两阶段提交呢?干脆先 redo log 写完,再写 binlog。崩溃恢复的时候,必须得两个日志都完整才可以。是不是一样的逻辑?

回答:其实,两阶段提交是经典的分布式系统问题,并不是 MySQL 独有的。


如果必须要举一个场景,来说明这么做的必要性的话,那就是事务的持久性问题。


对于 InnoDB 引擎来说,如果 redo log 提交完成了,事务就不能回滚(如果这还允许回滚,就可能覆盖掉别的事务的更新)。而如果 redo log 直接提交,然后 binlog 写入的时候失败,InnoDB 又回滚不了,数据和 binlog 日志又不一致了。


两阶段提交就是为了给所有人一个机会,当每个人都说“我 ok”的时候,再一起提交。


问题 5:不引入两个日志,也就没有两阶段提交的必要了。只用 binlog 来支持崩溃恢复,又能支持归档,不就可以了?

回答:我把这个问题再翻译一下的话,是说只保留 binlog,然后可以把提交流程改成这样:… -> “数据更新到内存” -> “写 binlog” -> “提交事务”,是不是也可以提供崩溃恢复的能力?


答案是不可以。


如果说历史原因的话,那就是 InnoDB 并不是 MySQL 的原生存储引擎。MySQL 的原生引擎是 MyISAM,设计之初就有没有支持崩溃恢复。


InnoDB 在作为 MySQL 的插件加入 MySQL 引擎家族之前,就已经是一个提供了崩溃恢复和事务支持的引擎了。


InnoDB 接入了 MySQL 后,发现既然 binlog 没有崩溃恢复的能力,那就用 InnoDB 原有的 redo log 好了。


而如果说实现上的原因的话,就有很多了。就按照问题中说的,只用 binlog 来实现崩溃恢复的流程,我画了一张示意图,这里就没有 redo log 了。



这样的流程下,binlog 还是不能支持崩溃恢复的。我说一个不支持的点吧:binlog 没有能力恢复“数据页”。


如果在图中标的位置,也就是 binlog2 写完了,但是整个事务还没有 commit 的时候,MySQL 发生了 crash。


重启后,引擎内部事务 2 会回滚,然后应用 binlog2 可以补回来;但是对于事务 1 来说,系统已经认为提交完成了,不会再应用一次 binlog1。


但是,InnoDB 引擎使用的是 WAL 技术,执行事务的时候,写完内存和日志,事务就算完成了。如果之后崩溃,要依赖于日志来恢复数据页。


也就是说在图中这个位置发生崩溃的话,事务 1 也是可能丢失了的,而且是数据页级的丢失。此时,binlog 里面并没有记录数据页的更新细节,是补不回来的。


你如果要说,那我优化一下 binlog 的内容,让它来记录数据页的更改可以吗?可以,但这其实就是又做了一个 redo log 出来。


所以,至少现在的 binlog 能力,还不能支持崩溃恢复。


问题 6:那能不能反过来,只用 redo log,不要 binlog?

回答:如果只从崩溃恢复的角度来讲是可以的。你可以把 binlog 关掉,这样就没有两阶段提交了,但系统依然是 crash-safe 的。


但是,如果你了解一下业界各个公司的使用场景的话,就会发现在正式的生产库上,binlog 都是开着的。因为 binlog 有着 redo log 无法替代的功能。


一个是归档。redo log 是循环写,写到末尾是要回到开头继续写的。这样历史日志没法保留,redo log 也就起不到归档的作用。


一个就是 MySQL 系统依赖于 binlog。binlog 作为 MySQL 一开始就有的功能,被用在了很多地方。其中,MySQL 系统高可用的基础,就是 binlog 复制。


还有很多公司有异构系统(比如一些数据分析系统),这些系统就靠消费 MySQL 的 binlog 来更新自己的数据。关掉 binlog 的话,这些下游系统就没法输入了。


总之,由于现在包括 MySQL 高可用在内的很多系统机制都依赖于 binlog,所以“鸠占鹊巢” redo log 还做不到。你看,发展生态是多么重要。


最后,推荐你关注丁奇的《MySQL实战45讲》专栏。在专栏里,丁奇会帮你梳理出学习 MySQL 的主线知识,比如事务、索引、锁等,还会就开发过程中经常遇到的具体问题和你分析讨论,并且帮你理解问题背后的本质。你会收获 MySQL 核心技术详解与原理说明和 36 个 MySQL 常见痛点问题解析。


2019 年 1 月 23 日 17:329924

评论 2 条评论

发布
用户头像
理解深刻,好文
2020 年 03 月 19 日 08:39
回复
用户头像
写的真踏马好!!!
2019 年 07 月 22 日 16:59
回复
没有更多了
发现更多内容

ARTS-week-2

saddamwilson

ARTS 打卡计划

知路,然后智行远;懂行,所以万业兴

脑极体

第十章作业

武鹏

关于 Bash 的 10 个常见误解

柴锋

bash Linux DevOps Shell

List 和 Map 的排序

方明

Java

HTTPS证书过期导致的故障

焦振清

运维 https SRE 服务故障 证书过期

基于 grpc,protobuf搭建 server/client模型通信

是老郭啊

JDK1.8新特性(七):默认方法,真香,开动!接口?我要升级!!

xcbeyond

接口 新特性 JDK1.8 默认方法 JDK1.8新特性

LeetCode题解:21. 合并两个有序链表,利用数组排序,JavaScript,详细注释

Lee Chen

LeetCode 前端进阶训练营

LeetCode题解:21. 合并两个有序链表,迭代,JavaScript,详细注释

Lee Chen

LeetCode 前端进阶训练营

# spring boot自定义线程池进行异步调用

方明

Java

troubleshoot之:用control+break解决线程死锁问题

程序那些事

Java JVM 死锁

ARTS Week8

丽子

多省市出台关于区块链人才引进的计划

CECBC区块链专委会

新基建 区块链技术

Go: 互斥锁和饥饿

陈思敏捷

go golang mutex

2.2.1 类反射 -《SSM深入解析与项目实战》

谙忆

数据库的乐观锁和悲观锁并非真实的锁

架构师修行之路

数据库 架构 乐观锁 悲观锁 分布式锁

ARTS Week11

时之虫

ARTS 打卡计划

视读——沟通的艺术,看入人里,看出人外(第二章)

废材姑娘

读书笔记 视觉笔记

DevOps 技术栈

柴锋

Linux DevOps 运维 敏捷 Shell

Requests模块基本操作

骆俊

如何对 ElasticSearch 集群进行压力测试

Bestony

elasticsearch ELK Elastic Stack

如何设计实现一个证书加密签名工具包

三尾鱼

如何理解Java8 的函数式编程

Rayjun

Java 函数式编程

区块链跃升各国创新战略

CECBC区块链专委会

新基建 国家战略 区块链标准

机器学习算法之——K最近邻(k-Nearest Neighbor,KNN)分类算法原理讲解

迈微AI研发社

学习 算法 KNN K聚类

区块链+收藏品,全球三种典型应用路径的差异化

CECBC区块链专委会

区块链 应用价值

从数据中台到AI中台,企业到底要建什么中台?

脑极体

服务器与普通电脑的区别?

德胜网络-阳

Kafka处理请求的全流程解析

yes

kafka 后端 面试题 消息队列 源码解析

机器学习算法之——卷积神经网络(CNN)原理讲解

迈微AI研发社

学习 算法 卷积神经网络 CNN

移动应用开发的下一站

移动应用开发的下一站

MySQL 中 6 个常见的日志问题-InfoQ