摘要

  • RFC 9856 为 EVPN 租户内承载同一 Single Flow Group 的冗余组播源规定了暖备与热备两套流程。
  • Single Forwarder 选举、ESI 标签或 BFD 会话只描述控制状态，不能单独证明有效载荷唯一、无重复或接收连续。
  • 可审计结论必须连接源健康、选择纪元、入口抑制、切换、包序列、接收分支和应用验收。

多一个源，也多了一项必须被证明的选择

RFC 9856 处理的不是同一台源设备通过多个 PE 接入的普通多归属，而是多台源系统向同一组发送应被视为同一条流的内容。它把这条流称为 Single Flow Group，可用 (*,G) 表示，也可用带可变长度源前缀的 (S,G) 表示。源可以位于不同广播域，并可单归属或多归属。

暖备把选择放在上游。候选 PE 发布源与 SFG 信息并选出 Single Forwarder；非 SF 丢弃本地接入的相同 SFG，SF 也只接受一个本地接入电路。这样可以避免重复流量先进入 EVPN 核心。但选举结果只证明在某一组通告、偏好与决胜条件下谁获胜。获胜源可能沉默、过期或输出错误内容，非获胜入口也可能因数据面状态偏差而漏放。

热备把选择移到下游。多个上游 PE 发送冗余流，并以源以太网段身份和 ESI 标签区分；下游 PE 接收多份流量后选一份转发，其余丢弃。备用数据已经到达，故障反应可以更快，代价是更多节点必须在同一选择纪元上保持一致。ESI/DCB 标签已通告、FIB 已编程或 BFD 仍为 Up，都不能直接说明每个下游 PE 丢掉了所有重复包，同时没有误丢有效包。

同一个“连续”结论需要六张收据

第一张是源收据：源实例、软件与配置纪元、流身份、时间新鲜度和有效载荷探针。单播可达只表明地址有路，不表明正确的组播内容正在产生。

第二张是控制收据：精确 SFG、源通告、偏好、SF 或下游选择，以及形成决策时的 BGP 纪元。不能用切换后的路由快照解释切换前的包轨迹。

第三张是抑制收据。暖备需要每个候选 PE 的逐 AC 接收与丢弃计数；热备需要代表性下游 PE 的入站标签、已选路径和重复丢弃计数。计数器必须带分母与复位记录；零丢弃既可能表示没有重复，也可能表示没有流量。

第四张是切换收据。开始点可能是源健康失败、BFD 变化或路由撤回；结束点可能是控制收敛、首个有效包、稳定序列，或应用恢复到政策范围。它们不是同一个时刻。

第五张属于接收端。应跨分支采样包序列、时间戳、丢失、乱序和重复，再用播放器、遥测摄取或业务探针确认内容可解码、足够新且被应用接受。RFC 9251 的成员状态与 RFC 9625 的跨子网转发，只能说明兴趣与路径状态从何而来，不能替代接收事实。

第六张是回退收据：选择失败后能否撤销，是否残留混合纪元、旧标签或第二个活动源。只有这六张收据相互对齐，冗余才从配置意图变成可验证的服务属性。

来源