要約

  • 最大SID深度は、経路の一般的な長さではなく、ノードまたはリンクがSIDやラベルを付与できる有限の実装能力である。RFC 8476、8491、8664、8814は、その能力をOSPF、IS-IS、PCEP、BGP-LSで扱える記録にし、RFC 8665はOSPFv2 Segment Routingの周辺文脈を与える。
  • Jeff Tantsuraについて確認できるのは、五つの完全な共著者グループに継続して名を連ね、能力値の型、ノードとリンクの範囲、欠落とゼロ、優先順位、検証限界を明示する共同作業に参加したことだ。単独発明、現職、導入所有権、障害責任、運用成果までは立証されない。

論理的に正しい経路が装置には深すぎることがある

経路計算器は、トポロジー、コスト、制約、ポリシーを入力として候補を作る。その結果がグラフ上で整合していても、ヘッドエンドが必要な数のSegment Identifierをパケットに付与できるとは限らない。制御面の解と転送面の能力は、同じものではない。

この差を明示するのがMaximum SID Depth、すなわちMSDである。RFC 8491はIS-IS向けに型付きのNode MSDとLink MSDを定義し、RFC 8476は同じ考え方をOSPFに実装する。RFC 8814はOSPFまたはIS-ISに由来する値をBGP-LSでトポロジー利用者へ運ぶ。RFC 8664はPCEPセッション能力、リクエスト単位のメトリック、検証、優先順位を定める。RFC 8665はOSPFv2におけるSegment Routingの能力とSID広告を規定するが、MSDのOSPF符号化そのものはRFC 8476の役割である。

五文書を連続した記録として読むと、有限能力の受け渡しが見える。装置はまずSIDやラベルを付与する現実の上限を持つ。IGPはその上限を型付きでノードまたはリンクに結び付ける。BGP-LSは外部の利用者へ届ける。PCEPはセッションまたは個別要求の判断に反映する。どの層も能力を作り出さず、記録して利用可能にする。

そのため、数字だけを渡しても不十分である。MSD-Typeがなければ何を数えた値か分からない。ノード値だけを残せば、より具体的な出力リンクの制限を失うことがある。広告の欠落をゼロに置き換えれば、明示された不能と未知を混同する。PCEPのセッション要約がルーティング由来のインターフェース値を上書きすれば、標準が残した精度を捨てることになる。

この限定された技術記録こそ、Tantsuraを扱う根拠になる。五つのRFCすべてで、彼は完全な著者一覧の一員である。そこから言えるのは、実装限界を制御面で可視化する共同標準化への反復的な参加である。特定ネットワークでの採用、性能向上、可用性改善、単独設計までを導く証拠ではない。

MSDが測るのは付与能力であってホップ数ではない

Maximum SID Depthという名称から、経路の長さやホップ数を想像するのは適切ではない。RFC 8491におけるMSDは、ノードまたはそのノード上のリンクがサポートするSID数である。同文書はBase MPLS Impositionも定義し、サービス、トランスポート、特殊用途を含むMPLSラベルの付与可能数として扱う。

付与には、スタック先頭のラベルを別のラベルに置き換えることと、新しいラベルを一つ以上プッシュすることの両方が含まれる。付与数は、置換したラベル数と追加したラベル数の合計になる。したがってMSDは、計算器内部の命令列ではなく、転送処理が実行する仕事に結び付いた値である。

RFC 8476でも、OSPFのNode MSDは広告インスタンスが使用するリンクの中で最も低いサポート値を表す。Link MSDは、あるインターフェースを出力として使うときの能力を示す。RFC 8664のPCEP MSDは、PCCがパケットに付与できるSIDの最大数を、その文書ではMPLSラベルスタック深度として表現する。

OSPFとIS-ISの文書は、MSD値がハードウェアAPIから取得される場合と、設定によって与えられる場合の双方を認めている。すべての実装が同じ方法を使うとは述べない。標準化するのは、取得後に交換される制御面の表現である。

ここには重要な境界がある。MSDを広告しても装置の能力は増えない。正しく符号化された値であっても、設定とハードウェアの一致までは証明しない。プロトコルは記録管理者として能力を伝えるが、記録の正確さは稼働装置との対応に依存する。

IS-ISでは数値の前に意味を固定する

2018年11月に公開されたRFC 8491は、MSD-TypeとMSD-Valueの組をIS-ISで広告する。型はどの能力を表すかを定め、値はその限界を表す。修飾のない整数を「深度」として配るのではなく、解釈可能な能力記録にする設計である。

