要約

  • RFC 9160 は mplsTopLabelType(46) に五つの値を追加し、IPFIX レコードが MPLS Segment Routing の指定された割当文脈を示せるようにした。番号だけから出所を推測させるためではない。
  • 型付きのエクスポートは限定された調査を支えうるが、ネットワーク移行、稼働中の経路、設定済み方針、サービス完了を証明するものではない。

MPLS のスタック先頭にある番号は、観測しやすい。IPFIX に出力でき、グラフにも載せられる。その見やすさが、番号を説明そのものと取り違えさせる。RFC 9160 が扱うのは、ラベル値と、その値がどの制御プレーンの割当として扱われるかとの間にある、この小さく見えて重要な隔たりである。

2021 年 12 月に IETF Informational RFC として公開された RFC 9160 の唯一の著者は Swisscom の Thomas Graf である。同文書は既存の IPFIX 情報要素 mplsTopLabelType(46) に、Path Computation Element、OSPFv2 Segment Routing、OSPFv3 Segment Routing、IS-IS Segment Routing、BGP Segment Routing Prefix-SID の五つのコードポイントを加えた。これにより、エクスポートは、指定された MPLS SR 制御プレーン・プロトコル文脈に基づくラベル型を表現できる。

型が必要なのは、番号の範囲が一意の由来を保証しないからだ。RFC 9160 は、IGP adjacency SID、LDP、動的 BGP ラベルが同じ割当範囲を共有し得ると説明する。同じ可視の数値が、複数の割当経路に当てはまり得る。番号だけを見てプロトコルを断定することは、符号化された値に、そこにない来歴を与えることである。

RFC が挙げる利用例も、あえて検証作業の範囲にとどまる。LDP から IS-IS または OSPF Segment Routing への制御プレーン移行、あるいは動的 BGP ラベルから BGP Prefix-SID への移行を監視できる。ラベル型を、トップラベルのアドレス、スタックの区間、forwarding status など同文書が挙げる他の IPFIX 要素と組み合わせると、転送または破棄されたパケット数、可能な破棄理由、プロバイダー・エッジの loopback アドレスとラベル・プロトコルについて推論できる場合がある。ここで得られるのは推論の足場であり、移行完了の判定ではない。

このレコードは導入の証明書ではない。RFC の公開は、特定の exporter が有効であること、collector が完全なデータ集合を受け取ったこと、レコードが真正であること、観測が問題の経路を覆ったことを示さない。型を持つフィールドでも、移行の開始・終了、方針の選択、パケットの到達、顧客向け結果を立証できない。レコードが語る範囲は、観測と収集の境界を越えない。

BGP の二つの値は、その境界を明瞭にする。既存の BGP コードポイント 4 は MP_REACH_NLRI path attribute 内のラベル値を指す。新しい BGP Segment Routing Prefix-SID のコードポイント 10 は Label-Index TLV のラベル・インデックス値を指す。どちらも BGP と呼べるが、同じ技術対象ではない。RFC 9160 は、名称の近さにより異なる対象が混ざらないようにしている。

Lu Heng の Running-Code Primacy と Minimum Initial Specification を Sofia Ren の方法として用いるなら、調整文書とレジストリは主張を読み取れる形にできても、未観測の運用を現実に変えることはできない。ここで守るべき最小の命題は、明示された観測点と収集条件の下で、exporter が定義済みのトップラベル割当型を IPFIX レコードに表現した、というところまでである。制御プレーン、転送、サービスの結論には、それぞれ別の証拠が必要になる。

調査では、生のエクスポート、exporter の識別、観測点、収集区間、template、完全性の境界、結合に使った項目を残すべきである。制御プレーンを問うなら制御プレーンの記録を照合する。転送を問うなら転送の証拠を照合する。サービス結果を問うならサービス・テレメトリを照合する。番号はそれらを省略する根拠にならず、型も省略の許可にはならない。

Graf の仕事は、番号に含まれていない出所を番号へ投影しないための語彙を与えることにある。得られるのは派手な運用宣言ではない。型付きの記録が実際に言えることと、なお実行証拠を必要とするネットワークの物語を分ける、再検証可能な境界である。

情報源