Asymptotic approximation of the move-to-front search cost distribution and least-recently used caching fault probabilities

• 成果类型: Article
• 署名作者: Jelenkovic, PR
• 署名单位: Columbia University
• 刊物名称: ANNALS OF APPLIED PROBABILITY
• ISSN/ISSBN: 1050-5164
• 发表日期: 1999
• 页码: 430-464
• 关键词: heuristics; RULE; algorithms; locality

摘要

Consider a finite list of items n = 1, 2,..., N, that are requested according to an i.i.d. process. Each time an item is requested it is moved to the front of the list. The associated search cost C-N for accessing an item is equal to its position before being moved. If the request distribution converges to a proper distribution as N --> infinity, then the stationary search cost C-N converges in distribution to a limiting search cost C. We show that, when the (limiting) request distribution has a heavy tail (e.g., generalized Zipf's law), P[R = n] - c/n(alpha) as n --> infinity, alpha > 1, then the limiting stationary search cost distribution P[C > n], or, equivalently, the least-recently used (LRU) caching fault probability, satisfies [GRAPHICS] where Gamma is the Gamma function and gamma (= 0.5772...) is Euler's constant. When the request distribution has a light tail P[R = n] similar to c exp(- lambda n(beta)) as n --> infinity (c, lambda, beta > 0), then [GRAPHICS] independently of c, lambda, beta, where C-f is a fluid approximation of C. We experimentally demonstrate that the derived asymptotic formulas yield accurate results for lists of finite sizes. This should be contrasted with the exponential computational complexity of Burville and Kingman's exact expression for finite lists. The results also imply that the fault probability of LRU caching is asymptotically at most a factor e(gamma) (approximate to 1.78) greater than for the optimal static arrangement.