[論文レビュー] Optimal Gossip with Direct Addressing

Bernhard Haeupler, Dahlia Malkhi|arXiv (Cornell University)|Feb 12, 2014

Cooperative Communication and Network Coding参考文献 12被引用数 4

ひとこと要約

この論文は、直接アドレッシングモデルにおける新しいガッソウアルゴリズムを提示しており、情報拡散に最適な O(log log n) ラウンドを達成し、すでに証明済みの下界と一致する。同時に、メッセージ複雑度（ノードあたり O(1)）とビット複雑度（メッセージあたり O(log n)）を最小化しており、O(√log n) ラウンドまたはメッセージを必要とする先行研究を上回り、無作為なノード障害に対しても耐障害性を維持する。

ABSTRACT

Gossip algorithms spread information by having nodes repeatedly forward information to a few random contacts. By their very nature, gossip algorithms tend to be distributed and fault tolerant. If done right, they can also be fast and message-efficient. A common model for gossip communication is the random phone call model, in which in each synchronous round each node can PUSH or PULL information to or from a random other node. For example, Karp et al. [FOCS 2000] gave algorithms in this model that spread a message to all nodes in $Θ(\log n)$ rounds while sending only $O(\log \log n)$ messages per node on average. Recently, Avin and Elsässer [DISC 2013], studied the random phone call model with the natural and commonly used assumption of direct addressing. Direct addressing allows nodes to directly contact nodes whose ID (e.g., IP address) was learned before. They show that in this setting, one can "break the $\log n$ barrier" and achieve a gossip algorithm running in $O(\sqrt{\log n})$ rounds, albeit while using $O(\sqrt{\log n})$ messages per node. We study the same model and give a simple gossip algorithm which spreads a message in only $O(\log \log n)$ rounds. We also prove a matching $Ω(\log \log n)$ lower bound which shows that this running time is best possible. In particular we show that any gossip algorithm takes with high probability at least $0.99 \log \log n$ rounds to terminate. Lastly, our algorithm can be tweaked to send only $O(1)$ messages per node on average with only $O(\log n)$ bits per message. Our algorithm therefore simultaneously achieves the optimal round-, message-, and bit-complexity for this setting. As all prior gossip algorithms, our algorithm is also robust against failures. In particular, if in the beginning an oblivious adversary fails any $F$ nodes our algorithm still, with high probability, informs all but $o(F)$ surviving nodes.

研究の動機と目的

• 直接アドレッシングモデルにおけるガッソウの最良の上界と下界の差を埋めること。
• ラウンド、メッセージ、ビット複雑度を同時に最適化するガッソウアルゴリズムを設計すること。
• この設定において O(log log n) ラウンドが情報論的に最適であることを証明すること。
• 障害耐性を維持しながら、最適な複雑度を達成すること。

提案手法

• アルゴリズムは、3段階の階層的クラスタリングアプローチ（Cluster1、Cluster2、Cluster3）を用い、各段階でクラスタを段階的に統合してより大きな均一なサイズのグループを形成する。
• Cluster1 および Cluster2 はランダムなクラスタ形成と ClusterPUSH を用い、クラスタサイズを Θ(Δ/C'') にまで拡大する。ここで Δ は最大次数、C'' は定数である。
• Cluster3 はクラスタの確率的活性化と、非アクティブなクラスタをアクティブなクラスタに均等に統合するプロセスを用い、負荷分散を均等に保つ。
• BoundedClusterPush 段階では、未クラスタリングのノードがクラスタに参加するよう促され、動的サイズ調整によりクラスタサイズが定数倍の範囲内に保たれる。
• UnclusteredNodesPull 段階では、未クラスタリングのノードがランダムな PULL を用いてクラスタに参加でき、O(log log n) ラウンド後に o(F) を除くすべてのノードが情報を受け取る。
• 各ノードが平均して定数個のメッセージしか送受信しないように保証することで、合計で O(n) のメッセージ複雑度を維持する。

実験結果

リサーチクエスチョン

• RQ1 直接アドレッシングモデルにおけるガッソウは O(log log n) ラウンド複雑度を達成可能であり、それが最適であるか？
• RQ2 このモデルで、同時に最適なラウンド、メッセージ、ビット複雑度を達成することは可能か？
• RQ3 アルゴリズムは、通信コストを最小限に抑えながら、無作為なノード障害下でも障害耐性を維持できるか？
• RQ4 この設定における情報拡散に必要なラウンド数のタイトな境界は何か？

主な発見

• 提案されたガッソウアルゴリズムは、高確率で O(log log n) ラウンドで完了し、すでに証明済みの Ω(log log n) の下界と一致するため、最適性が確立される。
• アルゴリズムはノードあたり平均で O(1) メッセージしか送信しないため、メッセージ複雑度が最適である。
• メッセージあたりのビット複雑度は O(log n) であり、合計で O(n log n) のビット複雑度となる。これはこの設定で最適である。
• アルゴリズムは障害耐性を維持しており、F 個の無作為なノード障害後でも、o(F) を除くすべての生存ノードが高確率で情報を受け取る。
• 障害下でもアルゴリズムの O(n) メッセージ複雑度が保たれ、効率性とスケーラビリティが確保される。
• 解析により、高確率で log log n より少ないラウンドでは到達不可能であることが確認され、ラウンド複雑度が情報論的に最適であることが証明される。