要約

  • RFC 9860 は TI-LFA の修復リストを RPF Vector に読み替え、通常の LFA では得られない経路にも PIM Join をホップ単位で通す。
  • 修復リスト、待機系状態、UMH の切替は、それぞれ局所的な事実であり、無損失や全受信者の復旧を保証しない。
  • LSDB の世代からアプリケーションの健全性までを同じ試験識別子で結ぶ必要がある。

待機経路を「ツリー」にする仕事

TI-LFA が計算するのは、保護対象を避ける送出インターフェースと順序付きセグメントリストである。これはユニキャスト転送には十分でも、マルチキャストの中間ルータに必要な受信インターフェース、上流隣接、出力インターフェース群を自動的には作らない。Join をトンネルのように遠端まで運べば、途中の装置はそのフローを転送する PIM 状態を持てない。

RFC 9860 は、Node SID と Adjacency SID を LSDB 上の IP アドレスへ対応させる。RFC 5496 の RPF Vector と RFC 7891 の Explicit RPF Vector にその情報を載せ、各ルータが先頭のベクトルを処理しながら Join を次へ送る。こうして TI-LFA のユニキャスト計算から、ホップごとの状態を持つ PIM 待機系ツリーが作られる。

従来の MoFRR は、合流点が主系と副系の二つの UMH に同時に参加し、平常時は副系から届くコピーを破棄する。主系の障害を検出すると、局所的に副系を昇格できる。RFC 9860 の改善は、通常の LFA が見つからないトポロジーにも、その副系候補を与える点にある。

計算、適格性、構築、起動、結果

計算の記録には、LSDB の世代、メトリック、SID、保護するリンクまたはノードが必要だ。適用範囲は一つのリンクステート IGP エリア内であり、ドメイン出口や他ドメインへのリンクは含まれない。古い LSDB でも計算自体は成功し得るため、計算成功だけでは正しい現実を示さない。

適格性は別の記録である。待機系 Join 経路上の全ノードが RPF Vector を扱えなければならず、設定もその使用を許可しなければならない。RFC 9860 は、ベクトル付きとベクトルなしの Join が競合する場合、後者が優先されて保護経路が非アクティブのままになり得ると記す。修復リストの存在と、ある (S,G) に待機系が装備されたことは一致しない。

構築の証拠は、Join が意図した隣接を通り、各ホップに正しい状態を作ったことを示す。RFC 9860 は手動指定経路で各ノードの状態を確認し、Mtrace をデバッグに使うことを勧める。しかし Mtrace はアプリケーション受信者の証明書ではない。RFC 7431 によれば、通常の ping や mtrace では、MoFRR が受信して捨てている副系データストリームを検証できない。

起動には独立した時計がある。物理リンク、BFD、パケット欠落、IGP 撤回は異なる時点で障害を知らせる。待機系ツリーが存在しても選択されない場合や、選択が遅れる場合がある。RFC 9855 の TI-LFA は、修復点が局所障害を検出してから同点の IGP 収束が完了するまで有効である。他ルータの収束、修復の早期解除、リンク復旧時のマイクロループは別問題で、RFC 9860 は PIM のマイクロループ防止を範囲外としている。

最後に結果がある。合流点の入口・出口カウンタ、シーケンス欠落、重複、並べ替えは修復接合部を通ったパケットを示す。複数分岐の受信者プローブは到達性を示し、プレイヤー、デコーダ、テレメトリー取り込みなどの指標がサービス目的への復帰を示す。UMH の変更は制御動作の証拠であって、これらの結果の代用ではない。

50 ミリ秒の主語を明らかにする

RFC 7431 は、条件の整った方式で 50 ms の切替が可能であり、RTP の先着パケット選択ではゼロ損失も可能だとする。同時に、最低パケットレートを前提に無受信時間から障害を推定する方式では、遅延がストリームレートに依存すると説明する。したがって「50 ms」は製品属性ではなく、開始点と終了点を持つ試験結果である。

開始は光断、BFD 変化、UMH 降格、最初の欠落のどれか。終了は最初の修復パケット、安定した連続性、最後の受信者、アプリケーション SLO のどれか。単一の数字だけを報告すると、どの現実層を測ったかが消える。

最小の証拠鎖は、トポロジー世代、修復リスト、ベクトル対応、待機系 Join と各ホップ状態、障害検出、UMH 選択、合流点のパケット、代表受信者、サービス状態を結ぶ。Heng Lu の稼働コード優先と現実層の議論は、この分離を運用規律として表す。仕様は共通動作を定める。各実装と各サービスは、その後の事実を自ら立証する。

出典