程序的局部性原理

存储器层次结构

存储器层次结构

存储器层次结构的中心思想是,对于每个 k,位于 k 层的更快更小的存储设备作为位于 k + 1 层的更大更慢的存储设备的缓存。

局部性

  • 时间局部性:
    同一数据对象可能被多次使用。一旦一个数据对象在第一次不命中时被复制到缓存中,我们就会期望后面对目标有一系列的访问命中。因为缓存比低一层的存储设备更快,对后面的命中的服务会比最开始的不命中的快很多。

  • 空间局部性:
    块通常包含多个数据对象。我们会期望后面对该块中其他对象的访问能补偿不命中后复制该块的花费。

应用

  1. 将注意力集中在内循环上,大部分计算和内存访问都发生在这里。

  2. 一旦从存储器中读入了一个数据对象,就尽可能多使用它,从而使得程序中的时间局部性最大。

  3. 通过按照数据对象存储在内存中的顺序、以步长为 1 来读数据,可使空间局部性最大。

考虑函数sumvec :

int sumvec(int v[N]) {
  int i, sum = 0;
  for (i = 0; i < N; i ++)
    sum += v[i];
  return sum;
}

首先,对于局部变量 i 和 sum,循环体有良好的时间局部性。因为它们都是局部变量,合理的优化编译器都会把他们缓存在寄存器文件中。现在考虑一下对向量 v 的步长为 1 的引用。一般来说,如果一个高速缓存块大小为 B 字节,那么一个步长为 k 的引用模式(k 以字为单位)平均每次循环会有 min(1, (wordsize * k) / B) 次缓存不命中。当 k = 1 时,它取最小值,所以对 v 的步长为 1 的引用确实是高速缓存友好的。假设 v 是块对齐的,字为 4 个字节,高速缓存块为 4 个字,而高速缓存初始为空(冷缓存)。然后,无论是什么样的高速缓存结构,对 v 的引用都会得到下面的命中和不命中模式:



在这里,对 v[0] 的引用会不命中,而相应的包含 v[0] ~ v[3] 的块会被从内存加载到高速缓存中。因此,接下来的三个引用都会命中。依次类推,每四个引用中,三个会命中,在这种冷缓存的情况下,这是能做到的最好情况。

总之,上面的示例说明了两个关于编写高速缓存友好代码的重要问题:

  • 对局部变量的反复引用是最好的,因为编译器能将它们缓存在寄存器文件中(时间局部性)

  • 步长为 1 的引用模式是最好的,因为存储器层次结构中所有层次上的缓存都是将数据存储为连续的块(空间局部性)

在对多维数组进行操作的程序中,空间局部性尤其重要。

int sumarrayrows(int a[M][N]) {
  int i, j, sum = 0;
  for (i = 0; i < M; i ++)
    for (j = 0; j < N; j ++)
        sum += a[i][j];
  return sum;
}

假设对这个高速缓存做与对 sumvec 一样的假设。那么对数组 a 的引用会得到下面的命中和不命中模式:



如果交换循环的次序:

int sumarraycols(int a[M][N]) {
  int i, j, sum = 0;
  for (j = 0; j < N; j ++)
    for (i = 0; i < M; i ++)
        sum += a[i][j];
  return sum;
}

将会得到下面的命中和不命中模式:



较高的不命中率对运行时间可以有显著的影响。例如在桌面机器上,sumarrayrows 运行速度比 sumarraycols 快 25 倍。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 217,826评论 6 506
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,968评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,234评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,562评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,611评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,482评论 1 302
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,271评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,166评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,608评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,814评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,926评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,644评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,249评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,866评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,991评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,063评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,871评论 2 354

推荐阅读更多精彩内容