要約

  • RFC 9893はIETF Standards Track文書であり、クレジットウィンドウによるフロー制御のため、二つのDLEPメッセージと再利用可能な五つのData Itemを定義する。
  • クレジットを与えるのはモデムである。ルーターはウィンドウ状態を報告し、要求を送れるが、対応する応答が届くまで各送信側に未完了のCredit Control Messageは一つしか置けない。
  • クレジットはオクテット単位で、MACオーバーヘッドを含む。一致する分類器がない、クレジットがない、またはパケット全体がウィンドウを超える場合、ルーターは送信してはならない。

DLEPのセッションとData Itemのエラー意味論の基礎はRFC 8175にある。RFC 9893のループはモデム発行の初期化から始まる。モデムがセッションの初期条件を整え、ルーターと宛先を関連付け、グラントによってウィンドウのクレジットを与える。リンクが確立したからといって、任意のトラフィックが送信可能になるわけではない。ルーターは各パケットをRFC 9892のTID/FIDトラフィック分類構造に通し、宛先と対応ウィンドウを見つける必要がある。

TIDは分類を宛先に結び付け、FIDはクレジットウィンドウを識別する。TIDとFIDの値は、それを発行したモデムのローカルな範囲でのみ意味を持つ。重複するTIDは無効であり、別セッションや別モデムの番号をそのまま流用できない。したがって分類結果が制御ループへの入力となる。一致がどのウィンドウを選ぶかを決め、残りクレジットが送信資格を決める。ワイルドカード分類器が存在しない場合、一致しないパケットは破棄しなければならない。これはプロトコル上の帰結であり、特定の導入ポリシーを示す証拠ではない。

ルーターはウィンドウ状態を報告し、クレジットを要求できる。どれだけ与えるかを決定するのはモデムである。重要な不変条件は、要求と応答の間で一つの未完了メッセージだけを許すことだ。対応応答が届くまで各送信側に未完了のCredit Control Messageは一つしかない。並行要求でクレジット増加を先取りしたり、関連付けを確認せず遅れて届いた応答を現在の状態として扱ったりしてはならない。

クレジットの消費は毎回オクテットで計算し、MACオーバーヘッドも含める。ネットワーク層の長さだけを使えば送信可能量を過大評価し、ウィンドウを越える。ウィンドウが最大値に達したら飽和し、それ以上へ実装が勝手に拡張してはならない。最大ウィンドウが縮小した場合、モデムはすでに飛行中で条件を満たすパケットの処理を続け、新しい最大値を下回るまで影響するウィンドウへの新規クレジットを控えるべきである。縮小は飛行中のパケットを取り消すことでも、直ちに満額を再付与することでもない。

資料は導入普及率、測定済みの性能向上、論理ウィンドウと物理キューの普遍的な対応を示していない。実装固有のグラント間隔、キュー形状、ロールバック閾値、テレメトリーは運用者の選択であり、DSCP、VLANその他の分類マーキングをドメイン間で信頼できるとも定めていない。

検証フィクスチャと運用者の判断経路

最小の試験フィクスチャで、順に確認できる。セッションを確立し、モデムが発行した初期化、関連付け、グラントを記録する。次にTID/FIDへ一致するパケットを作り、MACオーバーヘッド込みの長さを残余クレジットと同じにして、送信許可と正確な減算を確認する。その後、一オクテット大きいパケットが送信されないことを確認する。二つのクレジット要求を並行送信し、単一未完了メッセージの不変条件に反することを確認する。応答後にだけ次の要求を送る。最大ウィンドウを縮小し、条件を満たすパケットを一つ飛行中にして、取り消されず、新上限を下回るまで新グラントがないことを確認する。最大値で飽和させ、追加要求で上限を超えないことを確認する。ワイルドカードを外して不一致パケットを送り、破棄を確認する。

判断経路は明確だ。まず分類器、TID/FIDのモデム内スコープ、オクテット計数を点検する。次にグラントがモデム発行か、状態と要求が順序どおりか、未完了メッセージが一つだけかを確認する。続いて縮小、飽和、不一致パケットのログを見る。その後で初めて拡張を有効化する。導入前には各イベントの単調な順序、ウィンドウ版数、パケット長、MACオーバーヘッドを追跡できる監査証跡を要求するとよい。以下はTheo Marchの分析であり、RFCの要求ではない。古いグラントを検出してロールバックし、テレメトリーを追跡可能にし、ドメイン間マーキングの信頼が未確立なら保守的に扱うべきだ。しきい値や信頼モデルを資料は定めていない。

出典