[論文レビュー] Algorithms for Replica Placement in High-Availability Storage

K. Alex Mills, R. Chandrasekaran+1 more|arXiv (Cornell University)|Mar 9, 2015

Distributed systems and fault tolerance参考文献 14被引用数 8

ひとこと要約

本稿では、高可用性ストレージシステムのための新しい因果的障害モデルを提案し、コンponentの依存関係を有向木として表現することでレプリカ配置を最適化する。$O(n + \rho^2)$ の動的計画法アルゴリズムを提示し、単一障害点のシナリオを回避するレプリカ配置を保証する。主な貢献は、木構造上のバランスの取れたレプリカ配置を線形時間で行うアルゴリズムである。

ABSTRACT

A new model of causal failure is presented and used to solve a novel replica placement problem in data centers. The model describes dependencies among system components as a directed graph. A replica placement is defined as a subset of vertices in such a graph. A criterion for optimizing replica placements is formalized and explained. In this work, the optimization goal is to avoid choosing placements in which a single failure event is likely to wipe out multiple replicas. Using this criterion, a fast algorithm is given for the scenario in which the dependency model is a tree. The main contribution of the paper is an $O(n + ρ\log ρ)$ dynamic programming algorithm for placing $ρ$ replicas on a tree with $n$ vertices. This algorithm exhibits the interesting property that only two subproblems need to be recursively considered at each stage. An $O(n^2 ρ)$ greedy algorithm is also briefly reported.

研究の動機と目的

• データセンタ内の相関するコンponent障害が、データレプリカの広範な利用不能を引き起こす問題に対処すること。
• 統計的相関係数に依存するのではなく、システムコンponent間の因果的依存関係を明示的にモデル化すること。
• 単一の障害イベントによって複数のレプリカが同時に損なわれるリスクを最小限に抑えるように、レプリカ配置を最適化するアルゴリズムの開発。
• 実際のデータセンタのトポロジーをモデル化する木構造の依存関係グラフにおける、高速でスケーラブルなレプリカ配置ソリューションの提供。
• 木構造における最適なレプリカ配置はバランスしている必要があることの証明をし、効率的なアルゴリズム設計を可能にすること。

提案手法

• ノードがコンponentを表し、エッジが障害伝搬を表す有向木として、システムコンponentの依存関係をモデル化する。
• ノードでの障害がすべての子孫に伝搬されるとする障害モデルを導入し、伝搬の閾値を1として仮定する。
• 分割統治戦略を用いた動的計画法を適用し、部分木上で再帰的に部分問題を解き、その結果を統合する。
• 退化した単一子のノード列を収縮する変換フェーズを導入し、問題のサイズを縮小して効率を向上させる。
• ノードの列を表す擬似ノードを用い、ベクトル$\vec{a}$、$\vec{b}$、$\vec{f}$を用いて障害集計を効率的に計算する。
• 子ノードからの結果をベクトル演算で統合する「征服フェーズ」を実装し、最適なレプリカ配置構成を計算する。

実験結果

リサーチクエスチョン

• RQ1 システムコンponent間の因果的依存関係をどのようにモデル化すれば、高可用性ストレージシステムにおけるレプリカ配置を改善できるか？
• RQ2 木構造の依存関係グラフにおける最適なレプリカ配置を見つける際の計算量的複雑性は何か？
• RQ3 動的計画法を設計することで、単一の障害が複数のレプリカを損なわないように、レプリカ配置を保証できるか？
• RQ4 最適なレプリカ配置が満たすべき構造的性質（例：バランス）は何か、木構造において？
• RQ5 構造的洞察とデータ構造の最適化を通じて、$O(n^2\rho)$を超えるレプリカ配置アルゴリズムの実行時間を改善できるか？

主な発見

• 提案された$O(n + \rho^2)$の動的計画法アルゴリズムは、木構造の依存関係グラフにおける最適なレプリカ配置を効率的に計算する。
• アルゴリズムは、木構造における最適配置がバランスしているという構造的性質を活用し、再帰的分解を可能にする。
• 退化したチェーンの収縮と擬似ノードの使用により、より高速な$O(n + \rho\log\rho)$のアルゴリズムが達成された。
• 変換フェーズは、退化したチェーンの処理とベクトルによる障害カウント集計により、$O(n + \rho\log\rho)$の時間で実行される。
• 征服フェーズは、擬似ノードのレベルの対数的深さのおかげで$O(\rho\log\rho)$の時間で実行され、全体の計算量の改善に寄与する。
• 木構造と障害伝搬モデルの活用により、ベースラインの$O(n^2\rho)$の貪欲法アプローチを上回る性能を発揮する。