[論文レビュー] Slightly smaller splitter networks

James Aspnes|arXiv (Cornell University)|Nov 14, 2010

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

ひとこと要約

この論文は、分離器ネットワークを用いた決定的リネーミングアルゴリズムを提示しており、空間計算量をΘ(n²)からΘ(n³/²)の分離器に低減するとともに、個々の時間計算量をΘ(n)に維持している。この手法は、段階的な構成において交互にモア-アンドリュースグリッドと2分木を組み合わせることで、初期名が無制限であるn個のプロセスに一意の名前を割り当てるスケーラブルで空間効率の良い解決策を実現する。

ABSTRACT

The classic renaming protocol of Moir and Anderson (1995) uses a network of Theta(n^2) splitters to assign unique names to n processes with unbounded initial names. We show how to reduce this bound to Theta(n^{3/2}) splitters.

研究の動機と目的

• 分離器ネットワークを用いた決定的リネーミングプロトコルの空間計算量を低減すること。
• 古典的なモア-アンドリュースのΘ(n²)構成より少ない分離器を用いるネットワークを設計すること。
• 空間使用量を最小限に抑えつつ、最適な個々の時間計算量Θ(n)を維持すること。
• スケーラビリティの向上を図るため、モア-アンドリュースグリッドと2分木をハイブリッドに組み合わせたアーキテクチャを検討すること。
• 初期名が無制限であるシステムにおけるリネーミングのための空間効率の良い代替手段を提供すること。

提案手法

• 2√n × 2√n のモア-アンドリュースグリッドと、出力ワイヤーに√n 個の2分木ブロッカーを用いて(n,√n)-ブロッカーを構築する。
• 補題1を用いて、グリッド内で少なくとも2√n 個のプロセスが別々の出力分離器を通じて停止または退出することを示す。
• 補題1の不等式(2)を適用し、少なくとも√n 個のプロセスが2分木ブロッカーを通じて停止することを保証する。
• この(n,√n)-ブロッカー構成を√n 回繰り返すことで、すべてのn 個のプロセスが最終的に停止し、一意の名前を受けるようにする。
• ブロッカーを段階的に接続し、ブロックされないプロセスを次の段階の入力に供給する。
• 幾何級数的増加のネットワークサイズを用いて、未知のn に対応する適応的構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 分離器ネットワークによる決定的リネーミングの空間計算量をΘ(n²)未満に低減することは可能か？
• RQ2 分離器の数を削減しながらも、Θ(n)の個々の時間計算量を維持することは可能か？
• RQ3 モア-アンドリュースグリッドと2分木のハイブリッド構造は、純粋な分離器ネットワークに比べて空間効率が優れていると期待できるか？
• RQ4 初期名が無制限であるn 個のプロセスに対して一意の名前を保証するために必要な最小分離器数はいくつか？
• RQ5 複数段階にわたるブロッカー・ネットワークをどのように組み合わせれば、すべてのプロセスが最終的に停止することを保証できるか？

主な発見

• 提案された分離器ネットワークは、(4+o(1))n³/² 個の分離器を用い、空間計算量をΘ(n²)からΘ(n³/²)に低減している。
• ネットワークはΘ(n)の個々の時間計算量を維持しており、与えられた制約下で最適である。
• 各(n,√n)-ブロッカー段階はO(n)個の分離器を用い、深さは(2+o(1))√n である。
• 全ネットワークは√n 個のこのような段階から構成され、総合的な深さは(2+o(1))n である。
• この構成により、すべてのn 個のプロセスが最終的に停止し、一意の名前を受けることが保証され、リネーミング要件を満たす。
• 幾何級数的増加のネットワークを段階的に接続することで、未知のn に対しても適応可能であり、k 個のプロセスに対してO(k³/²)の名前範囲とO(k)の時間計算量を達成する。