[論文レビュー] The K-Server Dual and Loose Competitiveness for Paging

Neal E. Young|May 18, 2002

Optimization and Search Problems被引用数 15

ひとこと要約

本稿では、重み付きキャッシュにおけるプライマル・ダウアルアルゴリズム GreedyDual を導入し、競争比 $\frac{k}{k-h+1}$ を達成する。これは LRU および Balance を一般化する。また、『緩い競争比』（loose competitiveness）— 伝統的な競争比の概念の緩和版 — を導入し、その競争比が若干の成長条件のもとで、LRU、FIFO、および確率的マーキングアルゴリズムが緩い意味で競争的であることを示している。

ABSTRACT

This paper has two results. The first is based on the surprising observation that the well-known ``least-recently-used'' paging algorithm and the ``balance'' algorithm for weighted caching are linear-programming primal-dual algorithms. This observation leads to a strategy (called ``Greedy-Dual'') that generalizes them both and has an optimal performance guarantee for weighted caching. For the second result, the paper presents empirical studies of paging algorithms, documenting that in practice, on ``typical'' cache sizes and sequences, the performance of paging strategies are much better than their worst-case analyses in the standard model suggest. The paper then presents theoretical results that support and explain this. For example: on any input sequence, with almost all cache sizes, either the performance guarantee of least-recently-used is O(log k) or the fault rate (in an absolute sense) is insignificant. Both of these results are strengthened and generalized in``On-line File Caching'' (1998).

研究の動機と目的

• 重み付きキャッシュのためのプライマル・ダウアル戦略を設計し、LRU および Balance アルゴリズムを一般化すること。
• ページ置換における従来の競争比の限界を克服するため、緩い競争比という新しい概念を導入すること。
• LRU、FIFO、および確率的マーキングアルゴリズムなどの標準的ページ置換戦略の緩い競争比を分析すること。
• k-サーバ問題の双対構造を調査し、オンラインアルゴリズム設計に与える影響を明らかにすること。
• 緩和された競争基準を用いて、オンラインページ置換およびキャッシュアルゴリズムのよりタイトで現実的性能保証を提供すること。

提案手法

• 重み付きキャッシュのためのプライマル・ダウアルアルゴリズム GreedyDual を提案し、双対変数を維持し、それらを用いてサーバ選択をガイドする。
• 線形計画法の双対性を用いて k-サーバ問題を分析し、LRU および Balance がプライマル・ダウアルアルゴリズムであることを明らかにする。
• 『緩い競争比』という概念を導入し、戦略がコストが著しく小さい場合には、$c(k)$-競争的であるとみなされる。
• 定理 3.2 を用いて、戦略が競争限界を超える値（『違反者』と呼ぶ）の数を、双対解の性質を用いて上限付ける。
• 『悪い状態』にあるサーバの数（$\mathcal{N}_r(k)$ を通じて）および高コストシーケンスの確率（$\mathcal{P}_r(k)$ を通じて）の境界を用いる。
• 指数関数的境界を用いてマーキングアルゴリズムを分析し、$c(k) - 2\ln\ln k \to \infty$ のとき、緩い意味で $c(k)$-競争的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 重み付きキャッシュのためのプライマル・ダウアルアルゴリズムを設計でき、LRU および Balance を一般化し、保証された競争比を達成できるか？
• RQ2 オンラインページ置換における実用的性能をよりよく反映するために、従来の競争比モデルをどのように緩和できるか？
• RQ3 標準的ページ置換戦略（例：LRU、FIFO、Mark）のうち、新しい緩い競争比基準を満たすのはどれか？
• RQ4 競争比 $c(k)$ にどのような条件を課すと、『悪い』$k$ 値の数が $n$ に対して非線形的になるか？
• RQ5 k-サーバ問題の双対性フレームワークを活用して、キャッシュのためのより優れたオンラインアルゴリズムを設計できるか？

主な発見

• GreedyDual は重み付きキャッシュにおいて $\frac{k}{k-h+1}$ の競争比を達成し、LRU および Balance を一般化する。
• LRU および Balance アルゴリズムがプライマル・ダウアルアルゴリズムであることが示され、オンラインキャッシュにおけるより深い双対構造が明らかになった。
• LRU および FIFO は $c(k)/\ln k \to \infty$ のとき、緩い意味で $c(k)$-競争的である。これは、ほとんどすべての $k$ に対して性能がほぼ最適であることを意味する。
• 確率的マーキングアルゴリズムは $c(k) - 2\ln\ln k \to \infty$ のとき、緩い意味で $c(k)$-競争的である。これは従来の $2\ln k$ の競争比を改善する。
• 『違反者』— 戦略が競争限界を超える $k$ の値 — の数は $o(n)$ である。これは、ほとんどの $k$ に対して近似的最適性が成立することを示している。
• 双対解の性質と定理 3.2 を用いて、違反者の数の理論的境界を導出し、$c(k)$ にやや緩い条件を課すと、非線形的成長が生じることを示した。