日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

RELATEED CONSULTING
相關(guān)咨詢
選擇下列產(chǎn)品馬上在線溝通
服務(wù)時(shí)間：8:30-17:00
你可能遇到了下面的問題
關(guān)閉右側(cè)工具欄

新聞中心

這里有您想知道的互聯(lián)網(wǎng)營銷解決方案
Go中的內(nèi)聯(lián)優(yōu)化

本文討論 Go 編譯器是如何實(shí)現(xiàn)內(nèi)聯(lián)的，以及這種優(yōu)化方法如何影響你的 Go 代碼。

創(chuàng)新互聯(lián)主要從事網(wǎng)站設(shè)計(jì)制作、做網(wǎng)站、網(wǎng)頁設(shè)計(jì)、企業(yè)做網(wǎng)站、公司建網(wǎng)站等業(yè)務(wù)。立足成都服務(wù)常熟,十多年網(wǎng)站建設(shè)經(jīng)驗(yàn),價(jià)格優(yōu)惠、服務(wù)專業(yè),歡迎來電咨詢建站服務(wù):18980820575

請(qǐng)注意：本文重點(diǎn)討論 gc，這是來自 golang.org 的事實(shí)標(biāo)準(zhǔn)的 Go 編譯器。討論到的概念可以廣泛適用于其它 Go 編譯器，如 gccgo 和 llgo，但它們?cè)趯?shí)現(xiàn)方式和功效上可能有所差異。

內(nèi)聯(lián)是什么？

內(nèi)聯(lián)inlining就是把簡(jiǎn)短的函數(shù)在調(diào)用它的地方展開。在計(jì)算機(jī)發(fā)展歷程的早期，這個(gè)優(yōu)化是由程序員手動(dòng)實(shí)現(xiàn)的?，F(xiàn)在，內(nèi)聯(lián)已經(jīng)成為編譯過程中自動(dòng)實(shí)現(xiàn)的基本優(yōu)化過程的其中一步。

為什么內(nèi)聯(lián)很重要？

有兩個(gè)原因。第一個(gè)是它消除了函數(shù)調(diào)用本身的開銷。第二個(gè)是它使得編譯器能更高效地執(zhí)行其他的優(yōu)化策略。

函數(shù)調(diào)用的開銷

在任何語言中，調(diào)用一個(gè)函數(shù) 1 都會(huì)有消耗。把參數(shù)編組進(jìn)寄存器或放入棧中（取決于 ABI），在返回結(jié)果時(shí)的逆反過程都會(huì)有開銷。引入一次函數(shù)調(diào)用會(huì)導(dǎo)致程序計(jì)數(shù)器從指令流的一點(diǎn)跳到另一點(diǎn)，這可能導(dǎo)致管道滯后。函數(shù)內(nèi)部通常有前置處理preamble，需要為函數(shù)執(zhí)行準(zhǔn)備新的棧幀，還有與前置相似的后續(xù)處理epilogue，需要在返回給調(diào)用方之前釋放棧幀空間。

在 Go 中函數(shù)調(diào)用會(huì)消耗額外的資源來支持棧的動(dòng)態(tài)增長。在進(jìn)入函數(shù)時(shí)，goroutine 可用的棧空間與函數(shù)需要的空間大小進(jìn)行比較。如果可用空間不同，前置處理就會(huì)跳到運(yùn)行時(shí)runtime的邏輯中，通過把數(shù)據(jù)復(fù)制到一塊新的、更大的空間的來增長棧空間。當(dāng)這個(gè)復(fù)制完成后，運(yùn)行時(shí)就會(huì)跳回到原來的函數(shù)入口，再執(zhí)行棧空間檢查，現(xiàn)在通過了檢查，函數(shù)調(diào)用繼續(xù)執(zhí)行。這種方式下，goroutine 開始時(shí)可以申請(qǐng)很小的?？臻g，在有需要時(shí)再申請(qǐng)更大的空間。2

這個(gè)檢查消耗很小，只有幾個(gè)指令，而且由于 goroutine 的棧是成幾何級(jí)數(shù)增長的，因此這個(gè)檢查很少失敗。這樣，現(xiàn)代處理器的分支預(yù)測(cè)單元可以通過假定檢查肯定會(huì)成功來隱藏?？臻g檢查的消耗。當(dāng)處理器預(yù)測(cè)錯(cuò)了?？臻g檢查，不得不放棄它在推測(cè)性執(zhí)行所做的操作時(shí)，與為了增加 goroutine 的棧空間運(yùn)行時(shí)所需的操作消耗的資源相比，管道滯后的代價(jià)更小。

