[論文レビュー] Correcting Two Deletions and Insertions in Racetrack Memory

Alireza Vahid, Georgios Mappouras+2 more|arXiv (Cornell University)|Jan 23, 2017

Advanced Data Storage Technologies参考文献 12被引用数 9

ひとこと要約

本稿では、区切りビットとグラフベースの符号を用いて、最大2つのシフトエラー（削除または挿入）を検出・訂正する低複雑度の符号化方式を提案する。Varshamov-Tenengolts (VT) 符号と構造化された区切りパターンを組み合わせることで、追加のメモリリードやライトポートを必要とせず、高速でハードウェアに優しいエラー検出・訂正が可能となり、高密度・低遅延のストレージシステムにおける信頼性の高いデータ回復を実現する。

ABSTRACT

Racetrack memory is a non-volatile memory engineered to provide both high density and low latency, that is subject to synchronization or shift errors. This paper describes a fast coding solution, in which delimiter bits assist in identifying the type of shift error, and easily implementable graph-based codes are used to correct the error, once identified. A code that is able to detect and correct double shift errors is described in detail.

研究の動機と目的

• 現在の電流注入の不正確さによる、データ整合性を損なうシフトエラー（削除および繰り返し）の課題に対処する。
• 追加のリード/ライトポートや操作を必要とする従来の解決策の制限を克服し、遅延および消費電力を低減する。
• 追加のハードウェアやメモリアクセスのオーバーヘッドなしに、エラー検出および訂正が可能な実用的で低複雑度の符号化方式を設計する。
• 従来、1つのシフトエラー訂正に限られていたVarshamov-Tenengolts (VT) 符号の有用性を、1ブロックあたり最大2つのシフトエラーを処理できるように拡張する。
• ラクトラックメモリの現実的なエラーモデルに従い、m+3回のシフトごとに最大2つのシフトエラーが発生する状況下でも、信頼性の高いデータ回復を保証する。

提案手法

• エラー検出（内部符号）とエラー訂正（外部符号）を分離する製品符号構造を採用し、エラーなしの場合の高速アクセスを実現する。
• VT符号を内部符号として採用し、1つのトラックセグメント内での最大1つのシフトエラーの検出および訂正を実現する。
• 各VT符号語の後に6ビットの区切りビットを導入し、シフトエラーの種別と位置を特定する。削除と繰り返しを区別できる。
• 区切りビットのパターン（例：1000、1100、0000）を用いたルックアップベースのエラー同定機構を導入し、エラー種別を分類し、訂正を支援する。
• 2つの削除や混合エラーなどの曖昧な状況を、トラック間の冗長性を活用して外部符号で解消する。
• 符号語インデックスの重み付き和の不足を分析することで、欠落したビット値を左/右の文脈から推定する、チェックサムベースの回復アルゴリズムを実装する。

実験結果

リサーチクエスチョン

• RQ1 追加のハードウェアやメモリアクセスなしに、ラクトラックメモリにおけるシフトエラー（削除および繰り返し）を効率的に検出・訂正することは可能か？
• RQ2 構造化された区切りパターンを用いることで、Varshamov-Tenengolts符号を複数のシフトエラー訂正に拡張可能か？
• RQ3 重複するエラーパターンが存在する中で、区切りビットを用いたエラー分類戦略が、エラー種別の明確な識別（例：単一削除対比削除-繰り返しペア）を可能にするか？
• RQ4 m+3回のシフトごとに最大2つのシフトエラーを訂正するにあたり、本提案符号方式が高データレートおよび低遅延を維持できるか？
• RQ5 1つのトラックがm+3回のシフトごとに最大2つのエラーを持つ制約下で、本方式の性能はいかほどか？

主な発見

• 提案された符号化方式は、VT符号と6ビットの区切りビットを用いた製品符号により、m+3回のシフトごとに最大2つのシフトエラーを効果的に検出・訂正する。
• 区切りビットの使用により、エラー種別の明確な識別が可能である：1000は単一削除を示し、1100はエラーなし（ただし符号語がずれている）を示し、0000は外部符号による解決用のエラー除去をトリガーする。
• VT符号内で単一削除が発生し、区切りビットに繰り返しが発生した場合、区切りパターンが1000であれば、エラーを単一削除として正しく同定でき、信頼性の高い回復が可能である。
• パターン1100の削除-繰り返しペアの後にチェックサムがn+1で非ゼロであれば、システムはエラー除去を宣言し、外部符号に依存して訂正を行う。これにより、耐障害性が確保される。
• 追加のリード/ライト操作やハードウェアを必要とせず、通常（エラーなし）の状態でも低消費電力かつ高速アクセスを維持する。
• 2つの削除がVT符号内または区切りビット内で発生する曖昧な状況であっても、外部符号がエラーを解消でき、m+3回のシフトごとに最大2つのエラーが発生する制約下でもデータ整合性を保持する。