要約

  • COIN のプログラム名、コンパイル済み成果物、ロードされたインスタンス、パケットへの作用は別の事実である。装置がコードを動かしたことは、その配置やデータ利用が許可されていた証明にならない。
  • 計算をスイッチや NIC に移すと、読み取り、変更、状態保持、資源配分、制御出力という権力も経路へ移る。各権力には明示的な範囲と独立した観測が要る。
  • 管理単位は実行レシートである。依頼主体、承認された成果物、選ばれた場所、実効権限、状態世代、資源、出力、上位制御、観測結果、撤回と残存データを一続きにする。

経路番号は処理結果ではない

サービスチェーンやオーケストレーションでは、経路、順番、対象機能を識別できる。それは重要だ。しかし、対象が正しいバイナリをロードしたか、処理が一度だけ行われたか、適切な状態を使ったかまでは示さない。

RFC 9817 は、Computing in the Network、すなわち COIN のユースケースを扱う。プログラマブル・ネットワーク装置としてスイッチやネットワーク・インターフェース・カードを挙げ、モバイル処理のオフロード、没入型メディア、産業制御、大容量データ、CDN、CFaaS、仮想ネットワーク・プログラミング、分散 AI 学習を検討する。

文書の権威には明確な上限がある。RFC Editor の記録によれば、2025 年 8 月発行の IRTF ストリームの Informational RFC であり、COINRG の合意を表すが IETF の成果物でもインターネット標準でもない。IRTF の成果は実装に適さない場合がある。RFC 7841は研究ストリームと標準化を区別する。IRTF のページでは COINRG は終了済みとされる。終了は技術の不成立を意味せず、公開も実装の成功を意味しない。

この RFC が提供するのは認証済み製品一覧ではない。配置によって生じる問いの地図である。

同じ名称の下で異なるものが走る

COIN program は仕様化された機能、program instance はどこかで動く一つの実体である。その間には、コンパイラが対象向けに生成し、装置が実際に受け入れた成果物がある。

カタログは版を示す。ビルドはターゲット・バイナリを作る。オーケストレータは装置を選ぶ。装置は能力不足で縮小版を採るかもしれない。ルーティングは特定インスタンスへ要求を送る。最後にそのインスタンスがパケットを扱う。すべてをサービス名だけで記録すると、差異を説明できない。

RFC 9817 は、プログラムとインスタンスの識別、特定インスタンスへの固定、エフェメラルな状態へのアフィニティ、配置変更時の状態同期を研究課題にする。Datatracker の本文記録履歴は RFC の同一性を確認するが、ランタイムの同一性は定義しない。期限切れの COIN 用語案も当時の研究用語であって標準ではない。

実行 ID は、仕様やパッケージのハッシュ、コンパイラと選択肢、対象成果物、装置能力、ロード取引、インスタンス、状態世代、呼び出しを結ぶ必要がある。ローリング更新、ホット再起動、フォールバックでは、とりわけこの連鎖が切れやすい。

実行されたものを優先して見るとは、実行されたものに自動的な権限を与えることではない。

読むことも変えることも操作権である

ネットワーク内プログラムはヘッダーを解析し、ペイロードを読み、集約し、フィルターし、複製し、書き換え、制御信号を出せる。それぞれが権限である。

RFC 9817 のセキュリティ節は、初期世代の PND が暗号機能に乏しく、暗号化されていないデータを扱ったり、ペイロードを変更したりする可能性を指摘する。推奨される原則は最小権限で、目的に必要な読み書きだけを許す。

ところが、要求した権限と実効権限は一致しないことがある。コンパイラがパーサの範囲を広げる。対象がフィールド単位の隔離を実装できない。カプセル化で機密情報の位置が変わる。デバッグ経路がサンプルを外へ出す。ソフトウェア・フォールバックがハードウェアより広いメモリを見られる。

したがって、目的、データ分類、許可操作、出力先、期間、破棄規則に加え、対象が実際に強制した範囲を保存する。承認ログはポリシーを受け取った証拠であり、実装が守った証拠ではない。

RFC 3234は、中間装置が設定、状態、故障、診断の面を増やし、ネットワーク内の補助機能が端点間の正しさを置き換えないと整理した。RFC 7663もネットワーク機能が IPv6 の透過性と進化に影響することを示す。プログラム可能になっても中間者の責任は消えない。

どのインスタンスを誰が選ぶのか

RFC 9817 の産業制御節は、どの制御インスタンスを動かすかを誰が決め、その判断にどの情報を使えるか、と問う。配置権とデータ利用権を分けた問いである。

アプリケーションは遅延を要求し、テナントはデータ境界を決め、運用者は共有転送面を守る。安全責任者は局所動作を制限し、法制度は所在地、傍受、AI 利用を制約し、提供者は稼働率を上げたい。これらは同じ主体ではない。

監査できる選択には、依頼主体、決定権者、制約の時点コピー、候補、除外理由、選んだ対象、衝突解決規則が必要だ。「最適なインスタンス」は、誰にとって何を最適化したかがなければ説明にならない。