同文書はIGP MSD-Typesレジストリを作り、タイプ1をBase MPLS Imposition MSDに割り当てる。BMI-MSDは、定義範囲にあるサービス、トランスポート、特殊ラベルを含めて付与可能なラベル数を表す。将来の別タイプは、同じ搬送形式を使いながら異なる能力を定義できる。

拡張性を得る代わりに意味を曖昧にしてはいない。新しいタイプは、値の意味だけでなく広告が存在しない場合の解釈も定める必要がある。共通の符号化は型と値を運び、個別タイプが意味を与える。利用者は、理解できるタイプだけを正しい意味で扱える。

RFC 8491は、Segment Routingが有効でない場合にもMSD広告が有用になり得ると説明する。非SRのMPLS環境では最大ラベル深度を示し得る。これは普及率の主張ではない。ラベル付与の有限性が、特定の制御方式より基礎的な性質であることを示している。

RFC 8491の著者はJeff Tantsura、Uma Chunduri、Sam Aldrin、Les Ginsbergである。タイプのレジストリ、ノードとリンクのsub-TLV、BMI-MSDの定義は、この完全な著者グループとIETFの合意形成に属する。Tantsuraの継続的な関与を記述することと、成果を個人所有にすることは異なる。

Node MSDは最も弱いリンクに合わせた要約である

IS-ISのNode MSDはRouter CAPABILITY TLVに収められる。あるMSD-Typeについて、広告するIS-ISインスタンスが使用するインターフェースのうち、最も低いサポート値を採用しなければならない。最も能力の高いポートをノード全体の代表にする規則ではない。

最小値によって、ノード広告は保守的な集約になる。利用者がノード値しか持たない場合でも、関係するリンク集合に共通して適用できる境界を受け取る。あらゆる実装詳細を表すわけではないが、ノード値がどのインターフェース群を要約するかは明確である。

値の範囲は0から255である。共通手順においてゼロは、そのタイプでどの深度のスタックもサポートできないことを意味する。非ゼロは能力上限を示す。ゼロは明示的な値であり、フィールドがなかったときに便宜上入れる数字ではない。

リンク間で能力が均一なら、RFC 8491はNode MSDだけを広告してフラッディング効率を高めることを推奨する。ただし、既知の差まで消してよいとは言っていない。特定リンクに異なる限界があるならLink MSDがその差を保持し、そのタイプについてNode MSDより優先される。

集約と詳細は役割が違う。ノード値は重複を抑え、リンク値は実際に選ばれる出力の制限を表す。生産側が異質性を正しく公開し、消費側が優先順位を守ることで、効率と正確さを両立できる。

Link MSDが優先される理由は情報範囲にある

RFC 8491のLink MSDは、対応するインターフェースを出力として使用するときの能力である。同じMSD-Typeのリンク値が存在すれば、Node MSDより優先しなければならない。リンクにそのタイプがなく、ノードにある場合はノード値を使う。

これはプロトコル間の権力関係ではない。ノード値は複数インターフェースの要約であり、リンク値は経路が実際に使う出口に近い。具体的な事実があるときに集約値を使えば、公開された精度を自ら落とすことになる。

一方、ラベル付与が入力インターフェースの文脈で行われる実装では、有意味な出力リンク単位の広告ができない場合がある。その場合はNode MSDだけを広告すべきだと文書は述べる。表現できない精度を装置に要求しない境界である。

同じリンクについて同タイプのLink MSD広告が複数ある場合、RFC 8491は一般的な選択方法を定義していない。この未定義状態を、記事側で解決済みのように扱うことはできない。実装固有の方針を持つ場合でも、それは標準手順とは区別する必要がある。

具体的で根拠のある値を優先する。具体値がなければ規定された要約を使う。実装が表現できない粒度を作らない。定義されていない状況を見えたままにする。これらの規則は、数値だけでなく知識の限界も保存している。

広告なしとゼロは別の運用状態である

RFC 8491とRFC 8476は、MSD-Valueのゼロと広告の欠落を分離する。ゼロは、そのMSD-Typeでスタックを付与する能力がないという明示値である。Node MSDとLink MSDの両方がない場合の意味は、タイプごとの定義に従う。

一般的には、広告がないことから分かるのは、そのノードが当該MSD-Typeの広告をサポートしていないという範囲までである。特定タイプが「広告なしは機能なし」を意味すると定義することはできるが、その強い意味はタイプ仕様から来なければならない。

BMI-MSDでは、広告の欠落はBMI能力の広告をサポートしないことだけを示す。MPLSラベル付与能力がゼロだとは証明しない。欠落を自動でゼロに変換すれば、「能力なし」と「情報なし」を同一にしてしまう。

