[論文レビュー] Algorithms for Self-Healing Networks

Trehan, Amitabh|arXiv (Cornell University)|May 20, 2013

Interconnection Networks and Systems参考文献 50被引用数 23

ひとこと要約

本稿では、再構成可能で動的なネットワークにおける自己修復を可能にする、新規の分散アルゴリズム—DASH および Forgiving Tree—を提示する。これらのアルゴリズムは、敵対的ノード障害に対しても接続性と有界な次数を維持しながら、ネットワークが回復可能であることを保証する。主な貢献は、通信オーバーヘッドが低く、強力な敵対的モデル下でも効率的な修復が可能な、証明可能な耐障害性である。

ABSTRACT

Many modern networks are \emph{reconfigurable}, in the sense that the topology of the network can be changed by the nodes in the network. For example, peer-to-peer, wireless and ad-hoc networks are reconfigurable. More generally, many social networks, such as a company's organizational chart; infrastructure networks, such as an airline's transportation network; and biological networks, such as the human brain, are also reconfigurable. Modern reconfigurable networks have a complexity unprecedented in the history of engineering, resembling more a dynamic and evolving living animal rather than a structure of steel designed from a blueprint. Unfortunately, our mathematical and algorithmic tools have not yet developed enough to handle this complexity and fully exploit the flexibility of these networks. We believe that it is no longer possible to build networks that are scalable and never have node failures. Instead, these networks should be able to admit small, and maybe, periodic failures and still recover like skin heals from a cut. This process, where the network can recover itself by maintaining key invariants in response to attack by a powerful adversary is what we call \emph{self-healing}. Here, we present several fast and provably good distributed algorithms for self-healing in reconfigurable dynamic networks. Each of these algorithms have different properties, a different set of gaurantees and limitations. We also discuss future directions and theoretical questions we would like to answer. %in the final dissertation that this document is proposed to lead to.

研究の動機と目的

• 再構成可能で動的なネットワークにおいて、敵対的ノード障害の下でも接続性と構造的性質を維持する課題に対処すること。
• 生物学的自己修復を模倣するように、ネットワークが障害から自律的に回復できる分散アルゴリズムを設計すること。
• 通信オーバーヘッドと修復中の次数増加を最小限に抑えることで、スケーラビリティと効率性を確保すること。
• 強力な敵対的モデル下で、修復時間、メッセージ複雑性、構造的不変量に関する理論的保証を確立すること。
• 形式的な下界を用いて、局所的認識に基づく修復戦略の限界を探索すること。

提案手法

• DASH（Degree Assisted Self-Healing）を導入。局所的認識に基づくアルゴリズムで、ノード障害後のエッジ再接続を次数情報でガイドする。
• 記録更新の問題抽象化を用いて、動的環境下での修復意思決定の効率性をモデル化・分析する。
• Forgiving Tree アルゴリズムを開発。分散的で木構造に基づく修復メカニズムで、局所的修復ルールにより接続性と有界な次数を維持する。
• 削除と修復のモデルを採用。攻撃者がノードを削除し、局所的情報と調整を用いて再接続する必要がある。
• 理論的分析を用いて、修復時間、メッセージ複雑性、次数増加の上界と下界を導出する。
• 合成的および現実的な攻撃戦略を用いた実験的検証により、接続性回復、次数増加、メッセージオーバーヘッドを評価する。

実験結果

リサーチクエスチョン

• RQ1 敵対的ノード障害の下で、再構成可能で動的なネットワークにおいて、分散アルゴリズムが接続性と有界な次数を維持できるか。
• RQ2 強力な敵対的モデル下で、このようなネットワークにおける自己修復に必要な最小通信コストと修復時間は何か。
• RQ3 局所的認識戦略とグローバル知識戦略の間で、効率性と耐障害性の観点からどのように比較できるか。
• RQ4 メッセージ複雑性と次数増加の観点から、自己修復の性能に関する根本的な限界（下界）は何か。
• RQ5 構造的劣化（例：ストレッチ、次数増加）を最小限に抑えつつ、自己修復を証明可能な保証のもとで達成できるか。

主な発見

• DASH は、敵対的ノード障害下でも、O(n) のメッセージ複雑性と O(log n) の修復時間を達成し、証明可能な優れた修復性能を示す。
• Forgiving Tree アルゴリズムは、任意の単一ノード障害後もすべてのノードが接続された状態を保証し、次数増加が定数倍に抑えられる。
• 下界の結果から、任意の局所的認識に基づく修復アルゴリズムは最悪ケースで Ω(n) のメッセージを必要とすることが示され、効率性の根本的限界が確立された。
• 実験により、DASH は標的型およびランダム障害を含む多様な攻撃戦略下でも、高い接続性と低い次数増加を維持していることが示された。
• Forgiving Tree アルゴリズムは、1回の障害あたり O(1) の次数増加と O(log n) の修復時間を達成し、実際には最小限のメッセージオーバーヘッドで動作した。
• 理論的分析により、効果的な修復にはコンponentの追跡が必要であり、次数を有界に保つ修復戦略はスケーラビリティの観点から根本的に制限されていることが確認された。