gitbook/MySQL实战45讲/docs/77083.md

356 lines
22 KiB
Markdown
Raw Permalink Normal View History

2022-09-03 22:05:03 +08:00
# 26 | 备库为什么会延迟好几个小时?
在上一篇文章中,我和你介绍了几种可能导致备库延迟的原因。你会发现,这些场景里,不论是偶发性的查询压力,还是备份,对备库延迟的影响一般是分钟级的,而且在备库恢复正常以后都能够追上来。
但是,如果备库执行日志的速度持续低于主库生成日志的速度,那这个延迟就有可能成了小时级别。而且对于一个压力持续比较高的主库来说,备库很可能永远都追不上主库的节奏。
这就涉及到今天我要给你介绍的话题:备库并行复制能力。
为了便于你理解我们再一起看一下第24篇文章[《MySQL是怎么保证主备一致的》](https://time.geekbang.org/column/article/76446)的主备流程图。
![](https://static001.geekbang.org/resource/image/1a/ef/1a85a3bac30a32438bfd8862e5a34eef.png)
图1 主备流程图
谈到主备的并行复制能力我们要关注的是图中黑色的两个箭头。一个箭头代表了客户端写入主库另一箭头代表的是备库上sql\_thread执行中转日志relay log。如果用箭头的粗细来代表并行度的话那么真实情况就如图1所示第一个箭头要明显粗于第二个箭头。
在主库上影响并发度的原因就是各种锁了。由于InnoDB引擎支持行锁除了所有并发事务都在更新同一行热点行这种极端场景外它对业务并发度的支持还是很友好的。所以你在性能测试的时候会发现并发压测线程32就比单线程时总体吞吐量高。
而日志在备库上的执行就是图中备库上sql\_thread更新数据(DATA)的逻辑。如果是用单线程的话,就会导致备库应用日志不够快,造成主备延迟。
在官方的5.6版本之前MySQL只支持单线程复制由此在主库并发高、TPS高时就会出现严重的主备延迟问题。
从单线程复制到最新版本的多线程复制中间的演化经历了好几个版本。接下来我就跟你说说MySQL多线程复制的演进过程。
其实说到底所有的多线程复制机制都是要把图1中只有一个线程的sql\_thread拆成多个线程也就是都符合下面的这个模型
![](https://static001.geekbang.org/resource/image/bc/45/bcf75aa3b0f496699fd7885426bc6245.png)
图2 多线程模型
图2中coordinator就是原来的sql\_thread, 不过现在它不再直接更新数据了只负责读取中转日志和分发事务。真正更新日志的变成了worker线程。而work线程的个数就是由参数slave\_parallel\_workers决定的。根据我的经验把这个值设置为8~16之间最好32核物理机的情况毕竟备库还有可能要提供读查询不能把CPU都吃光了。
接下来你需要先思考一个问题事务能不能按照轮询的方式分发给各个worker也就是第一个事务分给worker\_1第二个事务发给worker\_2呢
其实是不行的。因为事务被分发给worker以后不同的worker就独立执行了。但是由于CPU的调度策略很可能第二个事务最终比第一个事务先执行。而如果这时候刚好这两个事务更新的是同一行也就意味着同一行上的两个事务在主库和备库上的执行顺序相反会导致主备不一致的问题。
接下来请你再设想一下另外一个问题同一个事务的多个更新语句能不能分给不同的worker来执行呢
答案是也不行。举个例子一个事务更新了表t1和表t2中的各一行如果这两条更新语句被分到不同worker的话虽然最终的结果是主备一致的但如果表t1执行完成的瞬间备库上有一个查询就会看到这个事务“更新了一半的结果”破坏了事务逻辑的隔离性。
所以coordinator在分发的时候需要满足以下这两个基本要求
1. 不能造成更新覆盖。这就要求更新同一行的两个事务必须被分发到同一个worker中。
2. 同一个事务不能被拆开必须放到同一个worker中。
各个版本的多线程复制,都遵循了这两条基本原则。接下来,我们就看看各个版本的并行复制策略。
# MySQL 5.5版本的并行复制策略
官方MySQL 5.5版本是不支持并行复制的。但是在2012年的时候我自己服务的业务出现了严重的主备延迟原因就是备库只有单线程复制。然后我就先后写了两个版本的并行策略。
这里我给你介绍一下这两个版本的并行策略即按表分发策略和按行分发策略以帮助你理解MySQL官方版本并行复制策略的迭代。
### 按表分发策略
按表分发事务的基本思路是如果两个事务更新不同的表它们就可以并行。因为数据是存储在表里的所以按表分发可以保证两个worker不会更新同一行。
当然如果有跨表的事务还是要把两张表放在一起考虑的。如图3所示就是按表分发的规则。
![](https://static001.geekbang.org/resource/image/8b/76/8b6976fedd6e644022d4026581fb8d76.png)
图3 按表并行复制程模型
可以看到每个worker线程对应一个hash表用于保存当前正在这个worker的“执行队列”里的事务所涉及的表。hash表的key是“库名.表名”value是一个数字表示队列中有多少个事务修改这个表。
在有事务分配给worker时事务里面涉及的表会被加到对应的hash表中。worker执行完成后这个表会被从hash表中去掉。
图3中hash\_table\_1表示现在worker\_1的“待执行事务队列”里有4个事务涉及到db1.t1表有1个事务涉及到db2.t2表hash\_table\_2表示现在worker\_2中有一个事务会更新到表t3的数据。
假设在图中的情况下coordinator从中转日志中读入一个新事务T这个事务修改的行涉及到表t1和t3。
现在我们用事务T的分配流程来看一下分配规则。
1. 由于事务T中涉及修改表t1而worker\_1队列中有事务在修改表t1事务T和队列中的某个事务要修改同一个表的数据这种情况我们说事务T和worker\_1是冲突的。
2. 按照这个逻辑顺序判断事务T和每个worker队列的冲突关系会发现事务T跟worker\_2也冲突。
3. 事务T跟多于一个worker冲突coordinator线程就进入等待。
4. 每个worker继续执行同时修改hash\_table。假设hash\_table\_2里面涉及到修改表t3的事务先执行完成就会从hash\_table\_2中把db1.t3这一项去掉。
5. 这样coordinator会发现跟事务T冲突的worker只有worker\_1了因此就把它分配给worker\_1。
6. coordinator继续读下一个中转日志继续分配事务。
也就是说每个事务在分发的时候跟所有worker的冲突关系包括以下三种情况
1. 如果跟所有worker都不冲突coordinator线程就会把这个事务分配给最空闲的woker;
2. 如果跟多于一个worker冲突coordinator线程就进入等待状态直到和这个事务存在冲突关系的worker只剩下1个
3. 如果只跟一个worker冲突coordinator线程就会把这个事务分配给这个存在冲突关系的worker。
这个按表分发的方案在多个表负载均匀的场景里应用效果很好。但是如果碰到热点表比如所有的更新事务都会涉及到某一个表的时候所有事务都会被分配到同一个worker中就变成单线程复制了。
### 按行分发策略
要解决热点表的并行复制问题就需要一个按行并行复制的方案。按行复制的核心思路是如果两个事务没有更新相同的行它们在备库上可以并行执行。显然这个模式要求binlog格式必须是row。
这时候我们判断一个事务T和worker是否冲突用的就规则就不是“修改同一个表”而是“修改同一行”。
按行复制和按表复制的数据结构差不多也是为每个worker分配一个hash表。只是要实现按行分发这时候的key就必须是“库名+表名+唯一键的值”。
但是这个“唯一键”只有主键id还是不够的我们还需要考虑下面这种场景表t1中除了主键还有唯一索引a
```
CREATE TABLE `t1` (
`id` int(11) NOT NULL,
`a` int(11) DEFAULT NULL,
`b` int(11) DEFAULT NULL,
PRIMARY KEY (`id`),
UNIQUE KEY `a` (`a`)
) ENGINE=InnoDB;
insert into t1 values(1,1,1),(2,2,2),(3,3,3),(4,4,4),(5,5,5);
```
假设,接下来我们要在主库执行这两个事务:
![](https://static001.geekbang.org/resource/image/f1/78/f19916e27b8ff28e87ed3ad9f5473378.png)
图4 唯一键冲突示例
可以看到这两个事务要更新的行的主键值不同但是如果它们被分到不同的worker就有可能session B的语句先执行。这时候id=1的行的a的值还是1就会报唯一键冲突。
因此基于行的策略事务hash表中还需要考虑唯一键即key应该是“库名+表名+索引a的名字+a的值”。
比如在上面这个例子中我要在表t1上执行update t1 set a=1 where id=2语句在binlog里面记录了整行的数据修改前各个字段的值和修改后各个字段的值。
因此coordinator在解析这个语句的binlog的时候这个事务的hash表就有三个项:
1. key=hash\_func(db1+t1+“PRIMARY”+2), value=2; 这里value=2是因为修改前后的行id值不变出现了两次。
2. key=hash\_func(db1+t1+“a”+2), value=1表示会影响到这个表a=2的行。
3. key=hash\_func(db1+t1+“a”+1), value=1表示会影响到这个表a=1的行。
可见,**相比于按表并行分发策略,按行并行策略在决定线程分发的时候,需要消耗更多的计算资源。**你可能也发现了,这两个方案其实都有一些约束条件:
1. 要能够从binlog里面解析出表名、主键值和唯一索引的值。也就是说主库的binlog格式必须是row
2. 表必须有主键;
3. 不能有外键。表上如果有外键级联更新的行不会记录在binlog中这样冲突检测就不准确。
好在这三条约束规则本来就是DBA之前要求业务开发人员必须遵守的线上使用规范所以这两个并行复制策略在应用上也没有碰到什么麻烦。
对比按表分发和按行分发这两个方案的话,按行分发策略的并行度更高。不过,如果是要操作很多行的大事务的话,按行分发的策略有两个问题:
1. 耗费内存。比如一个语句要删除100万行数据这时候hash表就要记录100万个项。
2. 耗费CPU。解析binlog然后计算hash值对于大事务这个成本还是很高的。
所以我在实现这个策略的时候会设置一个阈值单个事务如果超过设置的行数阈值比如如果单个事务更新的行数超过10万行就暂时退化为单线程模式退化过程的逻辑大概是这样的
1. coordinator暂时先hold住这个事务
2. 等待所有worker都执行完成变成空队列
3. coordinator直接执行这个事务
4. 恢复并行模式。
读到这里,你可能会感到奇怪,这两个策略又没有被合到官方,我为什么要介绍这么详细呢?其实,介绍这两个策略的目的是抛砖引玉,方便你理解后面要介绍的社区版本策略。
# MySQL 5.6版本的并行复制策略
官方MySQL5.6版本支持了并行复制只是支持的粒度是按库并行。理解了上面介绍的按表分发策略和按行分发策略你就理解了用于决定分发策略的hash表里key就是数据库名。
这个策略的并行效果取决于压力模型。如果在主库上有多个DB并且各个DB的压力均衡使用这个策略的效果会很好。
相比于按表和按行分发,这个策略有两个优势:
1. 构造hash值的时候很快只需要库名而且一个实例上DB数也不会很多不会出现需要构造100万个项这种情况。
2. 不要求binlog的格式。因为statement格式的binlog也可以很容易拿到库名。
但是如果你的主库上的表都放在同一个DB里面这个策略就没有效果了或者如果不同DB的热点不同比如一个是业务逻辑库一个是系统配置库那也起不到并行的效果。
理论上你可以创建不同的DB把相同热度的表均匀分到这些不同的DB中强行使用这个策略。不过据我所知由于需要特地移动数据这个策略用得并不多。
# MariaDB的并行复制策略
在[第23篇文章](https://time.geekbang.org/column/article/76161)中我给你介绍了redo log组提交(group commit)优化, 而MariaDB的并行复制策略利用的就是这个特性
1. 能够在同一组里提交的事务,一定不会修改同一行;
2. 主库上可以并行执行的事务,备库上也一定是可以并行执行的。
在实现上MariaDB是这么做的
1. 在一组里面一起提交的事务有一个相同的commit\_id下一组就是commit\_id+1
2. commit\_id直接写到binlog里面
3. 传到备库应用的时候相同commit\_id的事务分发到多个worker执行
4. 这一组全部执行完成后coordinator再去取下一批。
当时这个策略出来的时候是相当惊艳的。因为之前业界的思路都是在“分析binlog并拆分到worker”上。而MariaDB的这个策略目标是“模拟主库的并行模式”。
但是这个策略有一个问题它并没有实现“真正的模拟主库并发度”这个目标。在主库上一组事务在commit的时候下一组事务是同时处于“执行中”状态的。
如图5所示假设了三组事务在主库的执行情况你可以看到在trx1、trx2和trx3提交的时候trx4、trx5和trx6是在执行的。这样在第一组事务提交完成的时候下一组事务很快就会进入commit状态。
![](https://static001.geekbang.org/resource/image/8f/c3/8fec5fb48d6095aecc80016826efbfc3.png)
图5 主库并行事务
而按照MariaDB的并行复制策略备库上的执行效果如图6所示。
![](https://static001.geekbang.org/resource/image/8a/22/8ac3799c1ff2f9833619a1624ca3e622.png)
图6 MariaDB 并行复制,备库并行效果
可以看到,在备库上执行的时候,要等第一组事务完全执行完成后,第二组事务才能开始执行,这样系统的吞吐量就不够。
另外这个方案很容易被大事务拖后腿。假设trx2是一个超大事务那么在备库应用的时候trx1和trx3执行完成后就只能等trx2完全执行完成下一组才能开始执行。这段时间只有一个worker线程在工作是对资源的浪费。
不过即使如此,这个策略仍然是一个很漂亮的创新。因为,它对原系统的改造非常少,实现也很优雅。
# MySQL 5.7的并行复制策略
在MariaDB并行复制实现之后官方的MySQL5.7版本也提供了类似的功能由参数slave-parallel-type来控制并行复制策略
1. 配置为DATABASE表示使用MySQL 5.6版本的按库并行策略;
2. 配置为 LOGICAL\_CLOCK表示的就是类似MariaDB的策略。不过MySQL 5.7这个策略,针对并行度做了优化。这个优化的思路也很有趣儿。
你可以先考虑这样一个问题:同时处于“执行状态”的所有事务,是不是可以并行?
答案是,不能。
因为这里面可能有由于锁冲突而处于锁等待状态的事务。如果这些事务在备库上被分配到不同的worker就会出现备库跟主库不一致的情况。
而上面提到的MariaDB这个策略的核心是“所有处于commit”状态的事务可以并行。事务处于commit状态表示已经通过了锁冲突的检验了。
这时候,你可以再回顾一下两阶段提交,我把前面[第23篇文章](https://time.geekbang.org/column/article/76161)中介绍过的两阶段提交过程图贴过来。
![](https://static001.geekbang.org/resource/image/5a/28/5ae7d074c34bc5bd55c82781de670c28.png)
图7 两阶段提交细化过程图
其实不用等到commit阶段只要能够到达redo log prepare阶段就表示事务已经通过锁冲突的检验了。
因此MySQL 5.7并行复制策略的思想是:
1. 同时处于prepare状态的事务在备库执行时是可以并行的
2. 处于prepare状态的事务与处于commit状态的事务之间在备库执行时也是可以并行的。
我在第23篇文章讲binlog的组提交的时候介绍过两个参数
1. binlog\_group\_commit\_sync\_delay参数表示延迟多少微秒后才调用fsync;
2. binlog\_group\_commit\_sync\_no\_delay\_count参数表示累积多少次以后才调用fsync。
这两个参数是用于故意拉长binlog从write到fsync的时间以此减少binlog的写盘次数。在MySQL 5.7的并行复制策略里它们可以用来制造更多的“同时处于prepare阶段的事务”。这样就增加了备库复制的并行度。
也就是说这两个参数既可以“故意”让主库提交得慢些又可以让备库执行得快些。在MySQL 5.7处理备库延迟的时候,可以考虑调整这两个参数值,来达到提升备库复制并发度的目的。
# MySQL 5.7.22的并行复制策略
在2018年4月份发布的MySQL 5.7.22版本里MySQL增加了一个新的并行复制策略基于WRITESET的并行复制。
相应地新增了一个参数binlog-transaction-dependency-tracking用来控制是否启用这个新策略。这个参数的可选值有以下三种。
1. COMMIT\_ORDER表示的就是前面介绍的根据同时进入prepare和commit来判断是否可以并行的策略。
2. WRITESET表示的是对于事务涉及更新的每一行计算出这一行的hash值组成集合writeset。如果两个事务没有操作相同的行也就是说它们的writeset没有交集就可以并行。
3. WRITESET\_SESSION是在WRITESET的基础上多了一个约束即在主库上同一个线程先后执行的两个事务在备库执行的时候要保证相同的先后顺序。
当然为了唯一标识这个hash值是通过“库名+表名+索引名+值”计算出来的。如果一个表上除了有主键索引外还有其他唯一索引那么对于每个唯一索引insert语句对应的writeset就要多增加一个hash值。
你可能看出来了这跟我们前面介绍的基于MySQL 5.5版本的按行分发的策略是差不多的。不过MySQL官方的这个实现还是有很大的优势
1. writeset是在主库生成后直接写入到binlog里面的这样在备库执行的时候不需要解析binlog内容event里的行数据节省了很多计算量
2. 不需要把整个事务的binlog都扫一遍才能决定分发到哪个worker更省内存
3. 由于备库的分发策略不依赖于binlog内容所以binlog是statement格式也是可以的。
因此MySQL 5.7.22的并行复制策略在通用性上还是有保证的。
当然对于“表上没主键”和“外键约束”的场景WRITESET策略也是没法并行的也会暂时退化为单线程模型。
# 小结
在今天这篇文章中我和你介绍了MySQL的各种多线程复制策略。
为什么要有多线程复制呢这是因为单线程复制的能力全面低于多线程复制对于更新压力较大的主库备库是可能一直追不上主库的。从现象上看就是备库上seconds\_behind\_master的值越来越大。
在介绍完每个并行复制策略后,我还和你分享了不同策略的优缺点:
* 如果你是DBA就需要根据不同的业务场景选择不同的策略
* 如果是你业务开发人员,也希望你能从中获取灵感用到平时的开发工作中。
从这些分析中,你也会发现大事务不仅会影响到主库,也是造成备库复制延迟的主要原因之一。因此,在平时的开发工作中,我建议你尽量减少大事务操作,把大事务拆成小事务。
官方MySQL5.7版本新增的备库并行策略修改了binlog的内容也就是说binlog协议并不是向上兼容的在主备切换、版本升级的时候需要把这个因素也考虑进去。
最后,我给你留下一个思考题吧。
假设一个MySQL 5.7.22版本的主库单线程插入了很多数据过了3个小时后我们要给这个主库搭建一个相同版本的备库。
这时候你为了更快地让备库追上主库要开并行复制。在binlog-transaction-dependency-tracking参数的COMMIT\_ORDER、WRITESET和WRITE\_SESSION这三个取值中你会选择哪一个呢
你选择的原因是什么?如果设置另外两个参数,你认为会出现什么现象呢?
你可以把你的答案和分析写在评论区,我会在下一篇文章跟你讨论这个问题。感谢你的收听,也欢迎你把这篇文章分享给更多的朋友一起阅读。
# 上期问题时间
上期的问题是什么情况下备库的主备延迟会表现为一个45度的线段评论区有不少同学的回复都说到了重点备库的同步在这段时间完全被堵住了。
产生这种现象典型的场景主要包括两种:
* 一种是大事务包括大表DDL、一个事务操作很多行
* 还有一种情况比较隐蔽,就是备库起了一个长事务,比如
```
begin;
select * from t limit 1;
```
然后就不动了。
这时候主库对表t做了一个加字段操作即使这个表很小这个DDL在备库应用的时候也会被堵住也不能看到这个现象。
评论区还有同学说是不是主库多线程、从库单线程备库跟不上主库的更新节奏导致的今天这篇文章我们刚好讲的是并行复制。所以你知道了这种情况会导致主备延迟但不会表现为这种标准的呈45度的直线。
评论区留言点赞板:
> @易翔 、 @万勇、@老杨同志 等同学的回复都提到了我们上面说的场景;
> @Max 同学提了一个很不错的问题。主备关系里面备库主动连接之后的binlog发送是主库主动推送的。之所以这么设计也是为了效率和实时性考虑毕竟靠备库轮询会有时间差。