自動化は欠損値を嫌う。数字があれば処理を続けやすい。しかし、根拠のない補完は記録を完全にするのではなく、未知を隠す。本地ポリシーで拒否、再確認、フォールバックを選ぶことはできても、その判断をIGPが広告した事実として保存してはならない。

少なくとも、既知の非ゼロ能力、明示されたゼロ能力、広告がないため未知、という三状態を残す必要がある。最終判断は用途で変わるが、入力時点で違いを失えば、後段の計算は元に戻せない。

OSPFは重複レコードにも決定的な扱いを与える

2018年12月のRFC 8476は、型付きのNode MSDとLink MSDをOSPFに導入する。Node MSDはOSPF Router Information Opaque LSAに入り、Link MSDはOSPFv2またはOSPFv3のリンク関連構造に対応したsub-TLVとして運ばれる。

基本原則はIS-ISと共通である。Node MSDはOSPFインスタンスが使うリンク群の最小値、Link MSDは特定の出力インターフェースの値である。リンク値があれば優先し、なければノード値を使う。両方ない場合の意味はタイプに依存する。

OSPFには重複Node MSDの選択規則がある。同じRouter Information LSA内に複数ある場合は最初の出現を使う。異なるフラッディングスコープのRI LSAに存在する場合はエリアスコープを使う。同じスコープで複数ある場合は、数値が最小のInstance IDを選ぶ。Node MSDにはエリアスコープが推奨される。

リンク広告の重複にも選択規則がある。OSPFv2ではOpaque IDが最小のExtended Link Opaque LSA、OSPFv3ではLink State IDが最小のE-Router-LSAを用いる。同時に、その状況はエラーとしてログに記録することが推奨される。

RFC 8476の著者はJeff Tantsura、Uma Chunduri、Sam Aldrin、Peter Psenakである。同文書は単に二つのIGPを同一視するのではなく、共通概念をOSPF固有のLSA、スコープ、重複選択に対応させる。

決定的に選べても内容が正しいとは限らない

重複時の規則は、受信者ごとの場当たり的な選択を防ぐ。複数の適合実装が同じレコードを選べることは、相互運用性にとって重要である。しかし、選ばれた値が転送能力と一致するかは別問題だ。

リンク重複をログに残す理由もここにある。プロトコル処理は継続できるが、運用者は異常入力があったことを知る。選択は処理を安定させ、ログは可観測性を守る。どちらも広告元の正確さを代替しない。

フラッディングスコープの優先順位も同様である。エリアスコープを選ぶ規則は使用値を決めるが、矛盾した広告の組み合わせを健全だとは認定しない。制御面が疑わしいデータから一貫した結果を出せても、データが真になるわけではない。

RFC 8476のセキュリティ考慮は、誤った値の影響を明示する。実際より小さければ、実行可能な経路を計算できない場合がある。実際より大きければ、ヘッドエンドが支えられない経路のインスタンス化を試みる場合がある。特定障害や必然的結果を主張する記述ではない。

符号化は形式を保証し、スコープは対象を特定し、選択規則は重複時の一貫性を守り、監視は異常を残す。内容が稼働装置と一致するかを確かめる責任は、さらに別の層に残る。

RFC 8665はOSPF-SRの文脈を与える

2019年12月のRFC 8665は、OSPFv2向けのSegment Routing拡張を定義する。Prefix-SID、Adjacency SID、SIDまたはラベルのレンジ、SR Local Block、アルゴリズム情報などを扱い、OSPF内でSRの識別子と能力を広告できるようにする。

ただし、同文書はOSPFのMSD符号化を定義しない。Node MSD TLV、Link MSD sub-TLV、優先順位、欠落の意味はRFC 8476が担う。RFC 8665をMSDの直接根拠として使うと、二つの標準の責任範囲を混同する。

分離して読むと、記事の焦点も明確になる。RFC 8665はOSPFv2-SRの制御面でどのような識別子や能力が見えるかを示す。RFC 8476は、ノードまたは出力リンクが特定タイプについて何個のSIDやラベルを付与できると宣言するかを示す。

TantsuraがRFC 8665に名を連ねることは、より広いOSPF-SR標準化記録への参加を示す。しかし、本稿が扱えるのはMSDの可視性という限定テーマである。追加の証拠なしに、一般的なSegment Routing人物史へ広げることはできない。

