要約

  • RFC 9666 は leaf-spine 全体を Level 2 に複製せず、一つの Proxy System と Proxy LSP で Inside Area を表す。
  • outside SPF、inside SPF、境界 filter、FIB、Area SID、probe を分けて保存しなければ、抽象の成立を転送の成立と誤認する。

Outside Router の計算では、Inside Area を横切る内部コストはゼロだった。障害後も同じ proxy node への adjacency が残り、外側の graph は静かだった。しかし内側では二つの spine path のうち一方が失われ、残る経路の FIB 更新が遅れていた。ゼロになったのは観測可能な内部コストであり、物理的な仕事ではない。

RFC 9666 はこの非対称性を意図している。複数の leaf が Level 2 に接続し、その間を spine が運ぶ構成では、通常の IS-IS は transit topology を上位 LSDB に見せる必要がある。結果として fabric 全体を二重に保持しかねない。Area Proxy は外側に単一の node を示し、詳細と churn を内側へ封じ込める。

二つの SPF は別々の現実を扱う

Outside Router は Proxy LSP を使う。Inside Router は同じ LSP を flood しても内容を無視し、実リンクで計算する。loop を避けるため、inside は inter-area metric を intra-area metric より先に比較し、前者が同じときだけ後者を tie-break に使う。

したがって、監視基盤が二つの LSDB を一枚の topology に合成してはいけない。外側 snapshot は外部が信じるよう求められた主張を示す。内側 snapshot はその主張を実現する候補経路を示す。RIB/FIB と ingress-egress probe が初めて、どの主張が packet によって実現されたかを示す。

ready 広告と leader は投影の入口にすぎない

各 Inside Router は Area Proxy TLV で参加準備を示す。Leader は全員を観測した後に Proxy System ID を配布する。Inside Edge はそれ以前に outside IIH を送らず、以後は物理 ID ではなく proxy ID を source にする。

この全員条件は重要だが、対象集合が正しくなければ意味を失う。期待 inventory、各広告の時刻、leader election generation、候補の Proxy System ID と hostname の一致を保持する必要がある。leader が落ちると後継が Proxy LSP を再生成し、outside には通常の update として見える。安定した public identity は、同じ inputs や同じ decision maker を意味しない。

Proxy LSP も単純な複写ではない。到達不能 node の LSP は除外され、prefix は低い metric を選び、capability は全 node の共通部分や最小値に狭められる。Overload は一台でも立てば外へ反映する。最終 bytes とともに source LSP hash、除外理由、選択 rule、leader generation を保存してこそ provenance になる。

境界には「見せない」責任がある

Inside Edge は内部 LSP を outside に flood してはならず、CSNP/PSNP からも内部 system ID を除かなければならない。proxy と内部 node が同時に見える hybrid graph は抽象を壊す。試験は Proxy LSP の存在確認だけでなく、禁止 identity が一つも越境しないことを packet capture で証明すべきである。

SR の Area SID も advertising と installation を分ける。全 Inside Edge が SID を consume し、隠れた path が通り、application transaction が成功するまで delivery receipt にはならない。RFC 5304/5310 の認証も message provenance を守るだけで、投影の意味や転送結果までは証明しない。

RFC 9666 は Experimental で IP traffic を対象とし、MPLS は future work である。複数 Inside Edge を持つ boundary multi-access LAN も対象外だ。抽象を強くする方法は、その権威を広げることではなく、範囲を狭く保ち running code を測ることにある。

出典