[論文レビュー] Reconstruction and Repair Degree of Fractional Repetition Codes

Krishna Gopal Benerjee, Manish K. Gupta+1 more|arXiv (Cornell University)|May 20, 2013

Advanced Data Storage Technologies参考文献 6被引用数 8

ひとこと要約

本稿では、分散ストレージシステムにおける分数レピティション（FR）コードの再構成度 $k^\star$ および修復度 $d_i$ を計算するための新規アルゴリズムを提示する。弱FRコード（修復度が自明でない場合）に対する手法の欠如に応じて、インcidenc行列における集合の共通部分とカラムサポート解析を用い、データ再構成およびノード修復に必要な最小ノード数を特定する。

ABSTRACT

Given a Fractional Repetition code, finding the reconstruction and repair degree in a distributed storage system is an important problem. In this work, we present algorithms for computing the reconstruction and repair degree of fractional repetition codes.

研究の動機と目的

• 分数レピティション（FR）コードにおける再構成および修復度を計算するためのアルゴリズムのギャップを埋める。特に、弱FRコードに対して。
• 全データを再構成するために必要な最小ノード数（再構成度 $k^\star$）を体系的に計算する方法を提供する。
• 修復度 $d_i$ が $\alpha_i$ より小さい弱FRコードにおける個々のノードの修復度 $d_i$ を計算するためのアルゴリズムを開発する。
• 修復度分析を通じて、弱FRコードが強FRコードよりも優れていることを示す。
• DRESSコードにおける主要なシステムパラメータを評価するための実用的な計算フレームワークを提示する。ノード・パケットインシデント行列を用いる。

提案手法

• 再構成度 $k^\star$ を、すべての $\theta$ パケットを含むノードの最小部分集合として定義する。
• インシデント行列 $M$ のカラムサポート $H_j$ に対して、グリーディセットカバー法を用いて $k^\star$ を計算する。
• 修復度 $d_i$ の計算において、$S^{\{i\}}_i = \{H_j \setminus \{i\} \mid i \in H_j\}$ を計算し、ノード $i$ のパケットを供給可能なノード集合を表す。
• 反復的に、非空の共通部分を持つカラムサポート $H_j \setminus \{i\}$ の最大集合 $T$ を特定し、カウンタ $l_q$ を $|T| - 1$ として更新する。
• 使用済みの集合を $S^{\{i\}}_i$ から除去し、残りの集合がなくなるまで繰り返し、$d_i = \alpha_i - \sum l_q$ を計算する。
• ノード・パケット分布を表すインシデント行列 $M_{n \times \theta}$ を活用し、分析に用いるカラムサポート $H_j$ を抽出する。

実験結果

リサーチクエスチョン

• RQ1 与えられたFRコードにおいて、全データを再構成するために必要な最小ノード数は何か。特に弱FRコードに対して。
• RQ2 修復度 $d_i$ が $\alpha_i$ より小さい弱FRコードにおいて、個々のノードの修復度 $d_i$ はどのように計算できるか。
• RQ3 近似による $k^\star$ 計算と正確な再構成度 $k_{FR}$ の計算との間の計算複雑性と正確性のトレードオフは何か。
• RQ4 修復度という指標で見た場合、弱FRコードは強FRコードと比べてどの程度修復効率が優れているか。
• RQ5 インシデント行列とカラムサポート構造のみを用いて、修復度を計算するアルゴリズムを設計できるか。

主な発見

• 提案されたアルゴリズムは、真の再構成度 $k_{FR}$ の下界として再構成度 $k^\star$ を計算するが、$k_{FR}$ を正確に計算するためのより複雑な手法も併用する。
• 弱FRコードでは、$\alpha_i$ よりも修復度 $d_i$ が著しく小さい場合がある。$\mathscr{C}(11,8,2,3)$ の例では $d_5 = 2$ である。
• 修復度アルゴリズムは、補助ノードの集合の共通部分を反復的に特定し、各反復で回復可能なパケット数を差し引くことで、$d_i$ を正しく計算する。
• 例 $\mathscr{C}(11,8,2,3)$ において、ノード5の修復度は $d_5 = \alpha_5 - l_1 - l_2 = 2 - 1 - 1 = 0$ と計算されるが、誤植の可能性がある。しかし、正しく解釈すると、$\alpha_5 = 2$ でループ内で回復パケット数が0であるため、$d_5 = 2$ であり、これは $\alpha_5 = 2$ で必要な補助ノード数が減少しないことを示している。
• アルゴリズムは、$\mathscr{C}(11,8,2,3}$ のノード5に対して、$d_5 = 2$ であることを正しく特定しており、ノード5の2パケットが他の2ノードに接続することで完全に回復可能であることを示しており、$\alpha_5 = 2$ と一致する。