RFC 8665は、編集者Peter PsenakとStefano Previdiに加え、Clarence Filsfils、Hannes Gredler、Rob Shakir、Wim Henderickx、Jeff Tantsuraを著者として挙げる。大きな著者グループであること自体が、共同作業の境界を示す。

PCEPでは上限がセッションの行動を制約する

RFC 8664はPCEPをSegment Routing向けに拡張し、SR PCE Capability sub-TLVにMSDフィールドを設ける。PCCはOpenメッセージで、パケットに付与できるSIDの最大数を通知する。経路計算側は、セッション開始時から有限能力を入力として持てる。

Xフラグが二つの状態を区別する。PCCがXを設定すると、セッションではMSDを無制限として扱い、MSDフィールドはゼロでなければならない。Xを設定しない場合、MSDは正数でなければならない。XなしでMSDゼロは無効で、PCEPエラーを返してセッションを閉じる。

このため、ゼロだけを取り出して意味を決めることはできない。Xとゼロの組み合わせは明示的な無制限表現であり、Xなしのゼロは不整合である。フィールドの文脈を保存しなければ、正反対の状態を混同する。

非ゼロMSDのセッションでは、PCEはその値より多くのSIDを含むSR-TEパスを送ってはならない。PCCが超過パスを受け取った場合、サポートされないSR-ERO sub-object数に対するエラーを返す。PCCのMSDが変わるなら、セッションを閉じて新しい値で再確立する必要がある。

可視化された能力が、ここでは具体的なプロトコル動作になる。それでも、PCEPは宣言とメッセージの整合性を検査するだけで、宣言値をハードウェアに照合しない。手順が正しくても、元の数字が正しいという証明にはならない。

リクエストは最小化と上限を別々に表す

RFC 8664は、個別の経路計算要求にMaximum SID Depth metricを定義する。PCCはSID深度を最小化するようPCEに要求できる。boundビットを設定すれば、返される経路は指定値を超えてはならない。

有限セッションをリクエストで拡張することはできない。セッションのMSDが非ゼロなら、PCCはそれより大きいリクエストMSDを送ってはならず、PCEはその要求を無効として規定のエラーを返す。

PCCがXで無制限を宣言していない場合、MSD metricを使う要求はboundビットを設定しなければならない。「できるだけSIDを少なくする」という最適化と、「この数を超えてはならない」という可否境界は別である。

無制限のセッションでも、個別要求にMSDを設定できる。セッション既定値と経路固有の上限は、それぞれの役割を持ち、標準が関係を定義する。

この区別は運用上重要である。最適化関数は複数の実行可能案を並べ替える。ハード上限は案を候補に入れられるかを決める。最小化を試みたという事実は、上限を超えた案を実行可能にはしない。

ルーティング由来の具体値はセッション要約より優先される

RFC 8664は、PCEがルーティングプロトコルからノード単位またはインターフェース単位のMSDを学習する場合を定める。ルーティングからPCCのノード値を得たなら、PCEP capability内のノード値の代わりに使う。インターフェース値を得たなら、そのインターフェースを通る経路計算で使う。

セッション値は、詳細情報がない場合の要約として有用である。しかし、トポロジー上の対象により近い情報を覆い隠してはならない。優先順位は制度上の上下関係ではなく、情報の具体性を表す。

IGPとPCEPの規則は一貫している。同タイプならLink MSDがNode MSDより優先される。ルーティングから得たノードやインターフェース値は、定められた場合にセッション値より優先される。リクエストは有限セッションを超えない。

もちろん、元データが誤っていれば優先順位は修復しない。役割は、統合過程で具体的な情報を一般的な要約に劣化させないことだ。実装能力との照合は別途必要である。

RFC 8664の著者はSiva Sivabalan、Clarence Filsfils、Jeff Tantsura、Wim Henderickx、Jon Hardwickである。能力、メトリック、検証、優先手順は共同成果である。

BGP-LSはIGPの能力記録を外部へ運ぶ

集中型のトポロジー利用者がOSPFやIS-ISに直接参加するとは限らない。2020年8月のRFC 8814は、Node MSDとLink MSDをBGP-LS属性として運ぶための拡張を定義する。

BGP-LS speakerがOSPFまたはIS-ISから学んだトポロジーを発信する場合、MSDはそれぞれRFC 8476とRFC 8491の拡張に由来する。BGP-LSが新しい能力を測るのではない。IGPが保持する型付き情報を配布する。

Node MSDはノード属性TLVとして一つ以上のタイプと値を持ち、対象リンク群の最小値を表す。Link MSDはリンク属性TLVとして対応する出力インターフェースの値を表す。RFC 8491のタイプ体系は、IGPの外でも意味を保つ。

