[論文レビュー] A realistic distributed storage system that minimizes data storage and repair bandwidth

Bernat Gastón, Jaume Pujol+1 more|arXiv (Cornell University)|Jan 8, 2013

Advanced Data Storage Technologies参考文献 3被引用数 4

ひとこと要約

本稿では、インラック通信がインタラック通信よりも安価であることを踏まえたラック認識修復コストを導入することで、データ保存量と修復帯域幅の両方を最小化する2ラック分散ストレージモデルを提案する。レジレーティングコードのしきい値関数を非対称な修復コストに対応するように一般化し、特に $k > d_1$ の場合に、従来の基本的および静的コストモデルと比較して修復コストを低減できることを示した。最適化されたヘルパー節点選択（ラック位置に基づく）により、本モデルはより低い修復帯域幅とコストを達成する。

ABSTRACT

In a realistic distributed storage environment, storage nodes are usually placed in racks, a metallic support designed to accommodate electronic equipment. It is known that the communication (bandwidth) cost between nodes within a rack is much lower than the communication (bandwidth) cost between nodes within different racks. In this paper, a new model, where the storage nodes are placed in two racks, is proposed and analyzed. In this model, the storage nodes have different repair costs to repair a node depending on the rack where they are placed. A threshold function, which minimizes the amount of stored data per node and the bandwidth needed to regenerate a failed node, is shown. This threshold function generalizes the threshold function from previous distributed storage models. The tradeoff curve obtained from this threshold function is compared with the ones obtained from the previous models, and it is shown that this new model outperforms the previous ones in terms of repair cost.

研究の動機と目的

• ラックベースの通信コスト差を組み込むことで、現実的でない分散ストレージモデルのギャップを埋めること。
• データセンタートポロジーを反映するように、インラックとインタラックの修復帯域幅に顕著な差があるストレージシステムをモデル化すること。
• ラック位置に基づく可変な修復コストに対応できるように、レジレーティングコードのしきい値関数を一般化すること。
• ラック認識コスト下での、ノードあたりの保存データ量と修復帯域幅のトレードオフを導出し、分析すること。
• 提案されたラックモデルが、特に $k > d_1$ の場合に、従来モデルと比較して修復コストを低減することを示すこと。

提案手法

• ストレージノードを2つのグループに分割し、それぞれに異なる修復コスト $C_c$（インラック）および $C_e$（インタラック）を設定する2ラックモデルを提案する。
• 各 $i = 0, \dots, k-1$ に対して、各ラックからのヘルパー数に応じて最小修復帯域幅 $\gamma = d\beta$ を決定する一般化されたしきい値関数 $f(i)$ を導入する。
• パラメータ $d_1, d_2, \tau = C_e/C_c$, および $L[i](k-i) + g(i)$ を正規化因子として用い、各ラックの有効修復帯域幅 $\beta_e = f(i)$ と修復コスト $C_T^1, C_T^2$ を導出する。
• 情報フローグラフにおける最小カット解析を適用し、非対称コスト下でのノードあたりの保存データ量 ($\alpha$) と修復帯域幅 ($\gamma$) の根本的トレードオフを確立する。
• 本稿のラックモデルの修復コスト $C_T$ を [4] の静的コストモデルおよび [3] の基本的モデルと比較し、コスト効率の向上を示す。
• 数値的評価を用いて、$\tau = C_e/C_c$ の増加に伴い修復コスト $C_T^1$ および $C_T^2$ が単調に減少することを示し、$\eta(\tau)$ も単調に減少する。

実験結果

リサーチクエスチョン

• RQ1 ラックベースの通信コスト差を導入することで、分散システムにおける保存量と修復帯域幅の根本的トレードオフにどのような影響を与えるか？
• RQ2 インラック帯域幅とインタラック帯域幅の違いのような非対称修復コストを扱えるように、レジレーティングコードをモデル化する一般化されたしきい値関数を導出できるか？
• RQ3 比 $\tau = C_e/C_c$ が2ラックストレージモデルにおける修復コストに与える影響は何か？
• RQ4 本稿のラックモデルは、[4] の静的コストモデルおよび [3] の基本的モデルと比較して、修復コストと帯域幅効率の面でどのように異なるか？
• RQ5 特に $k > d_1$ の条件下で、ラックモデルが従来モデルを上回る修復コストの観点での性能を示す条件は何か？

主な発見

• ラックモデルは、ラック位置に基づく最適化されたヘルパー選択のおかげで、[4] の静的コストモデルと比較して修復コストを低減する。特に $k > d_1$ の場合に顕著である。
• 修復コスト $C_T^1$ および $C_T^2$ は、$\tau = C_e/C_c$ の増加に伴い単調に減少し、インタラックコスト比が高いほど全体の修復コストが低くなる。
• 一般化されたしきい値関数 $f(i)$ は、従来モデルを非対称修復コストに対応させるのに成功し、現実的な環境における正確なトレードオフ分析を可能にする。
• $\tau = 1$ の場合、ラックモデルは [3] の基本的モデルに還元され、従来の研究と整合性があることが確認される。
• $k \leq d_1$ の場合、ラックモデルと静的コストモデルは同様の挙動を示すが、$k > d_1$ の場合、両方の指標 $\beta_e$ および $\alpha$ においてラックモデルが静的モデルを上回る。
• 本モデルは、従来モデルよりも低い修復帯域幅とコストを達成し、$\eta(\tau) = C_T^{1}(\tau>1)/C_T^{1}(\tau=1)$ が $\tau$ の増加に伴い減少することで、コスト効率の向上を実証する。