# The Real Internet Architecture ## 概要 [[Pamela Zave]] と [[Jennifer Rexford]] による、ネットワークアーキテクチャの記述モデルを提案する教科書。プロトコルの層を上から下へ並べる古典的な 4 層モデルでは現実のインターネットを記述できないという問題意識から出発し、**ネットワークとサービスを一様な語彙で記述するモデル**と、**ブリッジング・レイヤリング・サブダクションという 3 つの合成演算子**を導入して、インターネットを「多数のネットワークが合成された生態系」として書き直す。 本書の狙いは記述にとどまらない。同じモデルを使って設計の選択肢を比較し(第 5 章)、標準化・検証・実装・教育への規範的な提言を導く(第 6 章)ところまでを一続きの議論として提示する。著者らは実務者・教育者・研究者の三者を読者に想定し、「章を順に読むこと」を唯一の助言としている。(Source: [[The Real Internet Architecture]] 序文) ## 書誌情報 - 書名: *The Real Internet Architecture: Past, Present, and Future Evolution* - 著者: [[Pamela Zave]], [[Jennifer Rexford]] - 出版社: Princeton University Press(Princeton & Oxford) - 出版年: 2024 - ISBN: 978-0-691-25579-8(hardcover)/ 978-0-691-25580-4(paperback)/ 978-0-691-26185-0(e-book) - 構成: 全 6 章 + 序文 + 用語集 + 参考文献 + 索引(340 ページ、図 92 点) - 原本: `.raw/books/the-real-internet-architecture/` ## 構成と主要テーマ 本書は前半 3 章でモデルを組み立て(記述 → 合成)、第 4 章で現実のインターネットに当て、後半 2 章でそれを設計手法・規範として使う、という順に進む。 ### 第 1 部相当: モデルの構築(第 1〜3 章) → [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 1 Introduction]] — 硬直化した古典的インターネットアーキテクチャという通説に反証を挙げ、ブリッジング・レイヤリング・サブダクションの 3 演算子でネットワークを合成的に記述する新モデル(compositional network architecture)を予告する導入章。 → [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 2 Describing Networks and Services]] — メンバー・リンク・命名・ルーティング/転送・セッションという一様な語彙でネットワークを記述する枠組みを導入し、Ethernet・IP・MANET・NDN・RON・MPLS という多様な設計がすべて同じテンプレートで説明できることを示す。 → [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 3 Composing Networks and Services]] — 3 演算子のうちブリッジングとレイヤリングを定義し、AS 間ブリッジング・BGP・NAT・Web・RON・Tor・VLAN・階層化 MPLS・クラウドコンピューティングという実例で、わずか数個の合成メカニズムが現実のインターネットの多様さを説明できることを示す。 ### 第 2 部相当: 現実への適用と規範(第 4〜6 章) → [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 4 The Real Internet Architecture]] — 現実のインターネットを、レイヤリングが果たす 4 つの目的(到達可能性 / ルーティングのスケーラビリティと柔軟性 / 資源共有すなわちスライシング / 拡張サービス)に棚卸しし、第 3 の演算子サブダクションを正式に導入したうえで、新しいエンドツーエンド原理と tussle 原理、ベースインターネット自体の進化を論じる。書名を冠した中心章。 → [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 5 Patterns for Enhanced Network Services]] — 拡張サービスを「セッション要件とベースインターネットの限界のギャップ」として定義し、プロトコル埋め込み・複合セッション・レイヤリングという最小の合成メカニズム集合で、モビリティ・ネットワーク間マルチキャスト・セキュリティとプライバシー・ファイアウォール通過の 4 実例を統一的に説明する。 → [[@2024__PrincetonUP__The Real Internet Architecture - Chapter 6 Ideas for a Better Internet]] — モデルを規範的に用い、合成構造の標準化・モジュラー検証とセキュリティ・ネットワークアーキテクチャの原則・実装と最適化・ネットワーク教育という 5 方向へ提案を展開する最終章。 ## 影響と位置づけ - **記述モデルとしての新しさ**: 既存の教科書がプロトコル層の積み上げとしてインターネットを説明するのに対し、本書は「ネットワークの合成」を第一級の記述単位に据える。[[ネットワークの一様記述モデル]] と [[レイヤリング]]・[[ブリッジング]]・[[サブダクション]] がその中核をなす。 - **硬直化(ossification)論への応答**: 狭いくびれ(narrow waist)ゆえにインターネットは硬直化したという通説に対し、本書は 2013 年の AT&T バックボーンで観測された 11 ヘッダーのパケットを物証として、現実にはレイヤリングとサブダクションによって膨大な進化が起きてきたと論じる。[[硬直化(ossification)]] と [[砂時計モデル]] を参照。 - **エンドツーエンド論の更新**: [[David D. Clark]] らの原初のエンドツーエンド原理と tussle 原理を引き受けたうえで、「ベースインターネットの機能を最小化せよ」という新しいエンドツーエンド原理を提示する。[[エンドツーエンド論]] を参照。 - **検証への接続**: 合成構造を明示的にすることがサービス性質のモジュラーな検証を可能にするという主張は、[[モジュラー検証]]・[[形式手法]]・[[軽量形式手法]] と接続する。著者の一方が形式検証を背景に持つことがこの方向を支えている。(Source: [[The Real Internet Architecture]] 序文) ## 関連 - 著者: [[Pamela Zave]] / [[Jennifer Rexford]] - 中核概念: [[ネットワークアーキテクチャ]] / [[ネットワークの一様記述モデル]] / [[レイヤリング]] / [[ブリッジング]] / [[サブダクション]] / [[セッションアーキテクチャ]] / [[硬直化(ossification)]] / [[モジュラー検証]] - 関連書籍: [[Computer Networks - A Systems Approach]] / [[Principles of Computer System Design]] - 関連実体: [[Tor]] / [[Resilient Overlay Networks]] / [[John Day]] / [[David D. Clark]] / [[P4]] ## 出典 - Pamela Zave, Jennifer Rexford, *The Real Internet Architecture: Past, Present, and Future Evolution*, Princeton University Press, 2024.