BGP-LSは、能力が知られる場所と経路を計算する場所の間を橋渡しする。橋が有用であるためには、型、値、ノード、リンクの対応が維持されなければならない。整数だけを運んでも、どの機械制約か判断できない。

RFC 8814の著者はJeff Tantsura、Uma Chunduri、Ketan Talaulikar、Greg Mirsky、Nikos Triantafillisであり、Siva Sivabalanはcontributorとして記載される。著者と貢献者の区別を保つことも、技術データのスコープを保つのと同じく帰属の正確さに関わる。

搬送形式が正しくても意味の検査は残る

RFC 8814の管理上の考慮事項は、BGP-LSと利用アプリケーションの役割を分ける。新属性の構文エラーは既存のBGP-LS属性処理に従う。一方、MSD内容の意味や、NLRIや属性との関連を確認するのは利用者であり、BGPプロトコルではない。

したがって、形式上正しい属性でも、値が実装能力と違う場合や、対象との関連付けが誤っている場合がある。搬送層は自分が理解する表現を処理できるが、転送装置の状態やアプリケーションの解釈をすべて検証できない。

RFC 8814は、符号化や復号の誤りによってSR PCEがMSD情報を得られなかったり、誤った情報を得たりする可能性を述べる。その結果としてヘッドエンドが望む経路をインスタンス化できない場合がある。アプリケーション側のエラー処理は実装依存で、文書の範囲外である。

責任分担は弱点ではない。IGPは型とスコープを持つ記録を生成し、BGP-LSは表示を運び、利用者は意味を確認し、稼働装置が最終的な現実を示す。各層が自分の限界を明らかにする方が、単一プロトコルが全体を検証すると装うより追跡しやすい。

記録管理者は、対象、範囲、値を保存し、自分の規則に従って不正形式を拒否すべきである。ただし、アプリケーションや装置だけが知る事実まで証明したとは言えない。

小さ過ぎる値と大き過ぎる値は異なる失敗を招く

RFC 8476、8491、8814は、誤ったMSD値の二方向を区別する。実際の能力より小さい値は、実行可能な経路を計算候補から除外する場合がある。実際より大きい値は、ヘッドエンドが付与できない経路を試みさせる場合がある。

過小申告は利用可能な能力を隠し、過大申告は存在しない能力を作る。いずれも制御面の記録を稼働現実から離すが、計算への作用は逆である。常に小さい値を選ぶことも、常に大きい値を選ぶことも正解ではない。必要なのは、対象タイプとスコープに正確な値である。

RFCの表現は慎重であり、特定の障害、発生確率、必然的な結果を示さない。Tantsuraや共著者個人にセキュリティ責任を帰す根拠にもならない。値の不一致が生み得る結果と、能力情報が攻撃者の参考になり得る点をプロトコルレベルで述べている。

PCEPは宣言後の整合性をさらに制約する。無効な能力組み合わせはセッションを閉じ、要求上限は有限セッションを超えられず、PCEはより深い経路を送れず、PCCは超過経路にエラーを返す。これらは宣言を守らせるが、宣言の測定はしない。

正確さは運用上の要件である。誤った値は、複数プロトコルが一貫して運んでも正しくならない。出所、適用対象、確認状態を残し、装置との不一致を可視化する必要がある。

一つの機械制約を受け渡す保管連鎖

五つのRFCは、有限の付与能力という一種類の事実を受け渡す保管連鎖として読める。RFC 8491がIS-ISの型とノード・リンク範囲を与え、RFC 8476がOSPF固有の符号化と選択を与える。RFC 8814がBGP-LSで外部へ運び、RFC 8664がPCEPで利用する。RFC 8665はOSPFv2-SRの文脈を支えるが、MSDの定義を横取りしない。

受け渡しでは、何を数えるタイプ、正しいノードやリンクとの関連、リンク値の具体性、欠落とゼロの違い、ルーティング値の優先、リクエストとセッションの上下関係を保つ必要がある。

同時に、不確実性も保管対象である。IS-ISの特定重複ケースは選択未定義であり、欠落の意味はタイプ依存であり、BGP-LSは意味検査を利用者に残し、PCEPはハードウェアを検証しない。穴を既定値で埋めれば、見かけの完全性と引き換えに証拠を失う。

MSDシグナリングは単なるTLV集ではない。機械の有限能力に関する分散した声明である。IGP、BGP-LS、PCEPの責任は異なり、利用者はどの記録を優先すべきかと、どこで確認が未完了かを知ることができる。

