标签: MySQL双向同步

  • 深入异地多活陷阱排查:GSLB 探针脑裂引发的流量震荡与 MySQL 双写冲突实战

    异地多活的核心不是简单部署两套集群,而是严格的故障域隔离与流量染色。某次处理跨区双活故障时,边缘 GSLB 探针因专线网络抖动发生“脑裂”,导致单租户流量被同时打入双机房。配合底层 MySQL 异步双向同步的秒级延迟,直接引发大面积主键冲突与脏写。结论:多活架构必须在网关层实现强单元化路由,且 DB 层需引入基于 DC 标识的防冲突发号器,绝不能仅依赖全局 DNS 调度。

    故障现场:P99 飙升与主键雪崩

    排查期间,监控大盘突然出现剧烈波动:

    1. API 网关指标:核心业务写接口 P99 延迟从 45ms 飙升至 5s 以上,5xx 错误率瞬间击穿 15% 的 SLA 阈值。

    2. DB 负载:双机房的 MySQL (8.0.28) 实例 Load Average 均出现异常冲高,CPU Sys 态占比激增。

    3. 同步链路:基于 Canal/Otter 搭建的异地双向同步链路大面积告警,同步延迟从 500ms 扩大至 NaN(同步中断)。

    登录双边机房的数据库机器,直接查看 MySQL 错误日志,满屏的 1062 报错触目惊心:

    [ERROR] [MY-010584] [Repl] Slave SQL for channel 'dc2_to_dc1': Worker 1 failed executing transaction 'b9f8a3c2-11e9-11ed-a8b3-00163e0020a1:1593452'; Error 'Duplicate entry '89341093841' for key 'orders.PRIMARY'' on query. Default database: 'trade_db'. Query: 'INSERT INTO orders (order_id, user_id, status) VALUES (89341093841, 10045, 1)'
    

    从日志看,DC1 和 DC2 几乎在同一时间对同一张表插入了相同 order_id 的记录。当 DC2 的 Binlog 异步同步到 DC1 时,由于主键已存在,导致 SQL 线程直接挂起,复制中断。

    为什么 GSLB 会在物理机房之间产生流量“抽搐”?

    业务原本的设计是:基于 GSLB(全局负载均衡)做就近路由,华南用户解析到 DC1,华北用户解析到 DC2。当某机房故障时,GSLB 将域名切到可用机房。

    但仔细分析 Nginx Access Log 发现,同一个客户端 IP,在短短 3 秒内,请求分别落在了 DC1 和 DC2 的网关上。这是典型的流量“抽搐”,而非正常的机房切换。

    深入排查 GSLB 探针的运行日志与配置:

    # GTM Health Check Probe Config
    health_check:
      protocol: tcp
      port: 443
      timeout: 2s
      interval: 3s
      healthy_threshold: 2
      unhealthy_threshold: 3
    

    底层原理与诱因剖析: GSLB 的健康检查依赖分布在全国的多个边缘探针节点。事发时,DC1 所在机房的 BGP 出口发生了路由收敛抖动(持续约十几秒)。

    1. 探针脑裂:部分电信探针节点在 3s * 3 = 9s 内无法建连 DC1,判定 DC1 宕机,向全局调度中心上报故障,DNS 解析开始剔除 DC1,将该区域流量指向 DC2。

    2. 联通/移动探针正常:而联通/移动的探针由于走不同的骨干网路由,依然判定 DC1 存活。

    3. LocalDNS 缓存混战:由于各省 LocalDNS 的 TTL 缓存失效时间不一致(部分运营商甚至无视我们设置的 60s TTL,强行缓存 10 分钟),导致用户的连续请求在重试时,通过不同的 DNS 缓存拿到了不同机房的 VIP。

    结果就是:同一个用户的写请求,前一秒打到了 DC1,由于前端超时发起重试,后一秒重试请求通过另一个 LocalDNS 解析到了 DC2。这就是灾难的开始。

    灾难放大:MySQL 双向同步的“黑暗时刻”

    如果只是流量调度混乱,顶多是请求变慢。但多活架构的致命弱点在于数据一致性的取舍

    我们在底层使用了双向异步复制通道。当流量同时打向 DC1 和 DC2 时:

    1. 请求 A 落在 DC1,应用层生成了订单,执行 INSERT

    2. 重试请求 B 落在 DC2,由于应用层的订单号生成逻辑依赖时间戳+用户ID的简单哈希(并未包含机房标识),生成了与请求 A 一模一样的 order_id,并在 DC2 执行 INSERT

    3. MySQL 8.0 默认的隔离级别(RR)和本地事务只能保证单机房内的唯一性。DC1 和 DC2 各自本地提交成功,向前端返回 200 OK。

    4. 毫秒级之后,双向同步组件(Otter)开始拉取 Binlog。DC1 的记录同步到 DC2 报错 1062;DC2 的记录同步到 DC1 同样报错 1062。

    5. 双边复制链路同时中断,两边的数据开始分叉(Split-Brain),形成事实上的“脏写”。

    此时,如果强行设置 slave_exec_mode = IDEMPOTENT(幂等模式)跳过 1062 错误,虽然同步链路能恢复,但这会导致双边数据静默不一致,后续的业务逻辑将彻底失控。

    架构重塑:防御性多活设计与一致性取舍

    针对这种“基础设施不可控”引发的流量逃逸,必须在应用层和网关层建立深度的防御性编程机制。单纯依赖 GSLB 做多活路由是极度脆弱的。

    1. 网关层:基于 UID 的强单元化染色拦截

    不能信任 DNS 解析的结果。流量到达任意机房的 API Gateway(如 OpenResty/Nginx)后,必须进行二次校验。 我们引入了基于用户 ID 的强路由规则。在 OpenResty 中使用 Lua 脚本拦截:

    -- OpenResty Lua 流量染色与校验 (版本 1.21.4.1)
    local core_route = require "resty.core_route"
    local headers = ngx.req.get_headers()
    local uid = headers["X-User-Id"]
    
    if uid then
        -- 简单的 Sharding 逻辑:奇数去 DC1,偶数去 DC2
        local expected_dc = (tonumber(uid) % 2 == 0) and "DC2" or "DC1"
        local current_dc = ngx.var.current_dc -- 环境变量注入本物理机房标识
    
        if expected_dc ~= current_dc then
            -- 发现流量逃逸!当前机房不该处理该用户的写请求
            -- 方案A:直接阻断,返回特定错误码让客户端重新获取路由
            -- ngx.status = 421 
            -- ngx.say('{"err": "Misdirected Request"}')
    
            -- 方案B(平滑过渡):在网关层通过内网专线反向 Proxy 到正确机房
            ngx.var.upstream_target = "internal-api." .. string.lower(expected_dc) .. ".svc"
        end
    end
    

    通过上述逻辑,即使 DNS 将流量导错了机房,网关层也能将其纠正或拒绝,将“多活乱序写”拦截在 DB 之前。

    2. DB 层:底层发号器的机房隔离(防脏写底线)

    即便网关层做了拦截,为了兜底极端情况下的应用层 Bug,必须彻底消灭跨机房主键冲突的可能性。 全面废除简单的时间戳哈希,引入包含 Data Center ID (机房标识) 的全局发号器(如改进版 Snowflake 算法):

    • 1位符号位 + 41位时间戳 + 4位机房ID + 8位机器/Pod ID + 10位序列号。

    • DC1 写入的数据,高位永远带有 0001 标识;DC2 带有 0010 标识。

    从根本上保证:即便出现流量双写,两边生成的 order_id 也是不同的。同步时退化为两次独立的 INSERT(虽有业务重复的瑕疵,但 DB 链路不会中断,后期可通过离线脚本对冲重复数据)。

    常见问题

    Q: MySQL 双向同步出现 1062 主键冲突,除了手工跳过,有什么自动修复策略? A: 生产环境中禁止盲目 sql_slave_skip_counter=1。标准做法是:引入冲突解决表(Conflict Resolution Tables)。在同步中间件(如 Canal/Otter)配置冲突降级策略:一旦捕获到目标端抛出 1062 异常,提取 Binlog 中的前后像数据写入专门的 sync_conflict_log 表,并丢弃当前 event 以维持链路运转,随后由自动巡检脚本比对时间戳(Last Write Wins)或通过人工后台介入仲裁。

    Q: 异地多活场景下,如何根本解决 DNS TTL 缓存导致的切流延迟问题? A: 无法彻底解决。公网 LocalDNS 的缓存污染是不可控的。最佳实践是:

    1. 客户端接入 HTTPDNS:绕过 LocalDNS,直接通过 HTTP 接口向云厂商获取当前准确的机房 IP 列表。

    2. 长连接探活与下发:App 端与后端维持 WebSocket/TCP 长连,当机房准备切换时,通过长连主动下发新的接入点 IP,强制客户端断线重连至新机房。

    Q: 单元化架构中,由于业务关联导致跨单元的写请求(如 A 机房用户给 B 机房用户转账),如何处理? A: 严禁跨机房直接读写对方的数据库!这会引入极高的网络延迟和分布式事务灾难。 标准解法是服务层 RPC 转发:A 机房的业务代码通过内部 RPC/MQ 将转账请求发送给 B 机房的转账服务微服务,由 B 机房的服务在 B 机房本地完成数据库写入。即:让流量在服务网关层走专线跨机房,而不是让 DB 跨机房。

  • 深入单元化多活陷阱排查:路由逃逸引发的 MySQL 双向同步冲突与脏写实战

    异地多活架构中最大的谎言就是“流量 100% 精准路由”。近期排查了一起单元化(Cell-Based)架构中的严重脏写故障,根因是网关本地缓存失效导致流量跨机房逃逸,在 DTS 同步延迟窗口内引发了 MySQL 双机房并发更新同一行数据。核心结论:切忌纯靠网关层控制流量隔离,必须在 DAL(数据访问层)引入基于 Sharding Key 的强制写校验(防逃逸),配合底层双向同步组件的冲突解决策略,才能实现真正的兜底防御。

    故障现场:静默的脏写与主键冲突

    某次核心链路巡检中,监控大盘发出警告,负责机房 A 与机房 B 之间双向数据同步的 Canal 节点出现 canal_instance_traffic_delay 指标异常飙升(> 10000ms)。

    登录同步组件节点查看日志,满屏的 MySQL 1062 报错,复制链路已彻底假死:

    [destination = cell_sync_ab , address = /10.20.3.45:3306] ERROR c.a.o.c.p.inbound.mysql.rds.RdsBinlogEventParserProxy - 
    dump address /10.20.3.45:3306 has an error, retrying. cause: 
    com.alibaba.otter.canal.parse.exception.CanalParseException: column size is not match for table: `trade_db`.`t_order`, 
    Error 1062 (23000): Duplicate entry 'ORD-209938475' for key 't_order.PRIMARY'
    

    业务表现上,机房 A 和机房 B 的 API 接口均响应正常,没有 P99 抖动,没有 5xx 报错。但实际上,同一笔订单 ORD-209938475 在两个机房被写入了不同的状态。

    排查链路:

    1. 排查自增主键步长: 怀疑是双活基础配置遗漏,检查两端 MySQL 8.0.32 的 auto_increment_incrementauto_increment_offset,确认为奇偶交替配置,不存在自身生成的 ID 冲突。

    2. 追溯 Binlog 现场: 提取两端 DB 的 Row 格式 Binlog,发现 ORD-209938475 这行记录在机房 A 的写入时间戳是 10:05:12.100,在机房 B 的写入时间戳是 10:05:12.350

    3. 定位业务流量: 按照单元化规则,该订单的 user_id 尾号为 4,本应 100% 路由到机房 B。为什么机房 A 会在 250ms 前出现针对该订单的写入请求?

    真相浮出水面:流量逃逸(Traffic Escape)

    为什么网关层的流量调度无法保证绝对的故障域隔离?

    在经典的基于 Envoy 或 Nginx/OpenResty 的网关层多活路由中,网关需要依赖控制面(如 etcd 或 Istio Pilot)来下发路由规则。这里存在一个无解的分布式系统 CAP 矛盾。

    当跨机房专线出现瞬间抖动时,控制面与数据面的心跳超时。此时网关有两种选择:

    1. 阻断请求(CP 取向): 无法确认路由规则,直接返回 503。这会导致系统可用性大幅下降,违反了“多活”为了提高可用性的初衷。

    2. 降级缓存(AP 取向): 使用本地内存中的 Stale Cache,或者走降级 Default 路由。

    排查发现,当时跨城专线发生了 500ms 的微小抖动,网关触发降级,将原本属于机房 B 的请求“就近”错误路由到了机房 A。机房 A 的服务依然按部就班地执行业务逻辑并写入本地 DB。由于 Canal/DTS 存在百毫秒级的同步延迟,机房 A 的数据还没同步到机房 B,用户又刷新了页面,重试请求正确落入机房 B 并再次触发写入。最终,双向同步组件在回放 Binlog 时遭遇 Duplicate entry 报错,同步线程挂起。

    防御性架构实战:DAL 层防逃逸与底层兜底

    不要把系统的命脉全挂在网关的可靠性上。高可用多活必须遵循“多层拦截,底层兜底”的设计原则。

    1. DAL 层拦截:强校验 Cell 归属

    在微服务的 DAL(数据访问层,如 Go 的 GORM 拦截器或 Java 的 MyBatis Plugin),必须再做一次本地化的 Sharding Key 校验。这里以 Go 1.19 为例,演示拦截器核心逻辑:

    package dal
    
    import (
        "context"
        "fmt"
        "hash/crc32"
        "gorm.io/gorm"
    )
    
    // 全局配置:当前应用所在的物理机房 Cell ID
    var currentCellID = "CELL_A" 
    
    func MultiActiveProtectionPlugin(db *gorm.DB) {
        db.Callback().Create().Before("gorm:create").Register("multi_active_check", checkCellRule)
        db.Callback().Update().Before("gorm:update").Register("multi_active_check", checkCellRule)
    }
    
    func checkCellRule(db *gorm.DB) {
        if db.Statement.Schema == nil {
            return
        }
    
        // 从上下文中提取 Sharding Key(比如 UserID)
        // 实际工程中可通过 ThreadLocal/Context 传递,或解析 AST 提取 SQL 字段
        uid, ok := db.Statement.Context.Value("sharding_uid").(int64)
        if !ok {
            // 降级策略:如果没有带 sharding key,可能需要告警并放行,视业务严格度而定
            return
        }
    
        // 核心路由规则计算,比如按 uid hash 模 100
        bucket := crc32.ChecksumIEEE([]byte(fmt.Sprintf("%d", uid))) % 100
        targetCell := calculateTargetCell(bucket)
    
        // 如果本应去 B 机房的请求来到了 A 机房,直接掐断写入,拒绝产生脏数据
        if targetCell != currentCellID {
            db.Error = fmt.Errorf("FATAL: Cell routing escape detected. uid %d maps to %s, but arrived at %s", uid, targetCell, currentCellID)
            return
        }
    }
    
    func calculateTargetCell(bucket uint32) string {
        // 简化的单元化路由表查找逻辑
        if bucket < 50 {
            return "CELL_A"
        }
        return "CELL_B"
    }
    

    原理解析: DAL 层拦截是保护 DB 的最后一道防线。读请求可以适当放宽(容忍百毫秒级别的最终一致性脏读),但写请求必须严格拦截。哪怕对上层返回报错,也比产生两边机房数据冲突要好处理得多。

    2. 底层兜底:Canal/Otter 冲突解决策略配置

    即使有了代码层拦截,某些 DBA 运维操作或后门脚本依然可能引发双写。双向同步组件必须具备冲突自动解决能力,防止因为单行报错导致整个 DB 同步被 Block。

    在 Canal/Otter (v1.1.6+) 架构中,针对特定业务表,需要配置基于时间戳(或数据版本号)的 LWW(Last Write Wins,最后写入胜出)策略:

    # canal-adapter 或 otter 节点级配置
    # 开启数据冲突覆盖机制 (伪代码及配置项示意)
    canal.sync.conflict.resolution.enable = true
    
    # 针对主键冲突 (Error 1062),转为 UPDATE 覆盖
    canal.sync.conflict.on_duplicate_key = UPDATE_OVERWRITE
    
    # 记录冲突日志到特定的防御性监控表中,而非直接抛出异常导致同步线程假死
    canal.sync.conflict.log_table = `trade_db`.`sync_conflict_audit`
    

    若底层采用 MySQL 自身的 Group Replication (MGR) 多主模式,其内置的 Paxos 协议会通过 Certifier 机制直接阻断并发写冲突(后提交的事务会被 Rollback)。但在传统的异步双向同步链路中,必须由同步组件实现行级版本校验(通常要求表中强制带有 gmt_modified 字段及毫秒级精度)。

    常见问题

    Q:多活场景下,进行 DDL 变更(如加字段)如何避免打破双向同步? 使用 gh-ostpt-osc 进行无锁 DDL 时,会产生大量针对影子表(Ghost Tables)的 Binlog,这些事件如果被双向同步回放,极易引发无限循环或元数据错乱。 最佳实践: 必须在同步组件(如 Canal)的过滤规则中,正则屏蔽 DDL 工具产生的临时表(例如 .*_gho$, .*_ghc$, .*_del$)。同时,DDL 变更应严格按机房顺序执行,先在备机房执行,同步中断后再在主机房执行,最后重置同步位点。

    Q:什么时候应该选择“同城双活”而不是真正的“异地多活”? 取决于业务对数据一致性与 RTT(往返延迟)的容忍度。如果业务强依赖数据库级别的分布式事务(XA)或对 Read-After-Write 延迟要求在 2ms 以内,异地(跨城通常 30ms+ 延迟)的物理限制会导致同步写入吞吐断崖式下跌。此时只能做“同城双活”(低延迟光纤直连,当作一个大局域网),而异地只做冷备或异步灾备。

    Q:在主动进行机房级流量切换时,如何处理 DTS 同步延迟导致的数据不一致? 流量切换绝对不能瞬间完成,必须引入“禁写期”(Read-only Window)。 标准切换步骤:

    1. 拦截层对即将切走的 Sharding 规则下发“禁写”指令(返回特定报错,前端展示友好提示)。

    2. 持续监控 DTS / Canal 的延迟指标,直到 canal_instance_traffic_delay 为 0(且校验双端 GTID 一致)。

    3. 在目标机房放开对应的 Sharding 规则写权限。 整个过程通常在 3-5 秒内通过自动化控制面(如 Apollo/Nacos 配合网关)完成。