[論文レビュー] Dynamic Analysis of the Arrow Distributed Directory Protocol in General Networks

Abdolhamid Ghodselahi, Fabian Kühn|arXiv (Cornell University)|May 20, 2017

Distributed systems and fault tolerance参考文献 26被引用数 5

ひとこと要約

この論文は、確率的木埋め込み、特に Fakcharoenphol-Rao-Talwar 埋め込みを活用することで、一般のネットワークにおける分散キューイングにおいて Arrow 分散ディレクトリプロトコルが O(log n) の競合比を達成することを示している。プロトコルの非同期性および動的リクエストインジェクションに対する内在的耐障害性と組み合わせることで、近似的に最適な性能保証を備えた、シンプルでありながら非常に効率的な大規模分散システムにおける共有オブジェクトへのアクセス制御ソリューションが得られる。

ABSTRACT

The Arrow protocol is a simple and elegant protocol to coordinate exclusive access to a shared object in a network. The protocol solves the underlying distributed queueing problem by using path reversal on a pre-computed spanning tree (or any other tree topology simulated on top of the given network). It is known that the Arrow protocol solves the problem with a competitive ratio of O(log D) on trees of diameter D. This implies a distributed queueing algorithm with competitive ratio O(s*log D) for general networks with a spanning tree of diameter D and stretch s. In this work we show that when running the Arrow protocol on top of the well-known probabilistic tree embedding of Fakcharoenphol, Rao, and Talwar [STOC 03], we obtain a randomized distributed queueing algorithm with a competitive ratio of O(log n) even on general network topologies. The result holds even if the queueing requests occur in an arbitrarily dynamic and concurrent fashion and even if communication is asynchronous. From a technical point of view, the main of the paper shows that the competitive ratio of the Arrow protocol is constant on a special family of tree topologies, known as hierarchically well separated trees.

研究の動機と目的

• 動的かつ並列なリクエストパターン下で、一般のネットワークトポロジーにおける低競合比を達成する挑戦に取り組む。
• O(log²n · log D) の競合比を達成した先行研究を改善し、Arrow が木埋め込みと組み合わせることで O(log n) の競合比を達成できることを示す。
• Arrow が階層的に良好に分離された木（HSTs）上で O(1) 競合比を達成することを証明する。HSTs は確率的埋め込みで用いられる重要な構造的木クラスである。
• 非同期システムへの競合分析を拡張し、任意のメッセージ遅延およびリクエストインジェクションタイミング下でも耐障害性を示す。

提案手法

• プロトコルは、スパニングツリー上でパスリバーサルを実行する Arrow メカニズムを用いて、分散的かつ非同期的にキューイングリクエストを順序付けする。
• 一般グラフをストレッチと期待される歪みが O(log n) の HST の確率的分布にマッピングするために、Fakcharoenphol-Rao-Talwar の確率的木埋め込みを適用する。
• 解析により、辺の長さが各レベルで一定の要因で指数的に減少するパラメータ 2 の HST 上で、Arrow が O(1) 競合比を達成することが示される。
• 非同期システムへの競合分析の新しい適応が開発され、メッセージ遅延が性能を定数倍以内にしか低下させないことが証明される。
• 最悪ケース条件下での比較を可能にするために、リクエスト集合をコストと順序を保持するように圧縮形式に変換する手法が用いられる。
• 重要な補題により、固定されたデルタだけリクエスト時刻をずらしても、非同期下でも Arrow の実行順序とコストが保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 シンプルであるにもかかわらず、一般ネットワークトポロジーにおいて Arrow プロトコルが多対数競合比を達成できるか？
• RQ2 確率的埋め込みで用いられる木のクラス、階層的に良好に分離された木（HSTs）上で実行された場合、Arrow の競合比は何か？
• RQ3 メッセージ配信の非同期性が、動的リクエスト環境下での Arrow の競合比にどのように影響するか？
• RQ4 任意のグラフ上で木構造をシミュレートするために確率的木埋め込みを用いる場合、Arrow の競合比は保持できるか？

主な発見

• 階層的に良好に分離された木（HSTs）でパラメータ 2 として実行された Arrow プロトコルは、非同期通信下でも O(1) 競合比を達成する。
• Arrow を Fakcharoenphol-Rao-Talwar の確率的木埋め込みと組み合わせることで、一般ネットワークにおける分散キューイングで O(log n) 競合比を達成する。
• 任意の動的かつ並列なリクエストインジェクション、および任意のメッセージ遅延の下でも、競合比が保たれる。
• 解析により、HST 上で Arrow の最悪ケースコストが最適なオフラインコストの定数倍以内であることが証明され、リクエストタイミングやメッセージ遅延パターンにかかわらず成立する。
• 類似設定で O(log²n · log D) 競合比を達成した先行研究を改善し、より複雑なプロトコルよりも Arrow が優れていることを示している。
• 非同期下でもコストと順序を保持するリクエスト集合の変換が可能であることが確立され、洗練された競合分析フレームワークの構築が可能になった。