最も近い装置が別の法域にある。最も速い装置の演算精度が足りない。ユーザー提供資源が信頼領域外にある。局所制御器に上位の停止経路がない。このような場合、技術的に利用可能でも権限上は利用できない。

自動化は判断を高速化するが、委任元を作り出さない。

状態には世代と保管責任がある

状態は部分集約、順序位置、レート制限、暗号文脈、フロー分類、モデル・パラメータ、制御窓になり得る。コードだけ動かせば重複や欠落が起きる。権限なしに状態を移せば漏えいする。世代なしに複製すれば二つの現在が生まれる。

引き渡し記録には、元と先のインスタンス、スキーマ、世代、内容範囲、保護、静止または重複規則、転送ハッシュ、起動点、最初の受理要求、元の停止、残存処理を含める。

RFC 9817 の仮想ネットワーク節は、正確に一度、または冪等処理なら少なくとも一度、という問題を挙げる。観測の再実行と、カウンタ加算、パケット変更、アクチュエータ指令の再実行は同じではない。

コードを戻して状態を残す回復は、以前のシステムへの復帰ではない。インスタンスを削除しても残存データを検証しなければ、保管権は終わっていない。

速い局所制御は精度を失うことがある

産業制御例では、近くの簡略制御は低遅延だが精度が低く、遠方の高機能制御は遅いという階層が想定される。局所動作はグローバル制御器が上書きでき、予測精度を示すべきだとされる。

予測値は宣言であり、定義した範囲の実測誤差が証拠で、物理応答が結果である。

PND は整数演算、メモリ、命令、実行時間に制限を持つ。正常域では十分でも飽和点で誤る。状態移行中に古い入力を使う。上書き命令が到着する前に不可逆な動作が起きる。二層の制御が異なる時計で振動する。

必要な記録は、入力時刻と有効性、成果物、数値表現、状態世代、局所出力、予測誤差、遠隔観測、上書き判断、受信、物理応答である。低遅延だけを示すグラフは、正確性を語らない。

共有資源は別の契約を要する

プログラムは解析段、テーブル、メモリ、演算器、キュー、帯域、時間、電力を使う。情報が隔離されても、一方の使用が他方の余裕を奪う。

RFC 9817 の CFaaS 課題は、資源の動的な出入り、可用性、利用会計、信頼、隔離を扱う。仮想ネットワーク節は公平配分、過剰利用、トラフィック注入、無許可アクセスを問う。

予約、承認、ロード、可用性、消費、結果を分けるべきである。ロード時に収まっても新規フローでテーブルが尽きる。装置が稼働してもインスタンスが応答しない。命令数の請求が正しくてもメモリ圧力を測っていない。

RFC 8300のサービス経路とメタデータは意図の識別に役立つ。しかし、経路番号はロード済みハッシュでも一回だけの処理証明でもない。証拠をつなぐキーとして使い、結果と同一視しない。

公平性には単位と損失規則が要る。帯域、テーブル、支払額、サービス影響を等しくすることは別々の配分である。

省略を発見できる試験

能力の異なる二つの対象、共有資源、一つの状態付き機能を使う。二フィールドの読み取り、一フィールドの限定変更、一つの集約出力を許可し、ソース、ビルド、対象成果物、権限を凍結する。独立した端点観測を置く。

古い成果物、狭い権限を強制できない対象、重複を伴う状態移行、非冪等の二重実行、承認後の資源枯渇、テナント競合、局所出力の上書き、上書き経路の分断、残存状態付き回復、メタデータだけ進んで機能が省略された場合、所在地制約で最速対象を外す場合を試す。

各試験は、主体、決定、制約、プログラムと成果物のハッシュ、コンパイラ、能力、装置と場所、実効権限、状態世代、予約と消費、入力、出力、上書き、端点結果、警報、判断、回復、残存を出す。

期限切れの COIN ユースケース分析案は、構成、配置、動的運用、統合、セキュリティを整理する。未解決問題の整理であり、解決証明ではない。

この文書から言えないこと

RFC 9817 は、特定事業者の導入、実装一覧、共通 ID 方式、検証済みコンパイラ、権限言語、状態移行プロトコル、共通課金単位、ロールバック方式を示していない。

本番の遅延、電力、費用が下がるとも、AI 学習が速くなるとも、産業安全やプライバシー、隔離、公平性が改善するとも実証していない。

参照文献一覧RFC 9817 を参照する文書は文書関係であって採用数ではない。正誤表検索も運用テレメトリではない。

RFC 8799は限定領域のメンバー、役割、境界を検証可能にする必要を示す。「ネットワーク内」は信頼の証明ではない。

情報源

  1. Datatracker の RFC 9817
  2. 履歴
  3. 参照元
  4. 参照文献
  5. RFC Editor 情報
  6. RFC 9817
  7. 正誤表
  8. RFC 7841
  9. RFC 3234
  10. RFC 7663
  11. RFC 8300
  12. RFC 8799
  13. COIN ユースケース分析案
  14. COIN 用語案
  15. IRTF の COINRG 記録
  16. Heng Lu:実行コードの優先
  17. Heng Lu:最小初期仕様
  18. Heng Lu:現実の層