Tantsuraが関わった共同作業に見えるのは、この意味の連続性である。標準は匿名の能力仮定を信じるよう計算器に求めず、判断地点へ記録を届ける。同時に、記録を能力そのものや成功保証にしない。

共著者の全体像を崩さない

技術的な正確さには帰属の正確さも含まれる。五文書すべてにJeff Tantsuraの名があるが、単著はない。

RFC 8491「Signaling Maximum SID Depth (MSD) Using IS-IS」は、Jeff Tantsura、Uma Chunduri、Sam Aldrin、Les Ginsbergを著者とする。IS-IS広告、IGP MSD-Typesレジストリ、BMI-MSDを定義する。

RFC 8476「Signaling Maximum SID Depth (MSD) Using OSPF」は、Jeff Tantsura、Uma Chunduri、Sam Aldrin、Peter Psenakを著者とする。OSPFのNode MSDとLink MSD、および選択・優先手順を定義する。

RFC 8664「Path Computation Element Communication Protocol (PCEP) Extensions for Segment Routing」は、Siva Sivabalan、Clarence Filsfils、Jeff Tantsura、Wim Henderickx、Jon Hardwickを著者とする。PCEPの能力、MSD metric、検証、ルーティング情報の優先を含む。

RFC 8665「OSPF Extensions for Segment Routing」は、編集者Peter PsenakとStefano Previdiに加え、Clarence Filsfils、Hannes Gredler、Rob Shakir、Wim Henderickx、Jeff Tantsuraを著者とする。OSPFv2-SRの文脈を与え、MSD符号化は定義しない。

RFC 8814「Signaling Maximum SID Depth (MSD) Using the Border Gateway Protocol - Link State」は、Jeff Tantsura、Uma Chunduri、Ketan Talaulikar、Greg Mirsky、Nikos Triantafillisを著者とする。IGP由来のMSDをBGP-LSノード・リンク属性として運ぶ。

完全な一覧とIETFの合意形成を残すことで、Tantsuraの反復的な関与を示しながら、各機構を個人の独占物に変えずに済む。著者記録は共同文書への責任を示すもので、各文や各実装を個人に割り当てるものではない。

五文書が証明しない領域

標準は公開された技術著者記録とプロトコル動作を証明する。現在の雇用先、役職、私生活、所在地、運用ネットワークへの権限は証明しない。歴史的な著者住所欄の組織名を現在所属として扱うことはできない。

単独発明や単独支配も立証されない。Tantsuraは常に共同著者の一人であり、IETF標準化は複数者のレビューと合意を前提とする。

導入規模や成果を示すデータもない。何台のルータがMSDを広告するか、何個のコントローラが利用するか、特定ベンダーがどこまで実装するか、可用性や性能が改善したかは五文書に記録されない。顧客、実ネットワーク、障害事例もない。

シグナリングは能力検証ではない。OSPFやIS-ISが型付き値を送り、BGP-LSが正しく運び、PCEPが宣言関係を守っても、最初の値がハードウェアと一致するとは限らない。セキュリティと管理の節が、その誤差の可能性を残している。

また、一般的なSegment Routing人物史へ広げる根拠もない。RFC 8665は必要な文脈であり、RFC 8664にはMSD以外の多数のPCEP機構がある。本稿の主題は、有限の付与能力が正しい型と範囲で経路計算へ届くことである。

制約の見える化に表れる技術的な一貫性

人格を推測しなくても、公開された設計判断には一貫した型がある。数値にタイプを付け、ノードとリンクを分け、リンクを優先し、ゼロと欠落を分け、OSPF重複を決定的に扱いながら異常を残し、IS-ISの未定義ケースを未定義のまま示し、BGP-LSでIGP由来を保ち、PCEPでより具体的なルーティング情報を優先する。

共通する原則は、実装限界を必要なシステムから見えるようにしつつ、記録が知っている以上のことを主張させないことである。コントローラの抽象モデルは、最後にはヘッドエンドとインターフェースの具体能力に出会う。

Tantsuraの反復的な共著記録からは、限定的だが明確な結論が得られる。彼は、同じ種類の有限制約をOSPF、IS-IS、BGP-LS、PCEPへつなぐ共同作業に参加した。そこには記録の生成、搬送、利用だけでなく、意味を失わないための優先順位やエラー境界も含まれる。

これは経路を完全に支配する英雄物語ではない。計算された経路は、稼働ノードが付与できるまでは提案にすぎない。MSDシグナリングは、その物理的・実装的境界を制御面の記録に置き、計算が何を根拠にしたかを説明可能にする。

