如何在PromQL中从时序子集内过滤排除指定序列？

你当前使用的unless集合求差写法是PromQL的标准合法用法，完全可以正常生效。
PromQL底层采用RE2正则引擎，从设计上就不支持前瞻、后顾、反向引用这类高级正则特性，核心目的是保证正则匹配始终在线性时间内完成，避免出现正则拒绝服务风险，因此你最初设想的单正则实现思路本身在PromQL中不可行，不需要在这个方向尝试。

不同场景下的最佳实践 #

• 单标签维度的简单排除，优先用同标签的正负匹配组合，性能优于unless运算
  你示例中的场景，排除规则只针对instance单个标签，完全可以把匹配和排除逻辑合并到同一个标签选择器中，不需要两次查询做集合运算。PromQL的标签正则默认是子串匹配，不需要额外加前后的^.*、.*$通配，只有需要严格锚定开头/结尾位置时才需要加^/$。
  原写法：

  up{instance=~"^.*:.*"} unless up{instance=~"^.*:10000$"}
  

  性能更优的等价写法：

  up{instance=~":", instance!~":10000$"}
  

  这种写法在时序扫描的标签匹配阶段就会直接完成过滤，不需要额外做集合差集计算，在时序基数较大的场景下性能差距会非常明显。写正则时尽量用精准的字符集替代通配符，比如匹配数字端口用[0-9]+替代.*，既可以减少误匹配，也能进一步提升匹配效率。

• 多标签、跨指标的复杂排除场景，使用unless是标准实现
  如果你的排除规则涉及多个标签的组合逻辑，或者需要基于其他指标的查询结果做排除，unless就是最清晰、最易维护的标准实现，比如需要排除所有关联了maintenance_mode=1标记的实例：

  up{instance=~":"} unless on(instance) maintenance_mode == 1
  

  这类场景下无法通过单个标签选择器的正负正则实现，unless的语义也比把所有规则揉进一个复杂负向正则里更清晰，后续调整规则时不容易出错。

内容的提问来源于stack exchange，提问作者jayarjo