# 硬直化(ossification) ## 定義 *The Real Internet Architecture* 第1章によれば、硬直化(ossification)論とは「(i) 経済的便益が即座に無い限りネットワーク提供者はIPネットワークを変更しない、(ii) IPネットワークの変更は普遍的に展開されない限り経済的便益を生まない、ゆえに (iii) インターネットアーキテクチャは極めて変更困難である」という三段論法である。この三段論法の帰結として、専門家はIPv4/IPv6のネットワーク層・トランスポート層プロトコルがこの30年でほとんど変化していない「狭いくびれ(narrow waist)」こそがインターネットアーキテクチャの実体だと論じ、その変更への強い抵抗を「硬直化」と呼ぶ。IPv6の2010年代における緩慢な普及がしばしば根拠として引用される。ネットワーキング研究コミュニティはこの硬直化に長らく対抗しようとしており、"clean slate"運動やFuture Internet Architecturesプログラムが完全な再設計を提唱したが、その成果は特殊化されすぎて統一設計へ統合できず、今日「クリーンスレート」が話題に上ることはあまりない。(Source: [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 1 Introduction]] §1.2.3) 本書自身の立場はこの通説への反証であり、硬直化しているのはIPプロトコルスイート(狭いくびれ)そのものにすぎず、ミドルボックスとトンネルを介してネットワークアーキテクチャ全体は1993年以降も継続的に進化してきたと主張する。2013年のAT&Tバックボーンで観測された、3つのIPヘッダーを含む11ヘッダー構成の典型的パケットが、この進化の具体的な証拠として提示される。(Source: [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 1 Introduction]] §1.2.3, §1.3.1, §1.3.2) ## 横断的知見 - **『ネットワークシステムについて語るときに我々の語ること』第2章は硬直化を『商用化に伴う主導権の移行』という制度的観点から説明するのに対し、*The Real Internet Architecture* 第1章は同じ現象を『変更の経済的便益と普遍展開の必要性』という経済的因果連鎖として定式化する。両者は硬直化の「原因」に関して独立した、しかし互いに排他的ではない説明を与えている**: LambdaNote版第2章は硬直化を「リリース前の自由」から「リリース後の制約」への移行、すなわちインターネットが研究プロジェクトから商用インフラへ変わる過程でベンダー・オペレーターへ意思決定の主導権が移ったことの帰結として描く(制度・利害関係者の観点)。これに対し*The Real Internet Architecture* 第1章は、硬直化を「普遍的な展開なしに便益が生まれない」という調整問題(コーディネーションゲーム)として定式化する(経済的インセンティブの観点)。両者は矛盾しないが、前者は「誰が変更を決めるか」、後者は「決めても実行に移されないのはなぜか」という異なる問いに答えており、硬直化という単一の現象に複数の独立した説明軸があることを示す。(Source: [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 1 Introduction]] §1.2.3, [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 2 システムとネットワークのアーキテクチャ]] §2.1) - **[[砂時計モデル]]が肯定的に描く「狭いくびれ」を、*The Real Internet Architecture* 第1章は硬直化論証の直接の物的証拠として逆手に取っており、同じ構造的事実に対する評価が正反対になる**: LambdaNote版第2章・[[砂時計モデル]]の既存記述は、狭いくびれ(IP)が上下の裾野の広さ(あらゆるリンク技術・あらゆるアプリケーション)を許すことで進化を可能にしたと肯定的に評価する。ところが *The Real Internet Architecture* 第1章§1.2.3は、まさにこの狭いくびれ(トランスポート層・ネットワーク層)を、多くの上位プロトコルとインフラが依存するがゆえに変更に強く抵抗する硬直化の中心地だと否定的に描く。同じ「狭いくびれ」という構造的事実が、進化を可能にする美点(砂時計モデル論)としても、進化を妨げる元凶(硬直化論)としても語られており、評価の分岐点は「くびれの外側(裾野)で何が起きているかを見るか、くびれ自体の変更可能性だけを見るか」という観察の焦点の違いにあると考えられる。*The Real Internet Architecture* 自身も§1.3以降でこの分岐を意識しており、くびれ自体は静的でもミドルボックス・トンネルによる裾野側の変化こそが真の進化だと論じることで、両者の評価を統合しようとしている。(Source: [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 1 Introduction]] §1.2.3, §1.3.1, [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 2 システムとネットワークのアーキテクチャ]] §2.2) ## 未解決の問い - 硬直化しているのは「IPプロトコルスイート(狭いくびれ)」だけであり、ネットワークアーキテクチャ全体は継続的に進化しているという*The Real Internet Architecture* 第1章の主張は、あくまで導入部での予告にとどまる。この主張を具体的に裏付ける合成的ネットワークアーキテクチャの詳細な機構(ブリッジング・レイヤリング・サブダクション)は後続章(第2〜4章)の ingest で検証する必要がある。 - LambdaNote版第2章が描く「商用化による主導権の移行」という制度的説明と、*The Real Internet Architecture* 第1章が描く「普遍展開が要る経済的調整問題」という説明は、どちらが硬直化のより根本的な原因なのか、あるいは両者が独立に作用しているのかは、両ソースを突き合わせただけでは判定できない。 - "clean slate"運動やFuture Internet Architecturesプログラムの成果が「特殊化されすぎて統一設計に統合できなかった」と*The Real Internet Architecture* 第1章は述べるが、具体的にどのプロジェクトがどのような特殊化のためにこの失敗に至ったのかは、本章の記述だけでは分からない。 - 硬直化と対になる「進化」を測る基準は何か。本書は狭いくびれの不変性と、ミドルボックス・トンネルによる裾野の変化を対比するが、どの程度の変化があれば「アーキテクチャが進化した」とみなせるかの定量的・定性的基準は本章では示されていない。 ## 関連 - ソース: [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 1 Introduction]](§1.2.3, §1.3.1, §1.3.2、硬直化論の定式化とそれへの反証) / [[@2026__LambdaNote__ネットワークシステムについて語るときに我々の語ること - Chapter 2 システムとネットワークのアーキテクチャ]](§2.1, §2.2、商用化による主導権移行としての硬直化) - 概念: [[ネットワークアーキテクチャ]](硬直化はアーキテクチャの進化可能性という論点の裏面) / [[砂時計モデル]](狭いくびれという同一構造への評価が対照的) / [[エンドツーエンド論]](硬直化論証が前提とする古典的アーキテクチャの基盤原則) - 実体: [[The Real Internet Architecture]] ## 出典 - Pamela Zave, Jennifer Rexford, *The Real Internet Architecture: Past, Present, and Future Evolution*, Princeton University Press, 2024, Chapter 1: Introduction, §1.2.3, §1.3.1, §1.3.2. - Larry Peterson・Bruce Davie 著, 進藤資訓 訳, 『ネットワークシステムについて語るときに我々の語ること』, ラムダノート, 2026, 第2章 §2.1, §2.2.