局域性的测量理论
摘要：局部性是程序和系统优化中广泛使用的基本原则。可以用多种方式来衡量局部性。本文将局部性的度量形式化为一种测量理论。新理论包括基于访问频率、重用时间、重用距离、工作集、足迹和缓存缺失率的局部性度量的精确定义。它给出了这些定义之间的形式关系以及等价性或非等价性的证明。它为操作系统、编程语言和计算机体系结构中的四个成功的局部性模型提供了理论上的证明，这些模型是经验性地发展起来的。
作者：Liang Yuan, Chen Ding, Peter Denning, Yunquan Zhang
论文ID：1802.01254
分类：Performance
分类简称：cs.PF
提交时间：2018-04-17