MySQL GTID_SUBSET 处理空事务集合时怎样判断包含关系

排查 MySQL GTID 同步状态时，空事务集合不要当成异常字符串。GTID 集合允许用空字符串 '' 表示空集合，因此 GTID_SUBSET('', set2) 的含义是“空集合是否被 set2 包含”，结果为 1。真正需要警惕的是参数为 NULL，这时函数返回 NULL，不能直接当作“未同步”。

先明确 GTID_SUBSET 的两个参数方向

GTID_SUBSET(set1, set2) 判断的是：set1 中的每个 GTID 是否都出现在 set2 中。在复制检查里，可以把“需要确认已经存在的事务”放进 set1，把副本的 @@GLOBAL.gtid_executed 或另一份目标集合放进 set2。只要方向写反，结果就可能看起来合理，却回答了另一个问题。

例如，uuid:21-23 是待确认集合，uuid:21-57 是已执行集合，那么前者是后者的子集，返回 1。如果待确认集合扩大到 uuid:20-25，其中的 20 不在后者里，返回 0。

用空字符串和非空集合做最小查询

MySQL 8.4 手册把 GTID 集合表示为字符串，空集合可以直接写成 ''。下面的查询把空集合、正常集合和 NULL 放在一起，适合先确认应用层传入的到底是哪一种状态。

-- 用同一个 UUID 构造可读的 GTID 范围，分别观察空集合和 NULL
SET @required = '3E11FA47-71CA-11E1-9E33-C80AA9429562:21-23';
SET @executed = '3E11FA47-71CA-11E1-9E33-C80AA9429562:21-57';

SELECT
  GTID_SUBSET('', @executed) AS empty_is_subset, -- 空集合被包含，结果为 1
  GTID_SUBSET(@required, @executed) AS range_is_subset, -- 21-23 都存在，结果为 1
  GTID_SUBSET(@required, '') AS subset_of_empty, -- 非空集合不在空集合中，结果为 0
  GTID_SUBSET(NULL, @executed) AS null_argument; -- NULL 传播为 NULL

可以用下面这张表快速核对含义：

用 GTID_SUBTRACT 找出真正缺失的事务

GTID_SUBSET 适合做门禁判断，但只返回真假。要给同步任务生成补齐范围，可以对同一组参数调用 GTID_SUBTRACT：它返回 set1 中没有出现在 set2 的 GTID。空差集会以空集合返回，这比只看布尔值更便于记录日志和后续决策。

-- 先判断是否全部包含，再输出需要补齐的 GTID 范围
SET @required = '3E11FA47-71CA-11E1-9E33-C80AA9429562:21-25';
SET @executed = '3E11FA47-71CA-11E1-9E33-C80AA9429562:21-23';

SELECT
  GTID_SUBSET(@required, @executed) AS is_complete, -- 结果为 0，说明仍有缺口
  GTID_SUBTRACT(@required, @executed) AS missing_gtids; -- 返回 24-25 这段缺失范围

生产代码可以先判断 is_complete = 1 再结束检查；若为 0，则把 missing_gtids 写入排查日志。不要把 GTID_SUBTRACT 的结果直接拼到复制配置里，先确认它对应的源实例、通道和恢复策略。

在复制检查中固定判断边界

建议把判断封装成三个互斥状态：输入为 NULL 时标记为“数据缺失”；输入为 '' 时标记为“没有待确认事务”；两者都是合法的非空集合时，才进入包含判断。这样可以避免把采集脚本没有取到值与“待同步集合为空”混为一谈。

• 先确认 set1 是待确认集合，再确认 set2 是已执行集合。
• 用 COALESCE 把 NULL 强行改成空字符串前，先确认业务上是否允许这种语义转换。
• 记录原始集合字符串和判断结果，便于复盘 UUID、区间和复制通道。
• 跨多个来源 UUID 时，保持完整集合字符串，不要只比较某一个 UUID 的最大事务号。

相关问题

空字符串和 NULL 可以当成一回事吗？

不可以。空字符串表示已知的空集合，NULL 表示参数缺失或未知；GTID_SUBSET 对后者返回 NULL。

为什么 GTID_SUBSET 的参数顺序容易写反？

因为函数名只提示“子集关系”，没有把业务角色写出来。把 set1 读成“待确认集合”，set2 读成“覆盖集合”更稳妥。

只返回 0 时怎样知道缺了哪些事务？

对同样的两个集合调用 GTID_SUBTRACT(set1,set2)，返回值就是 set1 中尚未出现在 set2 的范围。

GTID_SUBSET 能代替复制延迟监控吗？

不能。它只比较两个集合是否包含，不能说明 SQL 线程状态、网络延迟或事务应用速度。