MySQL GTID_SUBSET 怎样判断一组事务是否已包含

在 MySQL GTID 复制巡检里，最容易写反的判断是“这组事务是否已经包含在另一组事务中”。答案不是比较字符串长度，而是把两组 GTID 当作集合：GTID_SUBSET(set1, set2) 返回 1，表示 set1 中的每个 GTID 都能在 set2 找到；返回 0，表示至少有一个 GTID 尚未包含。

MySQL GTID_SUBSET 的参数顺序先固定下来

可以把它读成“set1 是不是 set2 的子集”。例如，set1 只有事务 23，而 set2 覆盖 21 到 57，结果为 1；如果 set1 从 20 开始，set2 从 21 开始，事务 20 不在后者中，结果就为 0。GTID 集合是字符串，所以 UUID、冒号和区间都要放进单引号。

-- 第一个查询：set1 的事务 23 已被 set2 的 21-57 覆盖，结果为 1
SELECT GTID_SUBSET(
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:23',
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:21-57'
);

-- 第二个查询：set1 含有事务 20，set2 从 21 开始，结果为 0
SELECT GTID_SUBSET(
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:20-25',
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:21-57'
);

这里的返回值只回答“是否包含”，不回答复制线程是否正在运行，也不代表数据页已经完成校验。把它用于切换前检查时，应该同时保留复制状态和数据一致性检查。

用 GTID_SUBTRACT 找到未覆盖的事务

当 GTID_SUBSET 返回 0，下一步通常不是盲目重试，而是找出差集。GTID_SUBTRACT(set1, set2) 会从 set1 中扣掉 set2 已经拥有的部分，返回仍未覆盖的 GTID；差集为空，才表示 set1 在 set2 中没有缺口。

-- 计算待检查集合相对已覆盖集合的缺口；结果为空表示没有缺口
SELECT GTID_SUBTRACT(
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:21-57',
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:21-25'
);

-- 用差集是否为空辅助巡检，但仍需结合复制状态判断原因
SELECT GTID_SUBSET(
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:21-57',
  '3e11fa47-71ca-11e1-9e33-c80aa9429562:21-25'
) AS is_subset;

实际巡检中可以先记录差集，再决定等待副本应用、检查过滤规则，还是核对切换目标是否拿到了正确的 GTID 集合。差集本身是集合层面的证据，不应直接解释成某一条业务数据一定缺失。

三个容易误判的边界

第一，参数不能省略引号，否则它不是 GTID 集合字符串。第二，反向调用会得到另一个问题的答案：GTID_SUBSET(set2, set1) 只能说明 set2 是否被 set1 覆盖。第三，跨多个来源 UUID 时，集合可以用逗号组合，但每个来源的区间仍要写清楚，避免把不同来源的事务号混在一起。

相关问题

GTID_SUBSET 返回 0 就一定是复制故障吗？

不一定。它只说明第一个集合并未完全包含在第二个集合里，可能是副本尚未应用、比较对象选错，或过滤后的拓扑本来就不会包含这些 GTID。先用 GTID_SUBTRACT 取出缺口，再结合复制线程状态和拓扑配置判断。

什么时候只用 GTID_SUBTRACT 不够？

差集能告诉你缺哪些 GTID，但不能告诉你缺口的业务原因。切换、恢复和故障排查还需要检查来源、副本应用状态、过滤规则以及数据校验结果。

记住一句话：GTID_SUBSET(set1, set2) 是“set1 是否被 set2 覆盖”，而 GTID_SUBTRACT(set1, set2) 是“set1 还缺哪一部分”。先固定参数方向，再解释返回值，GTID 巡检就不容易把结论写反。