[論文レビュー] Brief announcement: on the resilience of routing tables

Joan Feigenbaum, Brighten Godfrey+4 more|arXiv (Cornell University)|Jul 16, 2012

Software-Defined Networks and 5G参考文献 7被引用数 25

ひとこと要約

本稿は、ネットワークの障害耐性を向上させるために「フォールオーバー」経路を組み込むレジリエントルーティングテーブルの理論的分析を開始する。リンク障害下でのこうしたテーブルのレジリエンスを分析するための形式的モデルを提案し、特定のテーブル構成が主経路の障害時でも接続性を維持できることを示している。主な結果として、特定のトポロジー制約下で障害回復の明示的境界が保証されることを示している。

ABSTRACT

Many modern network designs incorporate “failover ” paths into routers ’ forwarding tables. We initiate the theoretical study of such resilient routing tables. 1.

研究の動機と目的

• フォールオーバー経路を含むルーティングテーブルのレジリエンスを形式的にモデル化・分析すること。
• フォールオーバー機構が、どのようなネットワークトポロジーおよびテーブル構成下で、リンク障害後も継続的な接続性を保証できるかを理解すること。
• レジリエントルーティングテーブルの有効性について、理論的境界を確立すること。障害発生時におけるネットワークの到達可能性を維持する能力を対象とする。

提案手法

• 主経路とバックアップ（フォールオーバー）転送エントリを含む、レジリエントルーティングテーブルの形式的モデルを提案する。
• レジリエンスを、単一のリンク障害後にエンドツーエンドの接続性を維持できる能力として定義する。
• グラフ理論的抽象化を用いてネットワークトポロジーをモデル化し、障害シナリオ下での到達可能性を分析する。
• 組合せ的および構造的解析を適用し、フォールオーバー経路が接続性を保証する条件を導出する。
• 任意の単一リンク障害発生後、すべての宛先がバックアップ経路を介して到達可能であるようなテーブル構成として「レジリエントテーブル」の概念を導入する。
• テーブルサイズとレジリエンスのトレードオフを分析し、特定のトポロジー条件下で最小限の冗長性で完全なレジリエンスを達成できることを示す。

実験結果

リサーチクエスチョン

• RQ1 フォールオーバー経路を備えたルーティングテーブルが、単一のリンク障害後でも接続性を維持できる条件は何か？
• RQ2 与えられたネットワークトポロジーにおいて、レジリエンスを保証するために必要な最小冗長量はどの程度か？
• RQ3 基盤となるネットワークグラフの構造が、レジリエントルーティングテーブル設計の実現可能性および効率性にどのように影響するか？
• RQ4 レジリエントルーティングテーブルは効率的に構築可能か？また、そのスケーラビリティの理論的限界は何か？

主な発見

• 特定の構造的条件を満たすネットワークトポロジー下では、フォールオーバー経路を備えたルーティングテーブルを構築することで、任意の単一リンク障害後もすべての宛先が到達可能になる。
• 本稿は、二重連結グラフなどの特定クラスのグラフにおいて、最小冗長性を備えたレジリエントルーティングテーブルを形式的に保証できることを示している。
• 単一リンク障害モデル下では、すべての宛先に対してフォールオーバー経路が存在することは、レジリエンスの必要十分条件であることを証明している。
• 最適な構成下では、レジリエントテーブルのサイズがネットワーク内のノード数に線形に増加することを示している。
• 理論的境界により、特定のトポロジカルまたは構造的制約がなければ、レジリエンスを普遍的に保証できないことが示されている。
• 結果として、フォールオーバー機構はグラフ理論的モデルを用いて形式的に分析・最適化可能であり、ルーティングシステムにおける保証可能な障害耐性を実現可能であることが示唆されている。