雖然現(xiàn)代處理器可以用預(yù)測(cè)性執(zhí)行技術(shù)優(yōu)化每次函數(shù)調(diào)用中的泛型和 Go 特定的元素的開銷，但那些開銷不能被完全消除，因此在每次函數(shù)調(diào)用執(zhí)行必要的工作過程中都會(huì)有性能消耗。一次函數(shù)調(diào)用本身的開銷是固定的，與更大的函數(shù)相比，調(diào)用小函數(shù)的代價(jià)更大，因?yàn)樵诿看握{(diào)用過程中它們做的有用的工作更少。

因此，消除這些開銷的方法必須是要消除函數(shù)調(diào)用本身，Go 的編譯器就是這么做的，在某些條件下通過用函數(shù)的內(nèi)容來替換函數(shù)調(diào)用來實(shí)現(xiàn)。這個(gè)過程被稱為內(nèi)聯(lián)，因?yàn)樗诤瘮?shù)調(diào)用處把函數(shù)體展開了。

改進(jìn)的優(yōu)化機(jī)會(huì)

Cliff Click 博士把內(nèi)聯(lián)描述為現(xiàn)代編譯器做的優(yōu)化措施，像常量傳播（LCTT 譯注：此處作者筆誤，原文為 constant proportion，修正為 constant propagation）和死代碼消除一樣，都是編譯器的基本優(yōu)化方法。實(shí)際上，內(nèi)聯(lián)可以讓編譯器看得更深，使編譯器可以觀察調(diào)用的特定函數(shù)的上下文內(nèi)容，可以看到能繼續(xù)簡(jiǎn)化或徹底消除的邏輯。由于可以遞歸地執(zhí)行內(nèi)聯(lián)，因此不僅可以在每個(gè)獨(dú)立的函數(shù)上下文處進(jìn)行這種優(yōu)化決策，也可以在整個(gè)函數(shù)調(diào)用鏈中進(jìn)行。

實(shí)踐中的內(nèi)聯(lián)

下面這個(gè)例子可以演示內(nèi)聯(lián)的影響：

 
 
 
    
  
  
  
  1. package main
    2. 
  
  
  
  2.  
    3. 
  
  
  
  3. import "testing"
    4. 
  
  
  
  4.  
    5. 
  
  
  
  5. //go:noinline
    6. 
  
  
  
  6. func max(a, b int) int {
    7. 
  
  
  
  7.  if a > b {
    8. 
  
  
  
  8.  return a
    9. 
  
  
  
  9.  }
    10. 
  
  
  
  10.  return b
    11. 
  
  
  
  11. }
    12. 
  
  
  
  12.  
    13. 
  
  
  
  13. var Result int
    14. 
  
  
  
  14.  
    15. 
  
  
  
  15. func BenchmarkMax(b *testing.B) {
    16. 
  
  
  
  16.  var r int
    17. 
  
  
  
  17.  for i := 0; i < b.N; i++ {
    18. 
  
  
  
  18.  r = max(-1, i)
    19. 
  
  
  
  19.  }
    20. 
  
  
  
  20.  Result = r
    21. 
  
  
  
  21. }
    22.

運(yùn)行這個(gè)基準(zhǔn)，會(huì)得到如下結(jié)果：3

 
 
 
    
  
  
  
  1. % go test -bench=. 
    2. 
  
  
  
  2. BenchmarkMax-4 530687617 2.24 ns/op
    3.

在我的 2015 MacBook Air 上 max(-1, i) 的耗時(shí)約為 2.24 納秒?，F(xiàn)在去掉 //go:noinline 編譯指令，再看下結(jié)果：

 
 
 
    
  
  
  
  1. % go test -bench=. 
    2. 
  
  
  
  2. BenchmarkMax-4 1000000000 0.514 ns/op
    3.

從 2.24 納秒降到了 0.51 納秒，或者從 benchstat 的結(jié)果可以看出，有 78% 的提升。

 
 
 
    
  
  
  
  1. % benchstat {old,new}.txt
    2. 
  
  
  
  2. name old time/op new time/op delta
    3. 
  
  
  
  3. Max-4 2.21ns ± 1% 0.49ns ± 6% -77.96% (p=0.000 n=18+19)
    4.

這個(gè)提升是從哪兒來的呢？

首先，移除掉函數(shù)調(diào)用以及與之關(guān)聯(lián)的前置處理 4 是主要因素。把 max 函數(shù)的函數(shù)體在調(diào)用處展開，減少了處理器執(zhí)行的指令數(shù)量并且消除了一些分支。

現(xiàn)在由于編譯器優(yōu)化了 BenchmarkMax，因此它可以看到 max 函數(shù)的內(nèi)容，進(jìn)而可以做更多的提升。當(dāng) max 被內(nèi)聯(lián)后，BenchmarkMax 呈現(xiàn)給編譯器的樣子，看起來是這樣的：

 
 
 
    
  
  
  
  1. func BenchmarkMax(b *testing.B) {
    2. 
  
  
  
  2.  var r int
    3. 
  
  
  
  3.  for i := 0; i < b.N; i++ {
    4. 
  
  
  
  4.  if -1 > i {
    5. 
  
  
  
  5.  r = -1
    6. 
  
  
  
  6.  } else {
    7. 
  
  
  
  7.  r = i
    8. 
  
  
  
  8.  }
    9. 
  
  
  
  9.  }
    10. 
  
  
  
  10.  Result = r
    11. 
  
  
  
  11. }
    12.