一つの値ではなく、判断に必要な一組の情報として扱う

運用システムがMSDを単一の数値列へ正規化すると、プロトコルが保存していた意味を簡単に失う。判断に必要なのは、少なくともタイプ、値、対象範囲、出所、状態の組である。いずれかが欠ければ、数値を比較できても適用可能性を説明できない。

タイプは何を数えるかを決める。BMI-MSDなら、定義された範囲のMPLSラベル付与数を扱う。別のMSD-Typeは別能力を表し得るため、同じ数値をそのまま同一制約として扱えない。タイプを保存することは、単なるメタデータ管理ではなく、計算単位を守ることである。

対象範囲は、値がノード全体の要約か、特定の出力リンクかを示す。ノード値は関係するインターフェース群の最小値であり、リンク値は実際の出口に近い。範囲を落としてしまうと、どちらを優先すべきか判断できず、最も具体的な能力を集約値で上書きする危険が生まれる。

出所は、なぜその値が利用可能なのかを示す。OSPFまたはIS-ISから直接得たのか、BGP-LSがIGP由来情報として運んだのか、PCEPセッションの要約なのか、個別要求のboundなのか。RFC 8664の優先規則は、単に二つの数字を比較するのではなく、より具体的な出所と範囲を保持するためにある。

状態には、明示されたゼロ、広告欠落、重複選択後の値、Xフラグと組み合わされた無制限表現、最小化メトリック、ハードなboundなどが含まれる。たとえば同じゼロでも、IS-ISのMSD-ValueとPCEPのX付きセッションでは文脈が異なる。状態を外せば、正反対の意味を同じ値にしてしまう。

この一組を保存すれば、経路結果に対して「どの値を使ったか」だけでなく、「なぜ使えたか」「どこに適用したか」「どの不確実性が残ったか」を説明できる。制御面の記録を現実層として使うには、この説明可能性が欠かせない。

能力値にはプロトコルごとの時間軸がある

値が正しくても、異なる時点の記録が混在すれば判断を誤る。IGPのノードまたはリンク広告、BGP-LSが保持する外部向けコピー、PCEP Openで宣言されたセッション能力、個別要求のboundは、それぞれ更新の契機が違う。

RFC 8664は、PCCのMSDが変更される場合、セッションを閉じて新しい値で再確立するよう求める。能力はセッションの前提であり、確立済みセッションの横で黙って差し替える補助情報ではない。この規則により、少なくともPCEP内部では双方がどの宣言を共有しているかが明確になる。

一方、OSPFやIS-ISの値はルーティング状態として更新され、BGP-LSはその情報を別のセッションと処理経路で利用者へ運ぶ。五RFCは全プロトコルを同期する単一時計を定義していない。したがって、すべての層に値が存在することと、すべてが同じ時点の能力を表すことは別である。

運用上は、出所と更新状態を追跡できることが重要になる。新しいLink MSDがIGPに現れた一方で、BGP-LS利用者が古い情報を持ち、PCEPセッションも以前の要約で継続している場合、それぞれの値は構文上正しくても時間的にずれている可能性がある。

標準文書は特定実装での同期方法や収束時間を報告しない。その範囲を越えて保証を作ることはできない。ただし、値の出所とライフサイクルが異なるため、運用側が「値がある」を「値が一致している」と読み替えてはならないことは明らかである。

エラーを処理しながら証拠を失わない

RFC 8476では、重複したOSPF広告を決定的に選び、リンク側の重複をエラーとして記録するよう推奨する。さらに、不正なTLVやsub-TLVを検出し、ルータやルーティングプロセスを停止させる脆弱性にならないよう実装すること、発生を計数または記録すること、ログが制御面を圧迫しないようレート制限することを求める。

ここでは三つの目的が同時に存在する。受信処理を安全に続けること、異常があった事実を残すこと、観測機構そのものが新たな資源負荷にならないことだ。どれか一つだけを最大化すれば、別の目的を損なう。

決定的な選択は、異常データを正常化する機能ではない。利用する値を一つに定めるだけである。ログや計数を残さなければ、後から見たシステムは単一の正しい広告しかなかったように見える。反対に、無制限に詳細ログを出せば、悪意ある入力や大量の誤りによって制御面をさらに苦しめる可能性がある。

BGP-LSでは、形式上の不正と意味上の不正が別の場所で見える。属性処理は構文を扱い、利用者はMSD内容とトポロジー対象の関連を確認する。PCEPでは、能力組み合わせ、要求上限、返された経路深度に応じて異なるエラーがある。

