要約

  • RFC 9717 では、予定されたリンク追加は、通常の IS-IS liveness が関係する全 adjacency の稼働を確認するまで利用してはならない。
  • 予定された削除は非対称である。軌道物理による切断はほぼ確実なので、実際の消失前に metric を上げ、収束と代替経路の導入を終えるべきだ。
  • スケジュールの権限、配布、現在のリンク観測、収束、PCE 計算、ハードウェア導入、顧客結果には、それぞれ別の証跡が必要である。

軌道図の緑線

14 時ちょうど、運用画面が二つの衛星の間に緑線を描く。軌道計算では、両者が光通信可能な幾何学的ウィンドウへ入った。PCE はその辺を通る Segment Routing 経路をすでに計算し、入口装置には label stack が用意されている。

スケジュールが真正で、予測グラフに対する計算が正しくても、光端末が相互捕捉したとは限らない。リンク層が使えること、IS-IS adjacency が成立したこと、パケットが通過したことも証明されない。予測には現実より早いからこそ価値がある。その先行性を現実に対する権限へ変えた瞬間、リスクになる。

RFC 9717 は接続と切断の非対称性を明記する。接続可能との予測は、多くの理由で実現しないことがある。一方、軌道力学が強制する切断時刻は事実上確実である。物理はウィンドウを閉じられるが、端末、追尾、制御手順がウィンドウを正しく開いたとは保証しない。

文書そのものの権限にも境界がある。2025 年 1 月発行の Independent Stream に属する Informational RFC であり、著者の見解を示す。IETF の成果物でもコミュニティーの合意でもなく、プロトコル変更も提案しない。RFC Series への掲載は、検証、導入、採用の証明ではない。

一つの予定表に必要な識別情報

管理プレーンは、予定変更を、それを使って判断する L1/L2 ノード、gateway、PCE に届ける。配布方式は範囲外である。そのため運用証跡には、発行者、版、生成時刻、有効期間、対象、受領確認、置換履歴が要る。これがなければ、二つのコントローラーがどちらも「予定に従った」と主張しながら、異なる未来を使い得る。

受領は適用の証明でもない。正しい版を持つ衛星の端末が不調かもしれず、gateway が改訂を逃したかもしれず、PCE が更新前の TED を使ったかもしれない。予測内容と、各判断主体が実際に取り込んだ時刻を結び付けなければならない。

追加は liveness を待つ

新しいリンクやノードは、通常の IS-IS liveness が全ての関連 adjacency を確認するまで機能変更を起こすべきではない。ルーティングテーブルや候補経路の事前計算はできるが、新しいトポロジーを使う経路を確認前にインストールすべきではない。

事前計算が証明できるのは、入力グラフ、制約、アルゴリズム版、計算時刻、SID リストである。「経路が存在する」ことではない。adjacency 成立後にも、LSDB、BGP-LS、PCE のデータベースが同じ現在グラフを示すか確認する必要がある。

事前インストールを選ぶなら、リンクが成立しない場合の撤回が対にならなければならない。トリガー、責任者、期限、対象 label、古い状態の削除確認までが一つの証跡である。未来の物理事象を条件とする状態について、「インストール成功」だけでは不十分だ。

削除は観測より前に動く

切断を liveness が検知するまで待てば、予測の利点を失う。RFC は、切断前に対象リンクの metric を高くし、情報の伝播と IGP 収束を終え、gateway と PCE も代替経路を先に導入するよう勧める。

必要な先行時間は規格値ではない。規模、設定、配布遅延、収束、計算、装置プログラミングに左右される。予定切断時刻、metric 変更、LSDB 伝播のばらつき、経路更新、ハードウェア応答、旧リンク上で最後に観測したパケットを残すべきである。

経路を八つの主張に分ける

提案は IS-IS、Area Proxy、隣接軌道から成る stripe、SR-MPLS、gateway/PCE による traffic engineering を組み合わせる。検証では、予定の承認、同一版の受領、adjacency の観測、トポロジーの収束、経路計算、転送状態の導入、実際の通過経路、サービス結果を分ける。

装置応答は遠端光リンクを証明しない。adjacency は容量を証明しない。正しい LSDB は正しい label stack の選択を証明しない。単一の顧客プローブは古い PCE 入力の有無を特定できない。共通の変更 ID と時間軸で証跡を結ぶことが監査価値を生む。

まだ検証を要する提案

文書は、グラフがほぼ常に接続され、稼働リンクと総帯域が需要を満たし、予定がおおむね正確だと仮定する。経路がなければパケット破棄を許し、蓄積転送を要求しない。これは特定の星座で計測された事実ではない。

将来課題では、正確な ISL 接続統計が公開されておらず、追尾可能な角度、距離、変化速度も不明だと認める。stripe は数軌道で済む場合も、数千衛星へ広がって IGP 実装の限界を超える場合もある。シミュレーションと実運用による検証が残っている。

したがって、文書を認定書にも失敗宣告にもしてはならない。予定情報は、特に確実な消失の前に、回避可能な損失を減らせる。既存プロトコルは有望な部品を与える。しかし予測は自らを実在へ変えず、計算は自らを転送状態へ変えず、緑の制御画面はサービス結果を生まない。

出典

一次資料：RFC 9717、RFC Editor 情報、ドラフト履歴、IETF conflict review。関連仕様：RFC 9666、RFC 8402、RFC 8660、RFC 4655、RFC 9552。

公開編集フレーム：主張ではなく現実を扱う理由。