复制、GTID 与高可用

复制把已提交变化传到其他实例，提供读扩展、故障切换基础和运维副本，但默认异步复制不能保证主库故障时零数据丢失。GTID 让事务身份和位置管理更清楚，高可用仍需要仲裁、路由、监控和经过演练的切换流程。

一、学习目标

理解 binlog、relay log 与复制线程
配置 GTID、server_id 与专用复制账户
观察复制位置、延迟和错误
解释读副本一致性和 read-after-write
设计受控故障切换与防脑裂步骤

二、复制数据流

源实例把事务写入二进制日志，副本接收并写 relay log，再由应用线程重放。异步模式下源提交不等待副本，因此 Seconds_Behind_Source=0 也只是某个观测值，不证明未来故障无丢失。

复制要求稳定主键和确定性行为。大事务、DDL、单线程热点、网络和磁盘都会造成延迟。副本执行错误不能靠长期跳过事件解决，那会制造数据分叉。

三、GTID 配置

每个实例使用唯一 server_id，启用 GTID 与 binlog。创建最小复制账户：

CREATE USER 'replicator'@'%' IDENTIFIED BY 'local-repl-password'
  REQUIRE SSL;
GRANT REPLICATION SLAVE ON *.* TO 'replicator'@'%';

术语和具体权限以 9.7 文档为准。副本通过自动定位连接源，启动后用复制状态表或 SHOW REPLICA STATUS 检查接收、应用、错误和 GTID 集。

四、延迟与一致性

写入源后立即从异步副本读取，可能看不到刚提交数据。解决策略包括关键读回源、会话粘性、等待指定 GTID 已应用或接受最终一致性。

等待必须有超时，不能让请求无限阻塞。只监控秒级延迟不够，还要看 relay backlog、应用线程、最后错误和复制停止时间。时钟差也会让基于时间的延迟指标误导。

五、故障切换与脑裂

切换前确认旧源不可再接受写入，选择数据最完整副本，验证已应用事务，提升为新源，更新路由，再重建其余副本。若旧源仍可写，两边产生不同事务就是脑裂。

手工切换也要有检查表和单一操作者。恢复旧源时不能简单反向复制，先比较 GTID 与数据，按重新克隆或受控合并处理。DNS、连接池和客户端重试会延迟流量切换。

六、高可用边界

异步单副本不是完整高可用。Group Replication、InnoDB Cluster 和 Router 能提供更完整协调，但仍要理解仲裁、故障域、写一致性、网络分区和运维复杂度。

本系列用两节点异步 GTID 复制验证基础数据流，不声称模拟了完整生产 HA。生产设计至少需要奇数仲裁成员或外部协调、跨故障域部署、备份、监控与定期演练。

七、从知识点到工程契约

本篇 SQL 最终要运行在长期存在的 schema、连接和事务中，而不是只在一个临时查询窗口里得到一次正确结果。先写清输入表与行数、会话设置、事务边界、允许的锁、期望结果和失败后的状态，再决定使用约束、查询、索引、存储对象还是运维命令。数据库行为同时受到版本、隔离级别、字符集、统计信息和并发会话影响，示例必须把这些前提显式化。

可以用以下顺序把知识点落到 StudyStore：

在全新数据库按迁移顺序建立最小 schema，保存 SHOW CREATE TABLE 与关键会话变量。
加入一个与“把异步复制当作零数据丢失保证”相关的反例，记录错误码、SQLSTATE、事务是否仍可用以及数据是否改变。
为正常、空集、边界值、重复值和并发冲突准备确定性种子，不依赖手工残留数据。
对读查询检查结果集和 EXPLAIN ANALYZE；对写操作同时检查受影响行数、约束、提交与回滚。
最后才讨论性能优化。索引和参数调整必须有执行计划、等待事件或容量数据支持，并保留变更前基线。

审查数据库设计时至少回答四个问题：谁能写，哪条约束保护不变量，事务在哪一层结束，失败后如何恢复。MySQL 能保证声明范围内的事务和持久性，却不会替应用补上缺失约束、幂等键、备份演练或最小权限。只要这些问题没有明确答案，就不要把一次成功执行当成生产方案。

