6.2 局部性
程序的局部性:倾向于引用邻近于其他最近引用过的数据项的数据项,或者引用最近引用过的数据项本身。
局部性的两种不同形式:时间局部性和空间局部性
时间局部性:被引用过一次的内存位置很可能在不远的将来再次被引用;
空间局部性: 如果一个内存位置被引用了, 那么程序可能在不久的将来引用附近的一个内存位置;
有良好局部性的程序运行得更快;
6.2.1 对程序数据引用的局部性
int sumvec(int v[N])
{
int i, sum = 0;
for(i = 0; i < N; i++)
sum += v[i];
return sum;
}
变量sum在每次循环中被引用一次,因此具有很好的实践局部性;sum是标量,因此没有空间局部性;
v是向量,每次循环中按照顺序访问向量中的元素,因此有很好的空间局部性;v中的元素只被访问一次,因此没有时间局部性;
像sumvec这样顺序访问一个向量中每个元素的函数,称为步长为1的引用模式,也叫做顺序引用模式;
一个连续向量中, 每隔k个元素进行访问,称为步长为k的引用模式。
步长为1的引用模式是程序中空间局部性常见和重要来源。随着步长增加, 空间局部性下降;
对于二维数组,使用下面代码,可以得到步长为1的引用;
int sumarrayrows(int a[M][N])
{
int i, j, sum = 0;
for(i = 0; i < M; i++)
for(j = 0; j < N