Go 語(yǔ)言較之 C 語(yǔ)言一個(gè)很大的優(yōu)勢(shì)就是自帶 GC 功能，可 GC 并不是沒(méi)有代價(jià)的。寫(xiě) C 語(yǔ)言的時(shí)候，在一個(gè)函數(shù)內(nèi)聲明的變量，在函數(shù)退出后會(huì)自動(dòng)釋放掉，因?yàn)檫@些變量分配在棧上。如果你期望變量的數(shù)據(jù)可以在函數(shù)退出后仍然能被訪問(wèn)，就需要調(diào)用 malloc 方法在堆上申請(qǐng)內(nèi)存，如果程序不再需要這塊內(nèi)存了，再調(diào)用 free 方法釋放掉。Go 語(yǔ)言不需要你主動(dòng)調(diào)用 malloc 來(lái)分配堆空間，編譯器會(huì)自動(dòng)分析，找出需要 malloc 的變量，使用堆內(nèi)存。編譯器的這個(gè)分析過(guò)程就叫做逃逸分析。
創(chuàng)新互聯(lián)一直秉承“誠(chéng)信做人，踏實(shí)做事”的原則，不欺瞞客戶(hù)，是我們最起碼的底線！ 以服務(wù)為基礎(chǔ)，以質(zhì)量求生存，以技術(shù)求發(fā)展，成交一個(gè)客戶(hù)多一個(gè)朋友！為您提供成都網(wǎng)站設(shè)計(jì)、成都網(wǎng)站制作、成都網(wǎng)頁(yè)設(shè)計(jì)、小程序制作、成都網(wǎng)站開(kāi)發(fā)、成都網(wǎng)站制作、成都軟件開(kāi)發(fā)、app開(kāi)發(fā)定制是成都本地專(zhuān)業(yè)的網(wǎng)站建設(shè)和網(wǎng)站設(shè)計(jì)公司，等你一起來(lái)見(jiàn)證！
所以你在一個(gè)函數(shù)中通過(guò) dict := make(map[string]int) 創(chuàng)建一個(gè) map 變量，其背后的數(shù)據(jù)是放在?？臻g上還是堆空間上，是不一定的。這要看編譯器分析的結(jié)果。
可逃逸分析并不是百分百準(zhǔn)確的，它有缺陷。有的時(shí)候你會(huì)發(fā)現(xiàn)有些變量其實(shí)在棧空間上分配完全沒(méi)問(wèn)題的，但編譯后程序還是把這些數(shù)據(jù)放在了堆上。如果你了解 Go 語(yǔ)言編譯器逃逸分析的機(jī)制，在寫(xiě)代碼的時(shí)候就可以有意識(shí)地繞開(kāi)這些缺陷，使你的程序更高效。
Go 語(yǔ)言雖然在內(nèi)存管理方面降低了編程門(mén)檻，即使你不了解堆棧也能正常開(kāi)發(fā)，但如果你要在性能上較真的話(huà)，還是要掌握這些基礎(chǔ)知識(shí)。
這里不對(duì)堆內(nèi)存和棧內(nèi)存的區(qū)別做太多闡述。簡(jiǎn)單來(lái)說(shuō)就是， 棧分配廉價(jià)，堆分配昂貴。 棧空間會(huì)隨著一個(gè)函數(shù)的結(jié)束自動(dòng)釋放，堆空間需要時(shí)間 GC 模塊不斷地跟蹤掃描回收。如果對(duì)這兩個(gè)概念有些迷糊，建議閱讀下面 2 個(gè)文章：
這里舉一個(gè)小例子，來(lái)對(duì)比下堆棧的差別：
stack 函數(shù)中的變量 i 在函數(shù)退出會(huì)自動(dòng)釋放；而 heap 函數(shù)返回的是對(duì)變量 i 的引用，也就是說(shuō) heap() 退出后，表示變量 i 還要能被訪問(wèn)，它會(huì)自動(dòng)被分配到堆空間上。
他們編譯出來(lái)的代碼如下：
邏輯的復(fù)雜度不言而喻，從上面的匯編中可看到， heap() 函數(shù)調(diào)用了 runtime.newobject() 方法，它會(huì)調(diào)用 mallocgc 方法從 mcache 上申請(qǐng)內(nèi)存，申請(qǐng)的內(nèi)部邏輯前面文章已經(jīng)講述過(guò)。堆內(nèi)存分配不僅分配上邏輯比?？臻g分配復(fù)雜，它最致命的是會(huì)帶來(lái)很大的管理成本，Go 語(yǔ)言要消耗很多的計(jì)算資源對(duì)其進(jìn)行標(biāo)記回收（也就是 GC 成本）。
Go 編輯器會(huì)自動(dòng)幫我們找出需要進(jìn)行動(dòng)態(tài)分配的變量，它是在編譯時(shí)追蹤一個(gè)變量的生命周期，如果能確認(rèn)一個(gè)數(shù)據(jù)只在函數(shù)空間內(nèi)訪問(wèn)，不會(huì)被外部使用，則使用?？臻g，否則就要使用堆空間。
我們?cè)? go build 編譯代碼時(shí)，可使用 -gcflags '-m' 參數(shù)來(lái)查看逃逸分析日志。
以上面的兩個(gè)函數(shù)為例，編譯的日志輸出是：
日志中的 i escapes to heap 表示該變量數(shù)據(jù)逃逸到了堆上。
需要使用堆空間，所以逃逸，這沒(méi)什么可爭(zhēng)議的。但編譯器有時(shí)會(huì)將 不需要 使用堆空間的變量，也逃逸掉。這里是容易出現(xiàn)性能問(wèn)題的大坑。網(wǎng)上有很多相關(guān)文章，列舉了一些導(dǎo)致逃逸情況，其實(shí)總結(jié)起來(lái)就一句話(huà)：
多級(jí)間接賦值容易導(dǎo)致逃逸 。
這里的多級(jí)間接指的是，對(duì)某個(gè)引用類(lèi)對(duì)象中的引用類(lèi)成員進(jìn)行賦值。Go 語(yǔ)言中的引用類(lèi)數(shù)據(jù)類(lèi)型有 func , interface , slice , map , chan , *Type(指針) 。
記住公式 Data.Field = Value ，如果 Data , Field 都是引用類(lèi)的數(shù)據(jù)類(lèi)型，則會(huì)導(dǎo)致 Value 逃逸。這里的等號(hào) = 不單單只賦值，也表示參數(shù)傳遞。
根據(jù)公式，我們假設(shè)一個(gè)變量 data 是以下幾種類(lèi)型，相應(yīng)的可以得出結(jié)論：
下面給出一些實(shí)際的例子：
如果變量值是一個(gè)函數(shù)，函數(shù)的參數(shù)又是引用類(lèi)型，則傳遞給它的參數(shù)都會(huì)逃逸。
上例中 te 的類(lèi)型是 func(*int) ，屬于引用類(lèi)型，參數(shù) *int 也是引用類(lèi)型，則調(diào)用 te(j) 形成了為 te 的參數(shù)(成員) *int 賦值的現(xiàn)象，即 te.i = j 會(huì)導(dǎo)致逃逸。代碼中其他幾種調(diào)用都沒(méi)有形成 多級(jí)間接賦值 情況。
同理，如果函數(shù)的參數(shù)類(lèi)型是 slice , map 或 interface{} 都會(huì)導(dǎo)致參數(shù)逃逸。
匿名函數(shù)的調(diào)用也是一樣的，它本質(zhì)上也是一個(gè)函數(shù)變量。有興趣的可以自己測(cè)試一下。
只要使用了 Interface 類(lèi)型(不是 interafce{} )，那么賦值給它的變量一定會(huì)逃逸。因?yàn)? interfaceVariable.Method() 先是間接的定位到它的實(shí)際值，再調(diào)用實(shí)際值的同名方法，執(zhí)行時(shí)實(shí)際值作為參數(shù)傳遞給方法。相當(dāng)于 interfaceVariable.Method.this = realValue
向 channel 中發(fā)送數(shù)據(jù)，本質(zhì)上就是為 channel 內(nèi)部的成員賦值，就像給一個(gè) slice 中的某一項(xiàng)賦值一樣。所以 chan *Type , chan map[Type]Type , chan []Type , chan interface{} 類(lèi)型都會(huì)導(dǎo)致發(fā)送到 channel 中的數(shù)據(jù)逃逸。
這本來(lái)也是情理之中的，發(fā)送給 channel 的數(shù)據(jù)是要與其他函數(shù)分享的，為了保證發(fā)送過(guò)去的指針依然可用，只能使用堆分配。
可變參數(shù)如 func(arg ...string) 實(shí)際與 func(arg []string) 是一樣的，會(huì)增加一層訪問(wèn)路徑。這也是 fmt.Sprintf 總是會(huì)使參數(shù)逃逸的原因。
例子非常多，這里不能一一列舉，我們只需要記住分析方法就好，即，2 級(jí)或更多級(jí)的訪問(wèn)賦值會(huì) 容易 導(dǎo)致數(shù)據(jù)逃逸。這里加上 容易 二字是因?yàn)殡S著語(yǔ)言的發(fā)展，相信這些問(wèn)題會(huì)被慢慢解決，但現(xiàn)階段，這個(gè)可以作為我們分析逃逸現(xiàn)象的依據(jù)。
下面代碼中包含 2 種很常規(guī)的寫(xiě)法，但他們卻有著很大的性能差距，建議自己想下為什么。
Benchmark 和 pprof 給出的結(jié)果:
熟悉堆棧概念可以讓我們更容易看透 Go 程序的性能問(wèn)題，并進(jìn)行優(yōu)化。
多級(jí)間接賦值會(huì)導(dǎo)致 Go 編譯器出現(xiàn)不必要的逃逸，在一些情況下可能我們只需要修改一下數(shù)據(jù)結(jié)構(gòu)就會(huì)使性能有大幅提升。這也是很多人不推薦在 Go 中使用指針的原因，因?yàn)樗鼤?huì)增加一級(jí)訪問(wèn)路徑，而 map , slice , interface{} 等類(lèi)型是不可避免要用到的，為了減少不必要的逃逸，只能拿指針開(kāi)刀了。
大多數(shù)情況下，性能優(yōu)化都會(huì)為程序帶來(lái)一定的復(fù)雜度。建議實(shí)際項(xiàng)目中還是怎么方便怎么寫(xiě)，功能完成后通過(guò)性能分析找到瓶頸所在，再對(duì)局部進(jìn)行優(yōu)化。
摘要： 一、前言 go語(yǔ)言類(lèi)似Java JUC包也提供了一些列用于多線程之間進(jìn)行同步的措施，比如低級(jí)的同步措施有 鎖、CAS、原子變量操作類(lèi)。相比Java來(lái)說(shuō)go提供了獨(dú)特的基于通道的同步措施。本節(jié)我們先來(lái)看看go中CAS操作 二、CAS操作 go中的Cas操作與java中類(lèi)似，都是借用了CPU提供的原子性指令來(lái)實(shí)現(xiàn)。
go語(yǔ)言類(lèi)似Java JUC包也提供了一些列用于多線程之間進(jìn)行同步的措施，比如低級(jí)的同步措施有 鎖、CAS、原子變量操作類(lèi)。相比Java來(lái)說(shuō)go提供了獨(dú)特的基于通道的同步措施。本節(jié)我們先來(lái)看看go中CAS操作
go中的Cas操作與java中類(lèi)似，都是借用了CPU提供的原子性指令來(lái)實(shí)現(xiàn)。CAS操作修改共享變量時(shí)候不需要對(duì)共享變量加鎖，而是通過(guò)類(lèi)似樂(lè)觀鎖的方式進(jìn)行檢查，本質(zhì)還是不斷的占用CPU 資源換取加鎖帶來(lái)的開(kāi)銷(xiāo)（比如上下文切換開(kāi)銷(xiāo)）。下面一個(gè)例子使用CAS來(lái)實(shí)現(xiàn)計(jì)數(shù)器
go中CAS操作具有原子性，在解決多線程操作共享變量安全上可以有效的減少使用鎖所帶來(lái)的開(kāi)銷(xiāo)，但是這是使用cpu資源做交換的。
我簡(jiǎn)單列舉了并發(fā)編程的大綱，需要詳細(xì)的私信“555”~~
《Go語(yǔ)言學(xué)習(xí)筆記》（雨痕）電子書(shū)網(wǎng)盤(pán)下載免費(fèi)在線閱讀
鏈接：
提取碼：rta5
書(shū)名：Go語(yǔ)言學(xué)習(xí)筆記
作者：雨痕
豆瓣評(píng)分：8.1
出版社：電子工業(yè)出版社
出版年份：2016-6
頁(yè)數(shù)：468
內(nèi)容簡(jiǎn)介：
作為時(shí)下流行的一種系統(tǒng)編程語(yǔ)言，Go 簡(jiǎn)單易學(xué)，性能很好，且支持各類(lèi)主流平臺(tái)。已有大量項(xiàng)目采用 Go 編寫(xiě)，這其中就包括 Docker 等明星作品，其開(kāi)發(fā)和執(zhí)行效率早已被證明。本書(shū)經(jīng)四年多逐步完善，內(nèi)容覆蓋了語(yǔ)言、運(yùn)行時(shí)、性能優(yōu)化、工具鏈等各層面知識(shí)。且內(nèi)容經(jīng)大量讀者反饋和校對(duì)，沒(méi)有明顯的缺陷和錯(cuò)誤。上卷細(xì)致解析了語(yǔ)言規(guī)范相關(guān)細(xì)節(jié)，便于讀者深入理解語(yǔ)言相關(guān)功能的使用方法和注意事項(xiàng)。下卷則對(duì)運(yùn)行時(shí)源碼做出深度剖析，引導(dǎo)讀者透徹了解語(yǔ)言功能背后的支持環(huán)境和運(yùn)行體系，諸如內(nèi)存分配、垃圾回收和并發(fā)調(diào)度等。本書(shū)不適合編程初學(xué)入門(mén)，可供有實(shí)際編程經(jīng)驗(yàn)或正在使用Go 工作的人群參考。
作者簡(jiǎn)介：
自 1996 年從事計(jì)算機(jī)軟件開(kāi)發(fā)工作以來(lái)，已 20 春秋。期間供職于北大方正、西單電子商務(wù)、九城數(shù)碼、知乎等公司。主要從事核心開(kāi)發(fā)、架構(gòu)設(shè)計(jì)，以及部分管理工作。
重慶分公司
重慶分公司
