Semantic D2D Gateway Firewalls for Multi-Tenant Chiplet NoC Resource Isolation

技術要約：マルチテナント・チップレットNoCのリソース隔離のためのセマンティックD2Dゲートウェイ・ファイアウォール

問題提起
高性能コンピューティング（HPC）システムが高密度なモノリシック・ダイからマルチテナント・チップレット・パッケージ（例：AMD MI300A、Intel Ponte Vecchio、NVIDIA GH200）へと移行するにつれ、リソース隔離の課題は、ボードレベルやソケットレベルの境界から、共有パッケージ規模のネットワーク・オン・チップ（NoC）へとシフトしています。これらの環境では、異なるテナントからのトラフィックが、ダイ間（D2D）ゲートウェイを介して共通の相互接続路を通過します。特定された核心的なセキュリティ問題は、パケットが（物理的な経路としては有効な）構文的にルーティング可能であっても、別のテナントのアドレス領域を標的にしていたり、無効なプロトコル状態トークンを運んでいたり、古いトランザクション・メタデータをリプレイ（再送）していたりすることで、ポリシーに違反する可能性があることです。

このようなポリシー違反パケットが共有NoC内に侵入すると、共有バッファ、調停スロット、およびリンク帯域幅を消費します。注入後の検出メカニズム（モニタリング）は、これらの違反をログに記録することはできますが、発生したコンテンション（競合）による影響を取り消すことはできません。本論文は、もし違反がD2Dゲートウェイで可視化されているのであれば、共有ファブリックに注入される前に、ゲートウェイがパケットを拒絶すべきであり、それによってリソース干渉を防ぐことができると提唱しています。

手法
著者らは、D2Dゲートウェイの直前、すなわちNoCへの注入前に配置される決定論的なアドミッション制御メカニチズムである、セマンティックD2Dゲートウェイ・ファイアウォールを提案しています。このファイアウォールは、境界部で確認可能な特定のメタデータフィールドを検査します：

1. ソース／デスティネーション・ダイ： 許可されたダイのペアをチェックする。
2. テナントIDおよびアドレス領域： ターゲットとなるアドレスのテナント所有権を検証する。
3. ステート・トークン： トランザクション・クラスに対するプロトコル状態トークンの妥当性を検証する。
4. リプレイ・エポック： パケットが新鮮なエポックを保持していることを確認し、リプレイ攻撃を防ぐ。

本研究では、3つのポリシー強度を定義しています：

• Pair（ペア）： ソース／デスティネーション・ダイの合法性のみをチェックする。
• Address+Pair（アドレス＋ペア）： テナントのアドレス領域の所有権チェックを追加する。
• Full-Semantic（フル・セマンティック）： ステート・トークンおよびリプレイ・エポックのチェックを含む。

実験設定
評価には、シミュレーションとハードウェア合成を組み合わせた制御された手法を用います：

• NoCシミュレーション： 修正版BookSim2を、パケット注入、ルータイベント、およびトラフィッククラスをモデル化するための主要なテストベッドとして使用します。
• ワークロード・トレース： 現実的なソース／デスティネーション・ペアの分布を生成するために、5つのウォームアップ済みgem5トレース（PARSEC/SPLASHファミリー：radix, FFT, Barnes, Blackscholes, LU）から派生したトラフィックパターンを使用します。
• 攻撃モデリング： 研究では、境界を越えたダイ・ペア違反、テナント・アドレス領域違反、ステート・トークン不一致、およびリプレイ・エポック・フォールトを含む、モデル化された違反を注入します。
• コントロール（対照実験）： 実験では、「モニタリングのみ（ログ記録のみでブロックなし）」、「注入前セマンティック・ブロッキング」、および「負荷等価ブラインド・ドロップ（負荷除去の効果を分離するために、同じクラスのパケットをランダムにドロップする）」を比較します。
• ハードウェア検証： ポリシー・ロジックをYosysを用いて合成し、Nangate45ライブラリにマッピングして、OpenSTAでタイミングを分析します。iCE40 UP5K FPGAラッパーを用いて、配置配線の妥当性を確認します。また、具体的なプロトコル・フィールドを検証するために、特定のCXL.cache/memに類するサブセット実験も実施されます。

主な結果

1. レイテンシ保護： 合成混合プレッシャー実験において、モデル化された攻撃トラフィックは、良質な（benign）トラフィックのレイテンシを約34サイクルから約200サイクルへと増加させました。注入前セマンティック・ブロッキングは、良質なトラフィックのレイテンシをベースライン（約34サイクル）へと回復させました。極めて重要なことに、「ブラインド・ドロップ」コントロール（セマンティック・チェックなしでパケットをドロップする）も同様のレイテンシ回復を達成しており、これは主要な利点が特定の故障の検出ではなく、注入前の負荷の除去にあることを証明しています。モニタリングのみのモードでは、レイテンシの回復には失敗しました。
2. セマンティックの選択性： 合法および違法のパケットが同じトラフィッククラスとルート形状を共有している「同一クラス」ストレス・テストにおいて、静的ポリシー（PairおよびAddress+Pair）はトークンおよびリプレイの故障を検出できませんでした。Full-Semanticポリシーは、100%の真陽性検出（688.4件中688.4件の違反をブロック）を、偽陰性ゼロ、偽陽性ゼロで達成しました。同じシナリオでのランダム・ドロップは、違反の約75%を見逃し、合法的なパキトの約75%を誤ってドロップしました。
3. CXL類似の検証： CXLに着想を得たサブセット実験において、Full-Semanticポリシーは、モデル化された6種類すべての故障タイプ（ホストID、スヌープ・トークン、およびコントロール・オリジン違反を含む）を、良質なメッセージに対する誤ブロックなしで全てブロックしました。
4. ハードウェア・オーバーヘッド： ポリシー・パスはコンパクトです。Full-Semanticバリアントについて、Nangate45マッピング後の面積は52.668 µm²（54セル）です。OpenSTAは、仮想1 nsクロック下で0.2651 nsのデータ到着時間と0.7349 nsのスラックを報告しています。iCE40 UP5K上でのFPGA実装では、96.68 MHzの最大周波数を達成しました。

意義および主張
本論文は、D2Dゲートウェイがマルチテナント・チップレット・システムにおける実用的かつ効果的な強制境界であることを主張しています。その意義は、セキュリティ境界を注入後のモニタリングから、注入前のアドミッション・コントロールへとシフトさせた点にあります。

• リソース隔離： 主要な貢献は、注入前のフィルタリングが共有NoCリソースを効果的に隔離し、ポリシー違反パケットが良質なワークロードの性能を低下させるのを防ぐことを実証したことです。
• セマンティクスの必要性： 本研究は、静的なペアおよびアドレス・フィルタは有用ではあるものの、トランザクション依存の故障（トークンおよびリプレイ）に対しては不十分であることを確立しました。同じクラスとルートを共有する場合、完全なセマンティック・チェックが必要です。
• 実現可能性： ハードウェアの証拠は、要求されるロジックが、D2Dコントローラの面積やタイミング予算を支配することなく、ゲートウェイ制御ロジックとして統合できるほど小さいことを示しています。

著者らは、これがUCIe、CXL、またはCHIといったプロトコルの完全な実装ではなく、リソース隔離を強制するために、境界で見えるメタデータをチェックするための決定論的なメカニズムであることを明示しています。特定された次のステップは、プロトコル・パースおよび物理的タイミング・クロージャを処理するための、具体的なD2Dコントローラとこのポリシー・コアを統合することです。