要約

  • RFC 9818 は IPv6 CE ルーターに対し、LAN インターフェースで IA_PD を提供し、子リースごとに次ホップ経路を動的に維持し、解放または期限切れの際には経路を削除してプレフィックスをプールへ戻すよう求める。
  • 委任済み送信元を既定で通すフィルター状態も必要であり、LAN 側の valid lifetime は対応する WAN 側プレフィックスの残存 lifetime を超えてはならない。
  • 親委任、子リース、経路、フィルター、時計、パケット観測、保管終了を結ぶローカルな「プレフィックス保管レシート」を提案する。これは Daniel Kade の編集上の提案であり、RFC のフィールドでも IETF の要件でもない。

在庫上は空いている。その説明だけを聞けば、次のルーターへすぐ渡せそうに見える。しかしアドレス空間の余りと、利用できるネットワーク容量は同じものではない。

サービス事業者から CE ルーターへ届く親プレフィックスは、第一の境界しか越えていない。CE が自身の LAN に一部を使い、残りを別のルーターに委任し、その宛先経路を作り、正当な送信元としてフィルターに認識させて初めて、第二の境界を越える。RFC 9818 はこの移行を一件の成功コードに圧縮しない。

証拠が分かれる理由は実装上も明確だ。DHCPv6 サーバー、ルーティング表、フィルター、タイマーは別の処理系であることが多い。各処理系が自分の状態を正しく報告しても、参照している委任の版が異なれば、全体として誤った「利用可能」が生まれる。

上流の余りは下流の権限ではない

事業者は単一 LAN が必要とする /64 より大きなブロックを CE に委任できる。CE が LAN 側で IA_PD を扱えなければ、未使用部分を下流ルーターへ渡せない。ホスト向け設定が正常であっても、ルーター向けの拡張性は成立しない。

LPD-1 は LAN インターフェースで IA_PD を支えるよう要求する。LPD-2 は子プレフィックスを親委任から取り出し、不足時にはシステム管理エラーを記録するよう求める。親リースが有効なのに子要求が失敗するのは矛盾ではない。容量を判定した境界が違う。

既定モデルはフラットである。CE は直接接続リンクへ必要な範囲を割り当て、残りを LAN 上の他ルーターへ提供する。管理者は階層型も選べるが、トポロジーを把握しない多段委任は木を偏らせ、ある枝だけを枯渇させ得る。仕様は選択肢を説明するが、特定の構成を普遍的な正解にはしない。

LPD-3 は、ローカルポリシーまたはトポロジーが変わらない限り、リンクのプレフィックスを変えてはならないとする。これは条件付きの安定性である。変更には理由が必要だが、不変の行が現在も権限を持つとは限らない。LPD-4 はリンク割当後の残余を他ルーター向けに保持させる。算術的な空きと、実際に配れる空きは分けて観測すべきだ。

リースは経路義務を生む

LPD-5 によって、CE はリースと対応する次ホップに従ってローカル経路表を動的に更新する。子プレフィックスは単なる DHCPv6 の値ではなく、その子ルーターへ配送すべき宛先になる。

ここでは四つの事実を分離する必要がある。IA_PD の交換が受理されたこと。正しいクライアントと IA に正しいプレフィックスが記録されたこと。精密な経路が正しい次ホップを向くこと。そしてパケットが実際にその経路を通ったこと。Reply の取得は経路インストールを証明しない。集約経路のカウンターも子経路の利用を証明しない。

解放や失効では逆の連鎖が必要になる。valid lifetime が更新されずに切れたとき、またはクライアントが解放したとき、関連経路を削除し、プレフィックスを利用可能プールへ戻す。経路削除とプール返却は別々の結果である。返却だけ先に進めば旧経路と新保管が重なる。経路だけ消えて返却されなければ容量が失われる。

さらに古いフィルター許可が残れば、終了した保管の権限だけが生き残る。最終的に整合したからといって、途中の重複期間をなかったことにはできない。

フィルターの許可集合もリースに従う

