要約

  • RFC 2215 は、各ネットワーク要素のローカル値と、経路上で合成された値を分離し、特性値を概念上 next hop ごとのものとした。
  • 非対応区間は OR、対応ホップは一つずつ増加、帯域と MTU は最小値、最小遅延は飽和付き加算で処理された。
  • 合成値は条件付きの経路特性であり、予約、 admission、実測性能、配送、アプリケーション結果ではない。

「経路の値」という一語では足りなかった

あるルーターに、既に通過した経路について四つの情報が届く。必要なサービスを理解しない区間があったか。Integrated Services を理解する要素はいくつあったか。最も狭い利用可能帯域はいくらか。伝搬と処理による最小遅延はいくら積み上がったか。

RFC 2215 は、これらを一つの平均に押し込まなかった。一か所でも断絶があれば真なので OR。参加者は一つ増える。ボトルネック値は小さくなる方向にしか動かない。遅延寄与は足し合わされる。合成演算そのものが、主張の意味だった。

この値は、具体的な QoS 要求を選ぶための経路情報である。資源が既に予約されたことや、パケットが期待どおり扱われたことを示す実行記録ではない。

ローカルな事実と経路の主張

ローカル値は一つの要素を記述し、合成値はそれまでの経路に現在の寄与を加えて次へ進む。合成方向は受信者側にも送信者側にもなり得た。

特性値は概念上 per-next-hop である。共有媒体や大きなクラウドでは、出口ごとに値が違ってよい。装置固有の不変値として保存すれば、その値を成立させた経路選択が失われる。ローカル値と合成値に別の ID があるのは、中間点で両方を監査できるようにするためだった。

最終値だけでは履歴を復元できない。最小値はボトルネックの場所を、総和は各寄与を、OR は断絶点を教えない。

デフォルトは全称命題ではない

service number 1 は global/default を表し、特定サービスは override を持てた。サービス固有の枝は、ローカル override があればそれと、なければローカル global と合成され、枝の身元を保つ。global の枝が override のある要素に来れば、サービス枝を新設しつつ global も継続する。

通常転送の MTU が 1500 バイトでも、Guaranteed Service の実装上限が 250 バイトという例がある。小さい値は物理経路の訂正ではなく、そのサービスの実行可能範囲である。一つに潰せば、どちらかを偽る。

断絶は後から相殺できない

NON_IS_HOP は、該当サービスが欠けるか、鎖の切れ目が判明したとき真になる。合成は OR なので、一度真になれば後段で偽に戻らない。トンネル内部の QoS 対応を証明できないなら、入口は保守的に非対応と扱う。

ただし仕様を理解しない装置は、自分でこのビットを設定できない。隣接要素、セットアッププロトコル、または設定が不足を検出する。したがって break bit は、欠落要素による自己認証ではない。

global の break が立てば、他の RFC 2215 値も不正確かもしれない。サービス固有 break なら、そのサービスの値が疑わしくなる。RFC 2210 は ADSPEC での運搬を定めたが、警告を正しく運ぶことは警告の原因を修復しない。

カウンターが数えるのは既知の参加者だけ

NUMBER_OF_IS_HOPS は対応要素ごとに一つ増える。これは確認された寄与数であり、物理・論理区間の総数ではない。非対応装置は自分を数えられない。

だからカウンターは break bit と一緒に読む。五つの対応ホップがあることと、経路が五ホップだけであることは別の命題だ。記録がないことは、存在しないことの証明ではない。

帯域は予約ではなく事前推定の最小値

各要素は物理資源、管理制約、ポリシーを踏まえて利用可能帯域を推定し、経路は最小値を残す。しかし入力は具体的な QoS 要求より前に作られる。宛先、サービス、予約ポリシーが未確定なら、RFC は大幅な過大推定さえ許容した。制約の強いサービスは小さい override を出せる。

ゼロは帯域ゼロではなく不明である。MIN によって、そのゼロは後段の正値に上書きされない。情報不足を楽観値へ変換しないための設計だった。

最小遅延は加算され、不定値に飽和する

ローカル最小遅延は伝搬と処理の最小値で、可変キュー遅延を含まない。RFC 2212 の基礎にはなるが、観測 RTT や C/R + D の境界そのものではない。

クラウドは next hop 別の値が望ましい。共通値なら最短可能経路を採り、実経路を過小評価し得る。不明を選ぶこともできた。

マイクロ秒値は (2**32)-1 で飽和する。この値は、寄与が予測不能か、計算範囲を越えたことによる indeterminate を意味する。巨大で精密な測定値ではない。

MTU は同じ MIN でも入力条件が違う

ローカル MTU は、リンク層ヘッダーを除き、IP 以上のヘッダーを含む、断片化不要の最大 IP パケットである。IS-aware 要素は正確な値を必ず提供する。サービス override は global MTU を下げられるが、上げられない。

それでも合成 MTU は経路とサービス枝に結び付く上限にすぎない。送信、隠れたトンネルの不存在、経路維持、到達を証明しない。

TSpec は第五の経路演算ではない

parameter 127 の token-bucket TSpec は期待トラフィックを記述する。中間要素がローカル値を輸出して経路合成する対象ではない。同じ RFC にあるからといって、実際の適合、admission、処理を示す特性値にはならない。

合成値は証拠連鎖の中間にある

RFC 1633 は構想、RFC 2205 は RSVP、RFC 2211 と RFC 2212 はサービス、RFC 2216 は仕様テンプレートを扱う。どの層も、RFC 2215 の合成結果を実測の成果へ自動変換しない。

監査記録は、ID、global/サービス枝、next hop、経路 epoch、ローカル情報源、方法、合成則、不明状態、要求、admission、設置状態、観測、配送、アプリケーション結果を分けて保持する必要がある。

情報源と限界

主資料は RFC 2215 で、RFC Editor と IETF Datatracker が記録を提供する。RFC 2815 は IEEE 802 への後年の写像で、MTU と break は正確、帯域は粗い推定でもよいという差を保った。現在の普及、製品、予約、性能、障害を証明する資料ではない。

Heng Lu の稼働コード優先、最小仕様とローカル判断、現実の層は、形式化された主張と実行された現実を分ける編集上の視角である。1997 年の設計への因果主張ではない。