当前位置 博文首页 > JavaEdge全是干货的技术号：备库为什么会延迟好几个小时？
之前的文章谈到的事故原因，不论是偶发性的查询压力，还是备份，对备库延迟的影响一般是分钟级的，而且在备库恢复正常以后都能够追上来。
但若备库执行日志的速度持续低于主库生成日志的速度，那该延迟可能小时级别。而且对于一个压力持续较高的主库，备库可能永远都追不上主库节奏了。
这就牵涉本文话题：备库并行复制能力。
图中两个黑色箭头：
主库上影响并发度的原因就是锁。由于InnoDB引擎支持行锁，除了所有并发事务都在更新同一行（热点行）这种极端场景，它对业务并发度的支持还是可以的。所以，你在性能测试的时候会发现，并发压测线程32就比单线程时，总体吞吐量高。
而日志在备库执行，即图中备库上sql_thread更新数据(DATA)的逻辑。若用单线程，就会导致备库应用日志不够快，造成主备延迟。
在5.6版本前，MySQL只支持单线程复制，由此在主库并发高、TPS高时就会出现严重主备延迟。
所有的多线程复制机制，都是要把图中只有一个线程的sql_thread，拆成多个线程，也就是都符合下面的这个模型：
coordinator就是原来的sql_thread, 不过它不再直接更新数据，只负责读取中转日志、分发事务。真正更新日志的，变成了worker线程。而work线程的个数，就是由参数slave_parallel_workers决定。推荐设为8~16之间最好（32核物理机），毕竟备库还可能要提供读查询，不能把CPU占完。
不行。因为，事务被分发给worker后，不同的worker就独立执行了。但由于CPU的调度策略，可能第二个事务比第一个事务先执行。而这时刚好这俩事务更新同一行，即同一行上的两个事务，在主库和备库上的执行顺序相反，导致主备不一致。
不行。比如一个事务更新了表t1和表t2中的各一行，若这两条更新语句被分到不同worker，虽然最终结果是主备一致，但若表t1执行完成瞬间，备库有个查询，就会看到这个事务“更新了一半的结果”，破坏了事务逻辑的隔离性。
所以，coordinator在分发的时候，需要满足：
官方MySQL 5.5版本不支持并行复制。但是有人写了：按表分发策略和按行分发策略，以帮助理解MySQL官方版本并行复制策略的迭代。
若两个事务更新不同表，它们就可以并行。因为数据是存储在表里的，所以按表分发，可以保证两个worker不会更新同一行。
当然，若有跨表事务，还是要把两张表放在一起考虑
每个worker线程对应一个hash表，保存当前正在这个worker的“执行队列”里的事务所涉及的表。hash的
库名.表名在有事务分配给worker时，事务里涉及的表会被加到对应的hash表中。worker执行完成后，这个表会被从hash表中去掉。
上图中的hash_table_1表示，现在worker_1的“待执行事务队列”里，有4个事务涉及到db1.t1表，有1个事务涉及到db2.t2表。
假设图中的情况下，coordinator从中转日志读入一个新事务T，该事务修改的行涉及表t1、t3。
现在用事务T的分配流程，来看一下分配规则：
db1.t3即每个事务在分发时，跟所有worker的冲突关系如下：
按表分发方案在多个表负载均匀场景里使用很好。但若碰到热点表，比如所有更新事务都会涉及到某个表时，所有事务都会被分配到同一worker，就变成单线程复制。
要解决热点表并行复制问题，就需要个按行并行复制的方案。
这时判断一个事务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);
要在主库执行俩事务：
| session_1 | session_2 |
|---|---|
| update t1 set a=6 where id=1; | |
| update t1 set a=1 where id=2; |
这俩事务要更新的行的主键不同，但若它们被分到不同worker，可能session2先执行。这时id=1的行的a的值还是1，就会报唯一键冲突。
所以基于行策略，事务hash表中还需考虑唯一键，即key应该是 库名+表名+索引a的名字+a的值。
在t1执行
update t1
set a=1
where id=2
在binlog里记录整行的数据修改前各字段值和修改后各字段值。因此，coordinator在解析该语句的binlog时，该事务的hash表就有三项：
相比按表并行分发策略，按行并行策略在决定线程分发时，要消耗更多计算。
这俩方案都有一些约束条件：
还好这些本就是DB生产使用规范。
按行分发策略的并行度更高。不过，若是大事务，按行分发策略有如下问题：
所以，按行分发策略要设置一个阈值，单个事务若超过设置的行数阈值（比如，如果单个事务更新的行数超过10w行），就暂时退化为单线程模式，退化过程的逻辑大概是这样的：
支持的粒度是按库并行。理解了之前说的两个策略，就懂得用于决定分发策略的hash表里，key就是数据库名。
该策略的并行效果，取决于压力模型。若在主库上有多个DB，并且各个DB的压力均衡，使用这个策略的效果会很好。
相比于按表、行分发，该策略有如下优势：
如下场景失效：
理论上你可以创建不同的DB，把相同热度的表均匀分到这些不同的DB中，强行使用这个策略。不由于需要特地移动数据，该策略用得并不多。
MariaDB的并行复制策略利用了redo log组提交(group commit)优化：
在实现上，MariaDB是这么做的：
当时该策略相当惊艳。因为，之前业界的思路都是在“分析binlog，并拆分到worker”上。而MariaDB的这个策略，目标是“模拟主库的并行模式”。
但有个问题，它并没有实现“真正的模拟主库并发度”这个目标。在主库上，一组事务在commit时，下一组事务是同时处于“执行中”状态。
看下图，假设三组事务在主库的执行情况，在trx1、trx2和trx3提交时，trx4、trx5和trx6是在执行的。这样，在第一组事务提交完成时，下一组事务很快就会进入commit状态。
而按MariaDB的并行复制策略，备库上的执行效果如下：
在备库执行时，要等第一组事务完全执行完成后，第二组事务才能开始执行，这样系统吞吐量就不够。
另外，该方案很容易被大事务拖累。假设trx2是一个超大事务，那么在备库应用的时候，trx1和trx3执行完成后，就只能等trx2完全执行完成，下一组才能开始执行。这段时间，只有一个worker线程在工作，是对资源的浪费。
不过即使如此，这个策略仍然是一个很漂亮的创新。因为，它对原系统的改造非常少，实现也优雅。
在MariaDB并行复制实现之后，官方的MySQL5.7版本也提供了类似功能，由参数slave-parallel-type来控制并行复制策略：
同时处于“执行状态”的所有事务，是不是可以并行？
不能。因为，这里面可能有由于锁冲突而处于锁等待状态的事务。若这些事务在备库上被分配到不同的worker，就会出现备、主库不一致。
而MariaDB这个策略的核心，是“所有处于commit”状态的事务可以并行。事务处于commit状态，表示已通过锁冲突的检验。
因此，MySQL 5.7并行复制策略的思想是：
binlog组提交的参数：
这两个参数是用于故意拉长binlog从write到fsync的时间，以此减少binlog的写盘次数。在MySQL 5.7的并行复制策略里，它们可以用来制造更多的“同时处于prepare阶段的事务”。这样就增加了备库复制的并行度。即两个参数，既可以“故意”让主库提交得慢些，又可以让备库执行得快些。在MySQL 5.7处理备库延迟的时候，可以考虑调整这两个参数值，来达到提升备库复制并发度的目的。
在2018年4月份发布的MySQL 5.7.22版本里，MySQL增加了一个新的并行复制策略，基于WRITESET的并行复制。
新增了一个参数binlog-transaction-dependency-tracking，控制是否启用该策略：
为了唯一标识，这个hash值是通过库名+表名+索引名+值得。若一个表上除了有主键索引外，还有其他唯一索引，那么对于每个唯一索引，insert语句对应的writeset就要多增加一个hash。
这跟我们前面介绍的基于MySQL 5.5版本的按行分发的策略差不多。不过，MySQL官方的这个实现还是有很大的优势：
因此，MySQL 5.7.22的并行复制策略在通用性上还是有保证的。
当然，对于“表上没主键”和“外键约束”的场景，WRITESET策略也是没法并行的，也会暂时退化为单线程模型。
为什么要有多线程复制呢？这是因为单线程复制的能力全面低于多线程复制，对于更新压力较大的主库，备库是可能一直追不上主库的。从现象上看就是，备库上seconds_behind_master的值越来越大。
在介绍完每个并行复制策略后，我还和你分享了不同策略的优缺点：
如果你是DBA，就需要根据不同的业务场景，选择不同的策略；
如果是你业务开发人员，也希望你能从中获取灵感用到平时的开发工作中。
从这些分析中，你也会发现大事务不仅会影响到主库，也是造成备库复制延迟的主要原因之一。因此，在平时的开发工作中，我建议你尽量减少大事务操作，把大事务拆成小事务。
官方MySQL5.7版本新增的备库并行策略，修改了binlog的内容，也就是说binlog协议并不是向上兼容的，在主备切换、版本升级的时候需要把这个因素也考虑进去。
cs