[論文レビュー] A Promise Theory Perspective on Data Networks

Paul Borril, Mark Burgess+2 more|arXiv (Cornell University)|May 12, 2014

Cloud Computing and Resource Management参考文献 13被引用数 5

ひとこと要約

この論文は、自律的エージェントのためのボトムアップで分散型のモデリングフレームワークであるプロミス理論を適用し、命令的制御ではなく宣言的意図に基づいたデータネットワーキングの再定式化を行う。スケーラブルで自己修復可能なネットワークが、ネットワークコンponent間の協調的プロミスから自然に生じることを示しており、中央集権的でプロトコル駆動のアーキテクチャとは対照的に、原則的で複雑性の低い代替手法を提供する。

ABSTRACT

Networking is undergoing a transformation throughout our industry. The need for scalable network control and automation shifts the focus from hardware driven products with ad hoc control to Software Defined Networks. This process is now well underway. In this paper, we adopt the perspective of the Promise Theory to examine the current and future states of networking technologies. The goal is to see beyond specific technologies, topologies and approaches and define principles. Promise Theory's bottom-up modeling has been applied to server management for many years and lends itself to principles of self-healing, scalability and robustness.

研究の動機と目的

• 現代のネットワーク設計における複雑さと脆さを解消するため、命令的でハードウェア中心の制御から宣言的で意図ベースの原則へ移行すること。
• ネットワークのスケーラビリティ、耐障害性、自己修復性が、中央集権的制御に依存せず、自律的エージェント間の分散型協調から自然に生じることを示すこと。
• 低レベルのプロトコルを抽象化し、ネットワークにおける協調的行動に必要な十分条件を提示する統一的理論的枠組み「プロミス理論」を提供すること。
• 中央集権的管理や複雑なステートフルプロトコルに過度に依存する現在のネットワーキング実践を批判し、より単純で合成可能な抽象化を提唱すること。
• アプリケーションレベルの要件がどのようにプロミスを通じてネットワーク動作にマッピング可能かを検討し、ビジネスニーズとネットワーク機能の整合性を高めること。

提案手法

• インタフェースやルータなどのネットワークコンponentを、行動についてのプロミスを提示・遵守する自律的エージェントとしてモデル化し、形式的プロミス表記 $\rm Promiser \xrightarrow{b} Promisee$ を使用する。
• 提供のプロミス（+b）と受容のプロミス（−b）を区別し、これらを一致させることで拘束的で協調的な合意（契約に類似）を形成する。
• イーサネット（L2）、ARP、TCP といった実際のプロトコルにプロミス形式を適用し、それらの動作が命令的手続きではなく、プロミスのグラフとして記述可能であることを示す。
• 「インポジション（強制）」（例：送信・受信要求）の概念を用いて相互作用をモデル化し、協調が受容のプロミスと一致する必要があることを示す。
• スケーラビリティやレジリエンスを、技術的設定ではなく、低遅延、フェイルオーバー、人間が理解可能なシステム的コミットメントとしてフレームする。
• 信頼性と予測可能性は制御から生じるのではなく、プロミスの整合性と完全性から生じることを提唱し、不確実性を考慮した現実的なネットワーク管理の代替手法を提供する。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク設計をどのように中央集権的で命令的制御から切り離し、自律的で協調的なプロミスに基づいてモデル化できるか？
• RQ2 分散型エージェント相互作用からスケーラブルでレジリエントかつ自己修復可能なネットワーク行動がどのように生じるかを支配する原則は何か？
• RQ3 アプリケーションレベルの要件を低レベルのプロトコル設定ではなく、宣言的プロミスとしてどのように表現できるか？
• RQ4 プロミス理論は、現代のデータセンターやクラウドネットワーキングにおけるより合成可能で保守性の高い抽象化レイヤーをどのように可能にするか？
• RQ5 プロトコルレベルの変更なしに、OSPF や VLAN、IPv6、MPLS といった既存のネットワーキング技術を、プロミス理論の原則に基づいて評価・改善できるか？

主な発見

• イーサネット、ARP、TCP といったプロトコルにおけるネットワーク動作は、提供のプロミスと受容のプロミスの一致から生じるプロミスのグラフとして正確に記述可能である。
• プロミス形式は、中央集権的制御ではなく、システム的コミットメントを通じて、レジリエンス、スケーラビリティ、フェイルオーバーといった重要なネットワーク特性を自然に捉える。
• 受容のプロミス（−b）と提供のプロミス（+b）を明示的にモデル化することで、ネットワーク動作の曖昧さを回避し、正しいかつ予測可能な相互作用を保証できる。
• 「インポジション」（例：要求）と対応するプロミスの一致を用いることで、契約に類似した相互作用モデルが実現され、意図しない協調が防止される。
• 分散型でプロミスベースの設計は、ステートフルで命令的プロトコルの脆さを避けるため、よりレジリエントで合成可能なネットワークをもたらす。
• 本論文は、ネットワークの予測可能性が制御から生じるのではなく、プロミスの完全性と整合性から生じることを結論づけ、従来のネットワーク工学とは対照的に現実的で不確実性を考慮した代替手法を提供する。