LPD-6 は CE の既定フィルタリングを更新する。外側 IPv6 ヘッダーの送信元が委任済みプレフィックスに属するパケットと、同一フローの戻りパケットを許可する。一方、LAN に割り当てられても委任されてもいないアドレスは引き続き破棄する。

したがって許可は「内部だから」得られるのではない。現在の委任から導かれる。同じプレフィックスでも、未使用、委任中、期限切れでは権限が違う。静的な allow list は、構文上正しくても過去の保管関係を固定化し得る。

正しい経路と古い deny の組合せは、存在するが使えない容量を作る。古い allow と消えたリースの組合せは、根拠のない送信元権限を残す。各コンポーネントのヘルスが緑でも、同じ時点を見ているとは限らない。

パケット試験は実行結果を示すために必要である。しかし一度の成功は、どのリースが送信元を認めたか、戻り経路が同じだったか、親の残り時間が十分だったかまでは示さない。動作観測は由来を完成させるもので、置き換えるものではない。

子の期限は親の期限を越えられない

LPD-10 は、LAN で渡す lifetime が、WAN で学んだ対応プレフィックスの残り lifetime を超えることを禁じる。CE は、自分がまだ持つ時間より長い権限を子へ約束できない。

重要なのは残存時間である。親が最初に受け取った数値と子の数値を比べるだけでは足りない。親の時間は観測時点から減り、更新により延びることもある。別プロセスの子リース、再起動、rebind、保存遅延、時計差は、両者の理解を分離させる。

比較すべきなのは、同じ保管鎖に属する絶対失効時刻である。上流更新が成功すれば、下流も正規の交換を経て延長できる。上流が短縮されたり更新できなかったりすれば、子だけが後まで有効という表示を許してはならない。

LPD-7 は、管理者が別の長さを設定しない限り、SLAAC の現行前提に合う /64 を既定とする。階層委任ではより短いプレフィックスも設定できる。LPD-8 は ULA を生成していても GUA の提供を続けさせ、LPD-9 は両方を委任するなら GUA を先に置くよう勧告する。ローカルなアドレス可能性とグローバル到達性は別の証拠である。

プレフィックス保管レシートを最小限に作る

ここで提案するプレフィックス保管レシートは親から始まる。WAN インターフェース、親プレフィックス、必要なサーバー・クライアント識別子、IA、preferred と valid の失効時刻、更新結果、観測時計を記録する。ローカルリンクが使用した範囲と、子へ渡せる残余も区別する。

子ごとに request、Reply、クライアント、IA_PD、正確なプレフィックスと長さ、LAN インターフェース、次ホップ、失効時刻を結ぶ。経路インストールはルーティング領域、結果、版、削除条件を別に持つ。フィルターは委任送信元と戻りを認める実効判断だけを示し、不要なパケット履歴を収集しない。

結果層は時刻、方向、成否を持つ限定的な試験でよい。終了層では release、expiry、親の短縮、トポロジーまたはポリシー変更を示し、経路削除、許可撤回、プール返却、早すぎる再利用がなかったことを確認する。

DHCP 識別子、家庭・企業トポロジー、通信観測は機微である。レシートはローカルかつアクセス制御された状態に置く。中央台帳、新しいプロトコル、遠隔制御を求める提案ではない。部分的な成功を全体の判定に昇格させないための手順である。

共通基準とローカル権限を混同しない

RFC 9818 は Informational だが、業界共通の基本機能を作る目的で規範語を使う。複数事業者を持つ複数プレフィックス網は、追加の routing、provisioning、policy が必要なため範囲外と明記する。範囲外は不正でも禁止でもない。

事業者は親委任を決め、CE ソフトウェアは DHCPv6・経路・フィルターを調整し、管理者は長さや階層を選び、子ルーターは派生ネットワークを運用する。IETF は相互運用動作を定めるが、特定実装の成功やローカルなリスク選好を認証しない。

Heng Lu の実行コード重視の考え方は、仕様、実装、観測、権限を分離する。プレフィックスは保管、転送許可、時間が一致している間だけ容量である。不一致が起きたら、どの証人がいつ離れたかを示すことが治理の仕事になる。

情報源