程序的局部性原理

存儲器層次結構

存儲器層次結構

存儲器層次結構的中心思想是,對于每個 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閱讀 229,963評論 6 542
  • 序言:濱河連續發生了三起死亡事件,死亡現場離奇詭異,居然都是意外死亡,警方通過查閱死者的電腦和手機,發現死者居然都...
    沈念sama閱讀 99,348評論 3 429
  • 文/潘曉璐 我一進店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來,“玉大人,你說我怎么就攤上這事。” “怎么了?”我有些...
    開封第一講書人閱讀 178,083評論 0 383
  • 文/不壞的土叔 我叫張陵,是天一觀的道長。 經常有香客問我,道長,這世上最難降的妖魔是什么? 我笑而不...
    開封第一講書人閱讀 63,706評論 1 317
  • 正文 為了忘掉前任,我火速辦了婚禮,結果婚禮上,老公的妹妹穿的比我還像新娘。我一直安慰自己,他們只是感情好,可當我...
    茶點故事閱讀 72,442評論 6 412
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發上,一...
    開封第一講書人閱讀 55,802評論 1 328
  • 那天,我揣著相機與錄音,去河邊找鬼。 笑死,一個胖子當著我的面吹牛,可吹牛的內容都是我干的。 我是一名探鬼主播,決...
    沈念sama閱讀 43,795評論 3 446
  • 文/蒼蘭香墨 我猛地睜開眼,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了?” 一聲冷哼從身側響起,我...
    開封第一講書人閱讀 42,983評論 0 290
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎,沒想到半個月后,有當地人在樹林里發現了一具尸體,經...
    沈念sama閱讀 49,542評論 1 335
  • 正文 獨居荒郊野嶺守林人離奇死亡,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內容為張勛視角 年9月15日...
    茶點故事閱讀 41,287評論 3 358
  • 正文 我和宋清朗相戀三年,在試婚紗的時候發現自己被綠了。 大學時的朋友給我發了我未婚夫和他白月光在一起吃飯的照片。...
    茶點故事閱讀 43,486評論 1 374
  • 序言:一個原本活蹦亂跳的男人離奇死亡,死狀恐怖,靈堂內的尸體忽然破棺而出,到底是詐尸還是另有隱情,我是刑警寧澤,帶...
    沈念sama閱讀 39,030評論 5 363
  • 正文 年R本政府宣布,位于F島的核電站,受9級特大地震影響,放射性物質發生泄漏。R本人自食惡果不足惜,卻給世界環境...
    茶點故事閱讀 44,710評論 3 348
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧,春花似錦、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 35,116評論 0 28
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至,卻和暖如春,著一層夾襖步出監牢的瞬間,已是汗流浹背。 一陣腳步聲響...
    開封第一講書人閱讀 36,412評論 1 294
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留,地道東北人。 一個月前我還...
    沈念sama閱讀 52,224評論 3 398
  • 正文 我出身青樓,卻偏偏與公主長得像,于是被迫代替她去往敵國和親。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 48,462評論 2 378

推薦閱讀更多精彩內容