[論文レビュー] Approximation of LRU Caches Miss Rate: Application to Power-law Popularities

Christian Berthet|arXiv (Cornell University)|May 19, 2017

Caching and Content Delivery参考文献 15被引用数 9

ひとこと要約

本稿では、パワー則的リクエスト人気度におけるLRUキャッシュのミス率の閉形式近似を提示する。これは、先行の漸近的結果をパワー則パラメータのすべての値に拡張したものであり、偏りの大きいワークロードにおける性能モデリングの実用的ツールを提供する。

ABSTRACT

Building on the 1977 pioneering work of R. Fagin, we give a closed-form expression for the approximated Miss Rate (MR) of LRU Caches assuming a power-law popularity. Asymptotic behavior of this expression is an already known result when power-law parameter is above 1. It is extended to any value of the parameter. In addition, we bring a new analysis of the conditions (cache relative size, popularity parameter) under which the ratio of LRU MR to Static MR is worst-case.

研究の動機と目的

• パワー則的リクエスト分布下でのLRUキャッシュミス率の閉形式近似を開発すること。
• パラメータが1より大きい場合に限られていた既存の漸近的結果を、すべてのパラメータ値にまで拡張すること。
• LRUミス率が静的（最適）キャッシュミス率に対して最も悪くなる条件を分析すること。
• 偏りの大きいアクセスパターンを示すシステムにおける性能モデリングの実用的アナリティカルツールを提供すること。
• キャッシュサイズや人気度の偏りの変動に対するLRUキャッシングのロバスト性に関する洞察を提供すること。

提案手法

• R. Faginの1977年の枠組みに基づき、LRUキャッシュミス率の閉形式式を導出する。
• パワー則的人気度（Zipfに類似した指数をパrameterとする）にこの近似を適用する。
• 漸近的解析を用いて、パラメータが1より大きい場合に限らない、すべてのパラメータ値において近似の妥当性を検証する。
• 最悪性能を評価するために、LRUミス率と静的（最適）ミス率を比較する。
• 数学的解析を用いて、キャッシュサイズや人気度パラメータを変化させた場合のLRUミス率と静的ミス率の比を特徴付ける。
• 理論的解析と既知の結果の拡張を通じて、近似の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 パワー則的リクエスト人気度下でのLRUキャッシュミス率の閉形式近似は何か？
• RQ2 先行の結果が制限されていたパラメータが1以下の場合、この近似はどのように振る舞うか？
• RQ3 キャッシュサイズと人気度パラメータがどのような条件下で、LRUミス率が静的キャッシュに対して最も悪くなるか？
• RQ4 パワー則環境下でのLRUと静的キャッシュミス率の理論的最悪比は何か？
• RQ5 提案された近似は、以前の漸近的解析をどのように改善または拡張するか？

主な発見

• 本稿では、パラメータが1より大きい場合に限らない、パワー則パラメータのすべての値に対して有効なLRUキャッシュミス率の閉形式式を導出している。
• この近似により、既知の漸近的結果が、重尾分布（パラメータ ≤ 1）を含む全パラメータ範囲にまで拡張された。
• LRUミス率と静的ミス率の最悪比は、キャッシュサイズと人気度の偏りの観点から解析的に特徴付けられている。
• 解析により、人気度の偏りが強く、かつキャッシュサイズが小さい場合に、LRUと最適キャッシングとの間で性能ギャップが拡大することが明らかになった。
• 導出された式により、パワー則アクセスパターンを示すシステムにおけるLRUミス率の正確で効率的な推定が可能となり、性能予測や設計を支援する。
• 本手法は、偏りの大きいワークロードを示す実世界のシステムにおけるキャッシュ戦略の評価に理論的基盤を提供する。