再運(yùn)行一次基準(zhǔn)，我們看一下手動(dòng)內(nèi)聯(lián)的版本和編譯器內(nèi)聯(lián)的版本的表現(xiàn)：

 
 
 
    
  
  
  
  1. % benchstat {old,new}.txt
    2. 
  
  
  
  2. name old time/op new time/op delta
    3. 
  
  
  
  3. Max-4 2.21ns ± 1% 0.48ns ± 3% -78.14% (p=0.000 n=18+18)
    4.

現(xiàn)在編譯器能看到在 BenchmarkMax 里內(nèi)聯(lián) max 的結(jié)果，可以執(zhí)行以前不能執(zhí)行的優(yōu)化措施。例如，編譯器注意到 i 初始值為 0，僅做自增操作，因此所有與 i 的比較都可以假定 i 不是負(fù)值。這樣條件表達(dá)式 -1 > i 永遠(yuǎn)不是 true。5

證明了 -1 > i 永遠(yuǎn)不為 true 后，編譯器可以把代碼簡(jiǎn)化為：

 
 
 
    
  
  
  
  1. func BenchmarkMax(b *testing.B) {
    2. 
  
  
  
  2.  var r int
    3. 
  
  
  
  3.  for i := 0; i < b.N; i++ {
    4. 
  
  
  
  4.  if false {
    5. 
  
  
  
  5.  r = -1
    6. 
  
  
  
  6.  } else {
    7. 
  
  
  
  7.  r = i
    8. 
  
  
  
  8.  }
    9. 
  
  
  
  9.  }
    10. 
  
  
  
  10.  Result = r
    11. 
  
  
  
  11. }
    12.

并且因?yàn)榉种Ю锸莻€(gè)常量，編譯器可以通過下面的方式移除不會(huì)走到的分支：

 
 
 
    
  
  
  
  1. func BenchmarkMax(b *testing.B) {
    2. 
  
  
  
  2.  var r int
    3. 
  
  
  
  3.  for i := 0; i < b.N; i++ {
    4. 
  
  
  
  4.  r = i
    5. 
  
  
  
  5.  }
    6. 
  
  
  
  6.  Result = r
    7. 
  
  
  
  7. }
    8.

這樣，通過內(nèi)聯(lián)和由內(nèi)聯(lián)解鎖的優(yōu)化過程，編譯器把表達(dá)式 r = max(-1, i)) 簡(jiǎn)化為 r = i。

內(nèi)聯(lián)的限制

本文中我論述的內(nèi)聯(lián)稱作葉子內(nèi)聯(lián)leaf inlining：把函數(shù)調(diào)用棧中最底層的函數(shù)在調(diào)用它的函數(shù)處展開的行為。內(nèi)聯(lián)是個(gè)遞歸的過程，當(dāng)把函數(shù)內(nèi)聯(lián)到調(diào)用它的函數(shù) A 處后，編譯器會(huì)把內(nèi)聯(lián)后的結(jié)果代碼再內(nèi)聯(lián)到 A 的調(diào)用方，這樣持續(xù)內(nèi)聯(lián)下去。例如，下面的代碼：

 
 
 
    
  
  
  
  1. func BenchmarkMaxMaxMax(b *testing.B) {
    2. 
  
  
  
  2.  var r int
    3. 
  
  
  
  3.  for i := 0; i < b.N; i++ {
    4. 
  
  
  
  4.  r = max(max(-1, i), max(0, i))
    5. 
  
  
  
  5.  }
    6. 
  
  
  
  6.  Result = r
    7. 
  
  
  
  7. }
    8.

與之前的例子中的代碼運(yùn)行速度一樣快，因?yàn)榫幾g器可以對(duì)上面的代碼重復(fù)地進(jìn)行內(nèi)聯(lián)，也把代碼簡(jiǎn)化到 r = i 表達(dá)式。

下一篇文章中，我會(huì)論述當(dāng) Go 編譯器想要內(nèi)聯(lián)函數(shù)調(diào)用棧中間的某個(gè)函數(shù)時(shí)選用的另一種內(nèi)聯(lián)策略。最后我會(huì)論述編譯器為了內(nèi)聯(lián)代碼準(zhǔn)備好要達(dá)到的極限，這個(gè)極限 Go 現(xiàn)在的能力還達(dá)不到。 


網(wǎng)頁標(biāo)題：Go中的內(nèi)聯(lián)優(yōu)化
瀏覽地址：http://www.5511xx.com/article/djoidgg.html