要約

  • draft-many-lsr-power-group-04は、Power Group、節電余地、休眠隣接、LAGの休眠帯域をIS-ISで広告する案である。これらはTEDと経路計算の入力であり、ハードウェアを操作する仕組みではない。
  • 関連する電源遷移案では、資源を一意に指定した両端トランザクション、各端のローカル電源管理、TE状態の保持、休眠資源に依存しない起床用制御経路が必要になる。要求送信やACKだけでは完了ではない。
  • 休眠していた資源に通常トラフィックを戻す前に、両端の物理的な準備、隣接性または生存性、予約と保護、最新容量、転送面への導入、実際のサービス効果を結合して確認すべきである。

夜間の節電でLAGの一部を止めたとする。朝の負荷増加時、コントローラには「休眠帯域80 Gbit/s」と休眠隣接が見える。起床を要求し、応答を受けたので、60 Gbit/sのフローを直ちに載せる。

ここで不足しているのは情報量ではなく、情報の種類である。片側はまだPendingかもしれない。遠端の再起動でメンバーとPower Groupの対応が解決不能かもしれない。80 Gbit/sは休眠メンバーの最大帯域からRSVP-TE割当分を除いた定義上の合計であり、起床後に測った空き容量ではない。

これは実在障害の報告ではない。第04版が作る「計算可能な休眠状態」と、物理的な復帰証明の間を示す思考実験である。

広告されるのは限定された事実である

Power Group TLVは、発信元ノード内でのみ意味を持つ識別子、ミリワット単位のPower Savings Potential、親識別子を持つ。Sleeping Adjacencies TLVはIS-ISの到達性TLVを丸ごと内包し、転送不能な隣接の身元をLSDBに残す。

インターフェースには、Power Group所属、インターフェースPSP、非休眠LAGの単方向休眠帯域、そしてRFC 5029のLink Attributesに追加するPower-Sleep Capableビットがある。

能力ビットは「低電力化できる」を示すだけで、今回の実行権限ではない。PSPは起床時と休眠時の差として表された値で、実測削減量ではない。休眠隣接は発信元が報告した状態で、両端完了ではない。認証済みLSPは送信主体を示すが、許可されたルータの設定やセンサー値が正しいことまでは保証しない。

運用画面はcapable、sleep_advertised、physical_sleep_complete、wake_requested、both_ends_ready、capacity_current、traffic_observedを別々に持つべきだ。ひとつの「省電力OK」に畳むと、責任の境界が消える。

現在値はLSP断片の集合から決まる

Power Group識別子はグローバルではない。親が0ならルート、親が解決不能ならそのグループもルートとして扱う。一方、循環に入ったグループはすべて経路計算から除外される。

同一発信元・同一IS-ISレベルの現行LSP集合全体で重複を評価する。PSPと親が一致する同一識別子は一件として扱うが、値が異なる場合は全件を無視する。到着順や断片番号で都合のよい値を採用してはならない。

発信元が複数断片を原子的に更新するのは「可能な場合」の推奨である。したがって収束中の新旧混在は想定内だ。正しい動作は早い推測ではなく、矛盾したグループを一時的に無効化することになる。

同じ隣接が休眠と非休眠の両方で出た場合は休眠が優先される。内包TLVが途中で切れていればコンテナ全体を無視する。遠端再起動後も広告を保持できるが、解決不能になったフィールドは遠端が再広告するまで計算に使えない。

だから監査証跡には発信元、レベル、シーケンス、断片集合、有効期間、検証経路、除外理由が要る。単純な眠っているフラグでは、当時の判断を再現できない。

LAGの合計から、起こすべきメンバーは分からない

ひとつのL3 LAGは複数Power Groupに所属できる。しかしメンバー用サブTLVは、どの物理メンバーがどのグループにつながるかを示さない。休眠帯域は、休眠中コンポーネントの最大帯域の合計からRSVP-TE LSP割当分を除いた値である。

この合計は計画には使えるが、特定メンバーの復帰証明ではない。100 Gbit/sポートが通電しても、光同期、隣接、予約、保護、LAGのアクティブ集合が戻らなければ、100 Gbit/sの利用可能容量にはならない。

値は単方向でIEEE 754 binary32のbytes/sで表される。NaN、無限大、負数、または互いに矛盾する重複値は無視される。構文を厳格にしても、物理的な準備完了を観測したことにはならない。

RFC 5305はTE帯域の基盤を、RFC 5120はマルチトポロジーの文脈を与える。新しい集約値の時間とメンバー粒度は、別途保全しなければならない。

経路計算と電源制御は別の権限である

PCPPS案は低需要時にトラフィックを少数資源へ集める。通常の経路は休眠隣接を含めない。経路が見つからない場合に限り、休眠隣接を含む候補を調べ、別のスリープ管理コンポーネントへ起床を依頼してから再計算する。

物理制御はPCPPSの範囲外だ。計算器は必要性を判断するが、リレーや光モジュールを動かす主体ではない。

電源遷移フレームワーク案はOperating、Requisition、Ready、Pending、Sleepingを分ける。準備ACKはReadyまで、最終命令の送信はまずPendingまでである。要求を送っただけで成功を報告してはならないと明記されている。

両端は平行リンクを区別できる資源識別子に合意し、それぞれのローカル電源管理を実行する。起床要求は、眠っている資源に依存しない経路で届かなければならない。リンク身元、アドレス、TE属性、予約、ラベル、保護状態は休眠中も保持または整合される必要がある。

運用上の証拠は少なくとも九段階だ。入力の由来、認証済み現行LSP集合、期間付きTED投影、使用した政策と経路決定、資源固有の両端取引、両端の物理完了、身元・TE状態・起床経路の保全、起床後の両端準備・隣接・最新容量、最後に導入・パケット・電力・サービス結果である。

認証は発言者を示し、電力状態を測らない

RFC 5310はIS-IS広告の改変や注入を防ぐ手段を与える。第04版も利用を勧める。一方で、認証されたが誤設定されたルータが誤った値を出す問題は残ると書かれている。

したがってPSPや休眠状態には、ハードウェア観測、管理設定、派生値のどれかという由来、版、採取時刻、発信元、認証文脈、後の読み戻しが必要だ。

起床後にはRFC 5880のBFDが限定的な双方向生存性を示せる。しかしBFD成功は、予約容量、意図したLAGメンバー、省電力量、アプリケーション結果まで証明しない。

文書の進捗は導入証拠ではない

Datatracker上、第04版はLSR WG候補の個人Internet-Draftで、採用呼びかけが行われている。履歴は文書の更新を示すが、WG採用、RFC、実装、相互接続試験を示さない。IANA値も複数がTBDである。

安全な復帰ゲートは、同一資源、両端のローカル準備、二つの物理完了、独立制御経路、隣接または生存性、整合したLSP集合、解決済みグループ、予約と保護、最新の利用可能容量、転送エントリ、実パケットを結合する。欠ければwake_unverifiedとし、従来の安全な経路を維持する。

Running-Code Primacyは状態名より実行を優先する。権限と責任の分離は、復帰失敗の損失を誰が負うかを問う。安定性の誤謬は、制御制度の継続より実サービスの継続を守る。

LSDBは眠るリンクを記憶できる。起こすことはできない。

情報源