[論文レビュー] Exact-Repair Regenerating Codes Via Layered Erasure Correction and Block Designs

Chao Tian, Vaneet Aggarwal+1 more|arXiv (Cornell University)|Feb 19, 2013

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

ひとこと要約

本稿では、階層型エラー訂正と組合せブロック設計（例：スティーナー系、t-設計）を用いた、新たな線形正確修復再生コードの構成を提案する。これにより、計算を伴わずにデータを直接送信する「非符号化修復」が可能となり、最小ストレージ再生（MSR）と最小帯域幅再生（MBR）コードの時間共有より厳密に優れたストレージ帯域幅トレードオフを達成する。また、2つの符号化層の共同設計により、低デコード複雑性と証明可能なフルランクデコードを実現する。

ABSTRACT

A new class of exact-repair regenerating codes is constructed by combining two layers of erasure correction codes together with combinatorial block designs, e.g., Steiner systems, balanced incomplete block designs and t-designs. The proposed codes have the "uncoded repair" property where the nodes participating in the repair simply transfer part of the stored data directly, without performing any computation. The layered error correction structure makes the decoding process rather straightforward, and in general the complexity is low. We show that this construction is able to achieve performance better than time-sharing between the minimum storage regenerating codes and the minimum repair-bandwidth regenerating codes.

研究の動機と目的

• MSRとMBRコードの時間共有を超えるストレージ帯域幅トレードオフを実現する正確修復再生コードの構築を目的とする。
• 補助ノードが計算を伴わず、保存されたデータを直接送信する「非符号化修復」を可能とし、システムのオーバーヘッドを低減することを目的とする。
• 組合せブロック設計を用いた階層型エラー訂正構造により、低デコード複雑性を確保することを目的とする。
• 2つの符号化層の共同設計のもとで、このようなコードがフルランクデコードを達成できることを証明することを目的とする。
• d < n−1 の場合への一般化を目的とし、本稿では主に d = n−1 の場合に焦点を当てる。

提案手法

• 外符号に組合せブロック設計（例：スティーナー系、t-設計）を用い、内符号にデータ符号化を行う2層のエラー訂正符号化を組み合わせる。
• 生成行列 G とパリティ検査行列 Q* のブロック行列分解を実施し、Q* を Q11、Q12、Q21、Q22 に分割。このとき Q12 = 0 とする。
• Q*·G の積にフルランク条件を課し、正常なデコードを保証する。これにより、ランク条件を満たす補助行列 H を構築する。
• 中間行列 Rj のゼロ行パターンを基に H を構成し、特定の位置に 1 を割り当てることで、Q22 との列空間の整合性を確保する。
• ブロック単位で修理行列 S を解き、H = Q21 + Q22·S が解を有することを保証する。この際、ブロック設計の構造とゼロ行仮定を活用する。
• 下部行にすべてゼロ行がないなどのエッジケースに対処するため、H を変更してランクと可解性条件を維持する。

実験結果

リサーチクエスチョン

• RQ1 正確修復再生コードは、MSR と MBR コードの時間共有を超えるストレージ帯域幅トレードオフを達成できるか？
• RQ2 非符号化修復が可能でありながら、低デコード複雑性とフルランクデコードを維持できるコードは構築可能か？
• RQ3 スティーナー系や t-設計などの組合せブロック設計を用いて、構造的強靭性を確保するようなコードの構築は可能か？
• RQ4 2つの符号化層の共同設計により、非符号化修復制約のもとでフルランクデコードを保証できるか？
• RQ5 パリティ検査行列にどのような構造的条件を課すと、最小限の計算で有効な修理行列 S が存在するか？

主な発見

• 提案されたコード構成は、MSR と MBR コードの時間共有を厳密に上回るストレージ帯域幅トレードオフを達成する。
• コードは非符号化修復を可能とし、補助ノードが計算を伴わず、保存されたデータを直接送信することで、システムのオーバーヘッドを低減する。
• 階層構造と組合せブロック設計の活用により、デコードの複雑性が低く抑えられる。
• 補助行列 H を構築することで、[Q11^T, H^T] がフルランク M を達成することを証明した。
• エッジケース（特定の部分行列にすべてゼロ行がない場合）に対しても、ブロック単位の構成により修理行列 S の解が存在することが示された。
• 本手法は d < n−1 の場合にも一般化可能であるが、簡潔さと明確さを考慮し、主に d = n−1 の場合に焦点を当てる。