[论文解读] Identity of King and Flajolet & al. Formulae for LRU Miss Rate Exact Computation.

Christian Berthet|arXiv (Cornell University)|Jul 5, 2016

Parallel Computing and Optimization Techniques参考文献 5被引用 3

一句话总结

本文建立了两个经典精确 LRU 缓存未命中率计算公式的代数等价性：King 于 1971 年提出的组合求和公式与 Flajolet 等人于 1992 年提出的积分公式。通过一个关于子集排列的新组合恒等式，作者在一般非均匀访问频率分布下证明了这两个公式的数学等价性，并将结果扩展至优惠券收集问题中部分收集的期望时间。

ABSTRACT

This short paper gives a detailed proof of identity between two classic formulas for the computation of the exact Miss Rate of LRU caches. An extension to the identity of two formulas of the expected time of a partial collection in the coupon collector problem is also presented.

研究动机与目标

• 正式证明在一般非均匀访问频率分布下，King 于 1971 年提出的组合公式与 Flajolet 等人于 1992 年提出的积分公式在精确 LRU 缓存未命中率上的数学等价性。
• 解决长期以来关于这两个广泛使用的 LRU 未命中率公式是否在数学上完全相同的开放性问题。
• 将等价性扩展至一般概率律下的优惠券收集问题中部分收集的期望时间。
• 使用新推导出的关于子集排列的组合恒等式，提供严格的代数证明。
• 将两种截然不同的方法——组合求和与积分表示——统一为一个连贯的数学框架，适用于缓存与收集问题。

提出的方法

• 引入记号 I_J 以表示对大小为 j 的子集 J 的所有排列上概率的归一化乘积。
• 利用一个关键的组合恒等式（引理 1），将 ∫₀¹ (1 - x^{p_i}) dx 的积分等价于对 I_J 的排列求和。
• 使用 I_J 记号重写 King 公式与 Flajolet 积分公式，以实现直接比较。
• 应用变量代换与系数提取技术，将 Flajolet 积分化为子集上的求和。
• 通过证明两个公式均简化为对大小为 j 的子集 J 的双重求和，从而建立等价性。
• 通过将相同的 I_J 框架应用于优惠券收集问题，将证明扩展至部分收集的期望时间。

实验结果

研究问题

• RQ1 King 于 1971 年提出的组合公式与 Flajolet 等人于 1992 年提出的积分公式在 LRU 未命中率上是否在数学上等价？
• RQ2 能否在一般非均匀流行度分布下，构建一个正式的代数证明，以确立这两个公式的恒等性？
• RQ3 是否适用于 LRU 未命中率公式的同一组合恒等式，也可用于优惠券收集问题中部分收集的期望时间？
• RQ4 该等价性是否可在不依赖渐近近似或均匀分布等特殊情况的前提下得到证明？
• RQ5 基于排列的归一化 I_J 在统一这些看似不同的公式表达中起到什么作用？

主要发现

• 本文证明了在任意一般非均匀流行度分布下，King 的组合公式与 Flajolet 等人的积分公式在 LRU 未命中率上具有代数等价性。
• 该等价性通过一个新颖的组合恒等式（引理 1）建立，该恒等式将 (1 - x^{p_i}) 的乘积积分与 I_J 的排列求和相联系。
• 在均匀分布下，两个公式均简化为众所周知的结果：未命中率 = 1 - j/m，确认了一致性。
• 该框架可扩展至优惠券收集问题，证明了 Flajolet 等人的对称函数公式与 Ferrante 等人的条件概率公式在部分收集期望时间上的等价性。
• 证明表明，收集 j 个（共 m 个）优惠券的期望时间等于所有大小为 j 的子集 J 的 I_J 之和，从而提供了一个统一的表达式。
• 该结果通过正式确认两个 LRU 未命中率公式通过不同数学路径计算同一数量，解决了文献中长期存在的模糊性。