[論文レビュー] Survey of Consistent Network Updates

Klaus-Tycho Foerster, Stefan Schmid+1 more|arXiv (Cornell University)|Sep 8, 2016

Software-Defined Networks and 5G参考文献 65被引用数 38

ひとこと要約

この論文は、ソフトウェア定義ネットワーク（SDN）を焦点として、コンピュータネットワークにおける高速かつ一貫性のあるネットワーク更新のメカニズムとプロトコルについて包括的なサーベイを提示している。一貫性の重要な特性を特定し、それらを実現するためのアルゴリズム的手法を分析するとともに、更新速度とコストへの影響を評価し、古典的最適化問題と関連付ける。

ABSTRACT

Computer networks have become a critical infrastructure. Designing dependable computer networks however is challenging, as such networks should not only meet strict requirements in terms of correctness, availability, and performance, but they should also be flexible enough to support fast updates, e.g., due to a change in the security policy, an increasing traffic demand, or a failure. The advent of Software-Defined Networks (SDNs) promises to provide such flexiblities, allowing to update networks in a fine-grained manner, also enabling a more online traffic engineering. In this paper, we present a structured survey of mechanisms and protocols to update computer networks in a fast and consistent manner. In particular, we identify and discuss the different desirable update consistency properties a network should provide, the algorithmic techniques which are needed to meet these consistency properties, their implications on the speed and costs at which updates can be performed. We also discuss the relationship of consistent network update problems to classic algorithmic optimization problems. While our survey is mainly motivated by the advent of Software-Defined Networks (SDNs), the fundamental underlying problems are not new, and we also provide a historical perspective of the subject.

研究の動機と目的

• ネットワーク更新が正しく動作するための正しい性質を保つために、更新が満たすべき望ましい一貫性特性を特定・分析すること。
• 一貫性のある更新を実現するためのアルゴリズム的手法を検討し、そのパフォーマンスとコストへの影響を評価すること。
• 一貫性のあるネットワーク更新問題と古典的アルゴリズム最適化問題との関係を明らかにすること。
• 一貫性のある更新の歴史的背景を提示し、現代のSDN以前にすでにその核心的な課題が存在していたことを示すこと。
• ポリシー変更、トラフィックの変化、障害発生に伴う迅速かつ安全な更新が可能な柔軟で高性能なネットワークの設計を支援すること。

提案手法

• ループフリー転送、状態の一致、更新中の転送正しさといった一貫性特性を体系的に分類する。
• 原子的更新、段階的更新、状態マシンレプリケーションといったアルゴリズム的アプローチを分析し、一貫性を達成する。
• 形式的モデルを用いて、更新速度、ネットワークリソース使用量、一貫性保証の間のトレードオフを評価する。
• 最短経路や最小全域木といった既知の最適化問題に一貫性のある更新問題をマッピングし、アルゴリズム的知見を得る。
• SDNの登場以前の従来のネットワークにおける一貫性のある更新のための歴史的アプローチをレビューし、持続可能な原則を強調する。
• プロトコルやメカニズムの洞察を統合し、将来の一貫性のある更新システムの設計指針を導出する。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク更新が正しく転送動作を保証するための、根本的な一貫性特性とは何か？
• RQ2 速度とリソースコストの両立を図りながら、一貫性のある更新を実現するためのアルゴリズム的手法は何か？
• RQ3 SDNにおける一貫性のある更新メカニズムは、古典的アルゴリズム最適化問題とどのように関係しているか？
• RQ4 SDN以前の段階における一貫性のあるネットワーク更新技術の歴史的基盤と進化の過程は何か？
• RQ5 現代のネットワークアーキテクチャにおいて、さまざまな更新戦略のパフォーマンスとスケーラビリティへの影響は何か？

主な発見

• 一貫性のあるネットワーク更新は、一時的な転送異常を防ぐために、ループフリー転送や状態収束といった特定の特性を満たす必要がある。
• 原子的更新と段階的更新の手法は、更新速度と実装の複雑さの間でトレードオフを示し、原子的更新はより強い一貫性保証を提供する。
• 一貫性のある更新問題は、最短経路計算といった古典的最適化問題と正式に関連づけられており、既存のアルゴリズム解決手法の再利用が可能である。
• 従来のネットワークにおける一貫性のある更新のための歴史的メカニズム、例えばスパニングツリーとリンクステートプロトコルは、異なる仮定のもとで同様の課題にすでに対処していた。
• SDNの登場により、制御の集中化とネットワーク状態の可視化によって、細粒度で高速な更新が可能になったが、根本的な一貫性問題は依然としてアルゴリズム的に困難である。
• パフォーマンスとコストのトレードオフは顕著である：より強い一貫性特性を求めるほど、ネットワークリソースの消費や更新時間の増加が生じるため、慎重なプロトコル設計が不可欠である。