摘要

  • RFC 9917 为 IS-IS 与 OSPF 的 Flex-Algorithm Definition 增加反向 Administrative Group 的排除、任一包含和全部包含三类约束。
  • 接收端的观测可以形成反向有色标记，并据此把对应正向边从约束拓扑中剔除；该标记本身不能证明物理故障、阈值合理或真实流量已经迁移。
  • 新设的 IANA 路径计算规则注册表固定规则顺序：可以插入新规则，但既有规则的相对顺序不得改变，也不得删除、合并或重复。

同一根线路有两个方向

点到点连接在链路状态数据库里不是一条无方向的线，而是 A→B 与 B→A 两条有向边。B 收到来自 A 的帧时，CRC 等输入错误自然由 B 观测；需要被保护的路径选择却可能发生在 A→B。普通正向亲和性约束无法完整表达这个“观测在远端、决策在本端”的关系。

RFC 9917 把两端接起来。它的用例提到接收节点在一定观测期内统计输入错误，然后由本地策略把某个 Extended Administrative Group 赋给反向边。Flex-Algorithm Definition 可以在评估正向边时查询这组反向属性。

规范化的是传递与计算，不是测量裁决。RFC 没有规定唯一计数器、统一时间窗、通用错误阈值或固定回差。颜色是运营者分类规则的输出。若记录里没有原始计数、测量位置、观察期、置位与清除阈值、策略版本和时间，颜色只能证明某项策略作出了判断，不能重放判断为何成立。

三种约束，三种明确的裁剪条件

Exclude Reverse Administrative Group 在反向边出现任一指定组时剔除链路。Include-Any Reverse 在反向边一个指定组都没有时剔除。Include-All Reverse 则在反向边没有同时具备全部指定组时剔除。RFC 9917 为 IS-IS 和 OSPF 的 FAD 编码分别定义了相应 sub-TLV。

解析边界同样重要。长度非法的反向组 sub-TLV 必须整段忽略；重复编码按其位置适用“采用第一次出现”或“拒绝该 FAD”等确定规则。这样，损坏或含混输入不会悄悄变成各厂商不同的策略语言。

裁剪结果仍是每台路由器的本地结论。节点要先收到具体 LSP 或 LSA 版本，依据 RFC 9350 选出 winning FAD，确认支持其中约束，再按既定顺序执行规则，随后才得到本地约束拓扑与计算路径。这个链条并不证明所有节点同时持有相同数据库、选择相同定义、安装相同路由或转发相同数据包。

阈值本身可能制造震荡

测量值若在单一阈值附近摆动，反向组就可能反复置位、清除，进而触发链路状态泛洪和路径重算。RFC 9917 明确提醒这种风险，示例采用不同的置位与清除阈值，并指出常规 LSP/LSA 节流可以限制更新频率。

回差与节流能控制变化速度，却不能证明标签正确。清除阈值保守，可能让已恢复的链路继续被排除；置位阈值过高，可能让退化路径继续可用；节流期间，不同节点还可能暂时看到不同版本。这些都是可接受的本地权衡，前提是报告保留权衡参数，而不是把最终颜色翻译成简单的“坏”或“好”。

事件时间线至少应保留四只钟：远端测量何时跨过策略线；反向 EAG 何时在本机变化；各版本 LSP/LSA 何时生成与接收；计算与 FIB 何时变化。业务指标是第五只钟。把它们压成一个时间点，会抹掉最需要诊断的传播与执行延迟。

规则顺序成为兼容性合同

RFC 9350 奠定 Flex-Algorithm 的基础计算步骤，RFC 9843 又加入带宽与时延约束。RFC 9917 在其后加入反向组规则，并建立 IANA“IGP Flex-Algorithm Path Computation Rules”注册表，保存完整的有序序列。

这个表不是普通功能目录。专家审查可以把未来规则插入任意位置，但既有规则之间的相对顺序 MUST NOT 改变；已建立规则不得删除、合并或重复。同一份 FAD 若被两个实现按不同顺序裁剪，可能产生不同的可用拓扑。因此，可扩展性依赖一个很小却严格的共同底座。

注册表能证明协调规则当前如何定义，不能证明某台设备已经实现、启用或执行该规则。能力声明、配置、收到的链路状态、计算轨迹和实际 FIB 是五类不同记录。

审计链必须走到数据包

完整取证顺序是：接收端原始计数 → 阈值与时间窗判定 → 反向 EAG 版本 → 生成与收到的 LSP/LSA → winning FAD → 有序裁剪结果 → 本地约束拓扑 → 计算路由 → 已安装 FIB → 数据包路径 → 业务结果。每个箭头都有独立负责人和失败方式。

这条边界同时防止两种误判。一种是把反向颜色说成“只是元数据”，忽略它确实能按既定政策剔除正向边；另一种是颜色一变，就宣布正向物理故障或业务已经恢复。RFC 9917 都不支持。它赋予元数据确定的计算效力，同时把观测来源和运营结果留给运行证据检验。

来源