これらを一つの「MSDエラー」にまとめると、発生位置を失う。広告生成、IGP内の重複、BGP-LS搬送、利用者の関連付け、PCEPセッション、個別要求、返却経路のどこで問題が生じたかを分ける方が、有限能力の記録を修復しやすい。

広告値と実装値の照合は、プロトコルの支配を意味しない

制御面の値をハードウェアや設定と照合することは、コントローラが装置を統治するという意味ではない。記録が現実を正しく記述しているかを確かめる行為である。プロトコルは台帳として有用だが、台帳を持つことと能力を所有することは違う。

同じ境界は標準の著者にも適用される。共同著者は相互運用可能な形式と手順を定義した。実装者は内部構造を選び、運用者は導入と設定を管理し、装置は実際の能力を持ち、アプリケーションは自分の判断範囲で値を使う。著者記録から、後続の導入支配や運用結果を推論することはできない。

照合の目的は、どの層が上位かを決めることでもない。ハードウェアAPI、設定、IGP広告、BGP-LS属性、PCEP適用値が異なるなら、まず各記録を保持し、どれが古いか、型が違うか、対象範囲が違うかを確認する。早い段階で一つを唯一の真実として上書きすれば、原因分析に必要な証拠を失う。

IGP MSD-Typesレジストリは型の一意性と意味を支えるが、個別ノードの値を自動で正しくしない。リンク優先規則は情報範囲を守るが、広告が正しいインターフェースから来たことを証明しない。PCEPの検証はメッセージ関係を守るが、PCC内部の測定を保証しない。

各層を証明可能な範囲に限定すると、責任分担が明確になる。記録者は身元と範囲を保ち、利用者はポリシーを明示し、装置観測は現実確認を与え、運用者は不一致を扱う。五RFCが支えるのは、この分層された事実構造である。

経路結果から制約の由来を逆向きにたどる

経路が計算された後、その結果から制約を逆向きに検査できる。ヘッドエンドが付与するSID数はいくつか。採用したMSD-Typeは何か。適用上限はノード、出力リンク、PCEPセッション、個別要求のどこから来たか。複数候補があったなら、どの優先規則で決めたか。

次に欠落とフォールバックを確認する。Link MSDがなかったためNode MSDを使ったのか。両方なかった場合、どの本地ポリシーを適用したのか。その状態は未知として残っているか、それとも誤ってゼロへ変換されたか。BGP-LS経由なら、IGPの対象関連を保ったか。

異常の有無も追跡対象になる。OSPF広告が重複して選択規則が動いたか。不正TLVの記録はレート制限されているか。BGP-LS属性は構文検査だけでなく利用者の意味検査も受けたか。PCEP要求は有限セッション値以下であり、返却経路はPCCの宣言に収まっていたか。

最後に稼働装置と突き合わせる。広告値は現在のインターフェースとハードウェアをまだ反映しているか。インスタンス化できなかった場合、原因は過大広告、古い搬送、優先順位の誤適用、要求作成、装置変更のどこにあるか。

単一のRFCがすべてを回答するわけではない。しかし、五つの文書は問題を層ごとに位置付けるための境界を提供する。結果を「コントローラが失敗した」で終わらせず、どの記録、推論、未確認事項が関わったかを説明できる。

能力可視化の価値は、未知を減らすだけではない

MSD広告の価値を「コントローラが能力を知ること」だけに限定すると、未知を数値で埋める誘惑が生まれる。実際には、未知を正しい未知として識別できることも価値である。欠落、ゼロ、非ゼロ、重複選択、未検証という状態を分ければ、システムは確度に応じて行動できる。

より多くの値を集めることが必ずしも改善ではない。同じ対象に複数の値があれば、スコープ、タイプ、時点、出所を調べなければならない。情報量の増加は、身元管理が伴うときだけ判断精度の向上につながる。

逆に、保守的な一値へ早く集約することも常に安全ではない。過小値は実行可能な経路を隠し、運用の選択肢を狭める。最大値を選べば過大申告の危険がある。正しさは「小さい」「大きい」ではなく、対象の実装能力と一致していることにある。

この観点から見ると、MSDシグナリングは制御の強化よりも、制御の説明責任を強化する。計算器は自分が使った有限条件を示し、条件の出所と残る不確実性を公開できる。実行結果が異なれば、比較できる記録がある。

Tantsuraの共著記録を評価する際も同じ姿勢が必要である。反復的な参加という確認可能な事実を示し、共同著者と標準化過程を残し、人物の動機や運用成果を作らない。技術値と人物帰属の両方で、身元と限界を保つことが正確さにつながる。