[論文レビュー] An Improved Analytical Expression for Write Amplification in NAND Flash

Xiang Luojie, Brian M. Kurkoski|arXiv (Cornell University)|Oct 19, 2011

Advanced Data Storage Technologies参考文献 1被引用数 19

ひとこと要約

本稿では、ゴミ回収中の無効ページの解放数を二項分布とランベルト W 関数でモデル化することにより、NANDフラッシュメモリにおけるライトアンプリフィケーションの改善された解析的モデルを提案する。得られた式は過剰プロビジョニング係数にのみ依存し、先行研究と比較して著しく高い精度を示し、ρ=0.30 の場合に予測されるライトアンプリフィケーションは 2.36 であり、実測値の 2.35 に極めて近い。これに対して、従来のモデルは 2.17 と低く予測している。

ABSTRACT

Agarwal et al. gave an closed-form expression for write amplification in NAND flash memory by finding the probability of a page being valid over the whole flash memory. This paper gives an improved analytic expression for write amplification in NAND flash memory by finding the probability of a page being invalid over the block selected for garbage collection. The improved expression uses Lambert W function. Through asymptotic analysis, write amplification is shown to depend on overprovisioning factor only, consistent with the previous work. Comparison with numerical simulations shows that the improved expression achieves a more accurate prediction of write amplification. For example, when the overprovisioning factor is 0.3, the expression proposed by this paper gives a write amplification of 2.36 whereas that of the previous work gives 2.17, when the actual value is 2.35.

研究の動機と目的

• NANDフラッシュメモリにおけるライトアンプリフィケーションのより正確な解析的表現の開発を目的とする。
• ゴミ回収中に解放される無効ページ数を定常的な二項過程としてモデル化することを目的とする。
• アガルワールらの閉形式式を改善するため、有効ページの分布ではなく無効ページの確率に焦点を当てる。
• シミュレーションと漸近的解析を通じてモデルを検証し、ライトアンプリフィケーションが過剰プロビジョニング係数にのみ依存することを示す。

提案手法

• 著者らは、1回のゴミ回収あたり解放される無効ページ数を、確率 $ p_{\mathsf{ie}} $ を持つ二項分布に従う確率変数としてモデル化する。
• 期待解放無効ページ数 $ x $ に対する自己整合的方程式を導出し、ランベルト W 関数を含む超越方程式に帰着する。
• 漸近的ライトアンプリフィケーションは $ \widehat{A} = \frac{-1-\rho}{-1-\rho - \mathsf{W}((-1-\rho)e^{-1-\rho})} $ として得られ、過剰プロビジョニング係数 $ \rho $ のみに依存する。
• 無効ページの解放数に定常性が成り立つと仮定し、シミュレーションおよび漸近的解析によりこれを正当化する。
• 広範なシミュレーションにより、$ U $, $ N_{\mathsf{p}} $, および $ \rho $ を変化させた場合の理論的結果を検証し、解析値に収束することが確認された。
• 本モデルは、有効ページの均一分布を仮定し、別の導出法を用いるアガルワールらの先行式と比較している。

実験結果

リサーチクエスチョン

• RQ1 ゴミ回収中の無効ページ回復に注目することで、NANDフラッシュメモリにおけるライトアンプリフィケーションをより正確にモデル化する方法は何か？
• RQ2 ライトアンプリフィケーションの漸近的挙動は何か？また、過剰プロビジョニング係数にのみ依存するか？
• RQ3 ランベルト W 関数を用いた閉形式式により、シミュレーション結果をよりよく再現するライトアンプリフィケーションの式を導出できるか？
• RQ4 ページの分布およびゴミ回収のダイナミクスに関する仮定が、ライトアンプリフィケーションの予測精度に与える影響は何か？

主な発見

• 改善されたライトアンプリフィケーションの解析的式は、過剰プロビジョニング係数 $ \rho $ のみに依存しており、先行研究と整合的であるが、より正確なフレームワークに基づいて導出された。
• ρ = 0.30 の場合、提案モデルはライトアンプリフィケーションを 2.36 と予測し、シミュレーション結果の 2.35 に極めて近い。一方、従来モデルは 2.17 と低く予測している。
• 本モデルの予測誤差は、従来の研究と比較して顕著に低く抑えられており、テスト範囲内での最大偏差が $ \rho \geq 0.25 $ の場合 0.02 未満であることが分かった。
• シミュレーションにより、1回のゴミ回収あたり解放される無効ページ数が $ U $ や $ N_{\mathsf{p}} $ に依存しない定常値に収束することが確認され、モデルの仮定が正当化された。
• ランベルト W 関数により、非線形的なライトアンプリフィケーションの挙動を、従来の二次近似よりもより正確に捉えた閉形式解が得られた。
• 本モデルは、サイクルあたりに満杯になるブロック数 $ T $ が実際の値をよく近似していることの根拠を示し、解析的枠組みを支持している。