本篇最重要的能力是“理解 binlog、relay log 与复制线程”。能由主键、唯一键、外键、CHECK 或数据类型表达的规则，应优先落到数据库；需要跨聚合或外部系统判断的规则，再由应用和事务协调。不要用注释或约定替代可执行约束。

八、验证策略与复盘

验证分为 schema、数据、并发和恢复四层。schema 层检查定义与会话基线；数据层断言结果和约束；并发层至少用两个独立连接观察锁与隔离；恢复层在新实例重放迁移、备份与恢复。只看客户端显示“Query OK”不能证明结果正确，更不能证明在另一组数据和并发时仍正确。

建议保存下面的实验记录：

项目	需要记录的证据
版本	`SELECT VERSION()` 与镜像标签
会话	sql_mode、time_zone、事务隔离与字符集
输入	schema 版本、种子行数和参数值
输出	结果集、受影响行数、警告、错误码与 SQLSTATE
性能	执行计划、实际行数、耗时与等待
恢复	COMMIT/ROLLBACK 结果、备份校验和与恢复行数

每组脚本都应能在空数据库从头执行，并通过显式断言退出非零。涉及权限时分别用管理员和最小权限账户连接；涉及锁时设置有限等待，避免测试永久挂起；涉及复制时等待 GTID 状态而不是固定 sleep。清理只删除本次创建的临时容器、网络和数据库。

本篇可以用以下目标做验收：配置 GTID、server_id 与专用复制账户；观察复制位置、延迟和错误；解释读副本一致性和 read-after-write。把每个目标转换为一条可重复 SQL、一个预期错误或一项恢复检查。若优化后结果正确但计划退化，应把执行计划也纳入回归证据。

发布前再从三个方向反向审查：把数据量放大两个数量级，判断扫描、锁和日志是否仍可控；让两个会话以最不利顺序并发，判断约束和事务是否仍保护不变量；让执行在任意一步失败，判断备份、回滚或幂等键能否恢复。只在十几行数据和单连接中成功的 SQL 仍只是功能草稿。

最后把脚本交给一个只知道镜像版本和入口命令的干净环境执行。脚本不得依赖图形客户端自动设置、个人默认数据库或先前会话变量；所有对象名、字符集、事务和预期错误都应明确。对仅用于说明、不可直接执行的片段要标注上下文，避免把省略条件的示意 SQL 当作完整迁移。

还要保存一份“结果为什么可信”的说明：约束证明哪些坏数据无法进入，事务证明哪些变化共同提交，执行计划证明访问了哪些行，权限测试证明哪些身份无法越界，恢复演练证明故障后能重新得到可用状态。这五类证据缺一时，都应在结论旁写明限制。数据库实验的价值不只是得到答案，而是让另一位操作者在不同机器、不同时间仍能重现同一判断。

若结论依赖当前数据分布或配置，应把适用范围写在 SQL 旁，并安排数据增长或版本升级后的复测条件；不要把一次测量永久固化为规则。

九、StudyStore 实验

在临时 Docker 网络启动 9.7.1 源和副本，使用不同 server_id、GTID 与专用账户建立复制。写入订单后等待其 GTID 在副本应用，验证行数；停止副本制造延迟、恢复后追平，并记录一次受控提升流程。

完成本节后，不要只保存代码或 SQL。请同时保存执行命令、关键输出和失败案例；学习笔记真正有价值的部分，是能够说明输入、状态变化、输出以及失败后的恢复方式。

十、常见错误

把异步复制当作零数据丢失保证
复制账户权限过大或不使用 TLS
只看单个延迟数字，不检查线程和错误
故障切换前未隔离旧源，造成双写脑裂
遇到复制错误长期跳过事件让数据分叉

十一、练习与自测

画出源 binlog 到副本应用线程的数据流。
写入后用 GTID 等待实现 read-after-write。
停止副本一分钟并观察 backlog 与追平。
写一份包含旧源隔离和回退条件的切换清单。

自测时应在干净的临时目录或临时数据库中重新执行，而不是依赖上一节遗留的状态。如果结果与预期不同，先记录实际输出，再缩小问题范围。

十二、官方资料

版本行为与二手文章不一致时，以本系列固定版本的官方文档、命令输出和可重复测试结果为准。