GO語言內(nèi)存逃逸和GC機(jī)制的實現(xiàn)
一、背景
Go語言雖然語法上類似C語言，但是也是一種“高級語言”，有一套內(nèi)存管理系統(tǒng)，不需要向C語言去動態(tài)malloc/free堆內(nèi)存，而是語言編譯時根據(jù)具體使用情況來決定使用棧還是使用堆，堆內(nèi)存也不需要程序員手動free內(nèi)存，后臺有一套gc機(jī)制，根據(jù)內(nèi)存對象的生命周期（引用關(guān)系）決定是否回收內(nèi)存。Go語言默認(rèn)使用棧內(nèi)存，在一些特定的情況會內(nèi)存逃逸使用堆內(nèi)存，本文會重點介紹內(nèi)存逃逸以及GC機(jī)制。
二、內(nèi)存逃逸
2.1 內(nèi)存逃逸情況
Go在如下情況會使用堆內(nèi)存，然后由GC完成內(nèi)存回收。
| 逃逸類型 | 產(chǎn)生原因 | 具體場景/示例 |
|---|---|---|
| 指針逃逸 | 函數(shù)返回了局部變量的指針，其生命周期需在函數(shù)外部延續(xù) | func f() *int { x := 10; return &x } |
| 接口類型逃逸 | 將值賦值給 interface{}類型，編譯期無法確定其動態(tài)類型 | fmt.Println(123)或 var i interface{} = "hello" |
| 閉包引用逃逸 | 閉包函數(shù)引用了外部變量，該變量的生命周期需與閉包一致 | func() func() int { n:=0; return func() int { n++; return n } }() |
| ?？臻g不足逃逸 | 變量過大，超過當(dāng)前棧幀的承載能力 | s := make([]int, 0, 100000) |
| 動態(tài)分配逃逸 | 切片或數(shù)組的長度在編譯期無法確定 | s := make([]int, n)（n為變量） |
| 發(fā)送指針到 channel | 指針被發(fā)送到 channel，其生命周期可能跨越 goroutine | ch <- &myStruct{} |
| 在集合中存儲指針 | 在 map 或 slice 等集合中存儲指針，且集合本身發(fā)生逃逸 | m["key"] = &value |
2.2 內(nèi)存逃逸分析
Go 編譯器在編譯階段會進(jìn)行逃逸分析，并提供了編譯選項可以查看分析結(jié)果。
查看逃逸信息：在構(gòu)建或運行 Go 代碼時，使用
-gcflags='-m'選項即可。為了獲得更詳細(xì)的信息，通常還會加上-l選項來禁止內(nèi)聯(lián)優(yōu)化：go build -gcflags='-m -l' main.go
命令執(zhí)行后，編譯器會輸出代碼的逃逸分析信息，如果看到某行代碼提示
escapes to heap或moved to heap，就表明該處的變量發(fā)生了內(nèi)存逃逸。
2.3 內(nèi)存逃逸優(yōu)化思路
內(nèi)存逃逸最直接的影響是性能。堆分配比棧分配慢，因為涉及更復(fù)雜的內(nèi)存管理。同時，堆上的對象需要垃圾回收器（GC）來管理，過多的逃逸會增加 GC 的壓力，可能導(dǎo)致程序出現(xiàn)延遲。雖然無法也必要完全避免內(nèi)存逃逸，但在編寫高性能代碼時，可以有所優(yōu)化：
- 值傳遞替代指針傳遞：對于小結(jié)構(gòu)體，有時直接返回值比返回指針更高效，可以避免逃逸。
- 預(yù)分配切片/映射：如果知道數(shù)據(jù)的大致規(guī)模，使用 make([]T, len, cap)預(yù)分配足夠的容量，比讓切片動態(tài)擴(kuò)容更好。
- 謹(jǐn)慎使用 interface{}：在性能敏感的路徑上，避免使用空接口，使用具體類型可以避免不必要的逃逸。
三、內(nèi)存分配器
Go的堆內(nèi)存分配器借鑒了TCMalloc的思想，采用多級緩存模式，這種設(shè)計通過本地緩存(mcache) 實現(xiàn)了絕大多數(shù)情況下無鎖的快速分配，并通過尺寸規(guī)格(size class) 精細(xì)化管理，有效減少了內(nèi)存碎片。
Go 將對象按大小分為三類：
- 微小對象（<16 字節(jié)）：使用微分配器（mcache.tiny）
- 小對象（16 字節(jié)-32KB）：使用固定大小的 span (mcache)
- 大對象（>32KB）：直接從堆分配
四、GC機(jī)制
GC機(jī)制可能會導(dǎo)致業(yè)務(wù)暫停，即Stop-The-World，那么Go語言是如何如何在保證內(nèi)存安全的同時，最大限度地減少垃圾回收對程序性能的影響？Go使用并發(fā)三色標(biāo)記清除算法，構(gòu)建一個低延遲、并發(fā)執(zhí)行、三色標(biāo)記的垃圾回收器，將 STW 時間從早期版本的幾百毫秒降低到亞毫秒級別。
4.1 垃圾回收(GC)時機(jī)
- 內(nèi)存分配觸發(fā)：當(dāng)堆內(nèi)存達(dá)到上次 GC 后的 2 倍時
- 定時觸發(fā)：默認(rèn) 2 分鐘強(qiáng)制觸發(fā)一次
- 手動觸發(fā)：調(diào)用
runtime.GC()
4.2 標(biāo)記階段
標(biāo)記階段會停止所有用戶 goroutine，啟動標(biāo)記 worker進(jìn)行掃描。首先會將所有對象視為白色，然后從根對象（如全局變量、Goroutine棧上的變量等）開始遍歷，其標(biāo)記過程可以概括為：
- 從根對象開始：從根對象開始，將它們直接引用的對象標(biāo)記為灰色，放入待處理隊列。
- 處理灰色對象：從隊列中取出一個灰色對象，將其標(biāo)記為黑色，然后檢查這個黑色對象引用的其他對象。將被黑色對象引用且仍是白色的對象標(biāo)記為灰色，加入隊列。
- 循環(huán)處理：重復(fù)步驟2，直到灰色對象隊列為空。此時，剩下的白色對象就是沒有任何根對象引用的垃圾，可以在清除階段被回收。
為了保證在標(biāo)記過程中，因用戶程序并發(fā)執(zhí)行導(dǎo)致對象引用關(guān)系變化時不會錯誤地回收仍被引用的對象，Go使用了寫屏障技術(shù)。詳細(xì)步驟如下：
階段1：標(biāo)記準(zhǔn)備(STW)
- 停止所有用戶 goroutine
- 啟動寫屏障
- 掃描棧和全局變量，將根對象標(biāo)記為灰色
- 啟動標(biāo)記 worker
階段 2：并發(fā)標(biāo)記
這是最耗時的階段，但與用戶程序并發(fā)執(zhí)行：
- 標(biāo)記 worker 并發(fā)處理灰色對象
- 用戶程序繼續(xù)執(zhí)行，寫屏障保證正確性
- 當(dāng)沒有更多灰色對象時，進(jìn)入標(biāo)記終止階段
階段 3：標(biāo)記終止（STW）
這是第二個 STW 階段，主要工作：
- 停止所有用戶 goroutine 和標(biāo)記 worker
- 完成最后的標(biāo)記工作
- 關(guān)閉寫屏障
- 計算下次 GC 的觸發(fā)條件
4.3 清除標(biāo)記（并發(fā)）
當(dāng)標(biāo)記階段完成后，清除階段會遍歷堆內(nèi)存，將標(biāo)記為白色的不可達(dá)對象所占用的內(nèi)存回收，以便后續(xù)分配使用。這個清除工作也是與用戶程序并發(fā)執(zhí)行的。
4.4 優(yōu)化實踐
- 減少不必要的堆分配
- 利用逃逸分析：使用 go build -gcflags="-m -l"命令可以查看變量的逃逸情況
- 預(yù)分配切片和Map：在使用make初始化切片或map時，如果能夠預(yù)估元素數(shù)量，就指定一個足夠的容量（cap）。這可以避免在添加元素時因擴(kuò)容而導(dǎo)致的多次內(nèi)存分配和數(shù)據(jù)拷貝。
- 重用對象以降低GC壓力
- 使用 sync.Pool：對于需要頻繁創(chuàng)建和銷毀的臨時對象（如緩沖區(qū)、解析用的臨時結(jié)構(gòu)體等），可以使用 sync.Pool來緩存這些對象。它可以顯著減少垃圾回收器需要處理的對象數(shù)量，從而降低GC開銷。但需要注意，sync.Pool中的對象可能被隨時回收，不適合用于保存有狀態(tài)的長效對象。
- 監(jiān)控與診斷
- 使用 runtime.ReadMemStats：這個函數(shù)可以獲取詳細(xì)的內(nèi)存統(tǒng)計信息，如堆內(nèi)存分配大小、垃圾回收次數(shù)、暫停時間等，幫助你對程序的內(nèi)存使用情況有宏觀了解。
- 使用 pprof性能剖析：Go內(nèi)置了強(qiáng)大的性能剖析工具。通過 net/http/pprof包可以輕松地通過HTTP服務(wù)暴露程序的性能數(shù)據(jù)，然后使用 go tool pprof命令進(jìn)行分析，能夠精準(zhǔn)定位到分配內(nèi)存最多的函數(shù)調(diào)用鏈，是診斷內(nèi)存泄漏和優(yōu)化熱點的利器。
4.5 GC 調(diào)優(yōu)參數(shù)
Go 提供了幾個重要的 GC 調(diào)優(yōu)參數(shù)，控制 GC 觸發(fā)的頻率，默認(rèn)值為 100：
# 設(shè)置GOGC為200，減少GC頻率但增加內(nèi)存使用 export GOGC=200 # 設(shè)置GOGC為50，增加GC頻率但減少內(nèi)存使用 export GOGC=50 # 禁用GC（僅用于測試） export GOGC=off
到此這篇關(guān)于GO語言內(nèi)存逃逸和GC機(jī)制的實現(xiàn)的文章就介紹到這了,更多相關(guān)GO語言內(nèi)存逃逸和GC機(jī)制內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！
相關(guān)文章
之前一直從事java開發(fā),習(xí)慣了使用yaml文件的格式,尤其是清晰的層次結(jié)構(gòu)、注釋,下面這篇文章主要給大家介紹了關(guān)于Golang合并yaml文件的相關(guān)資料,文中通過實例代碼介紹的非常詳細(xì),需要的朋友可以參考下2023-01-01
Golang項目搭配nginx部署反向代理負(fù)載均衡講解
這篇文章主要為大家介紹了Golang項目搭配nginx部署正反向代理負(fù)載均衡講解，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步早日升職加薪2022-04-04
Go string 字符串處理與格式化詳解從底層原理到工程實踐
這篇文章給大家介紹Go string字符串處理與格式化詳解從底層原理到工程實踐,本文結(jié)合實例代碼給大家介紹的非常詳細(xì),對大家的學(xué)習(xí)或工作具有一定的參考借鑒價值,需要的朋友參考下吧2026-05-05
這篇文章主要介紹了GO語言的map類型實例詳解,包括對map的創(chuàng)建,賦值,排序,刪除,等操作需要的朋友可以參考下2022-12-12
這篇文章主要為大家介紹了Go語言為什么不支持前綴自增運算符原理解析,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進(jìn)步,早日升職加薪2023-08-08
Go?基本數(shù)據(jù)類型與字符串相互轉(zhuǎn)換方法小結(jié)
這篇文章主要介紹了Go基本數(shù)據(jù)類型與字符串相互轉(zhuǎn)換，將string類型轉(zhuǎn)換成基本類型時，必須確保string類型是有效的，文中補(bǔ)充介紹了Go基本數(shù)據(jù)類型和其字符串表示之間轉(zhuǎn)換，結(jié)合實例代碼給大家講解的非常詳細(xì),需要的朋友可以參考下2024-01-01
Go的select用于多通道通信,實現(xiàn)多路復(fù)用,支持隨機(jī)選擇、超時控制及非阻塞操作,建議合理使用以避免協(xié)程泄漏和死循環(huán),感興趣的可以了解一下2025-08-08
golang/glog?是?C++?版本?google/glog?的?Go?版本實現(xiàn),基本實現(xiàn)了原生?glog?的日志格式,下面大家就跟隨小編一起了解一下glog的具體使用吧2023-09-09
這篇文章主要介紹了go中panic源碼解讀,本文給大家介紹的非常詳細(xì)，對大家的學(xué)習(xí)或工作具有一定的參考借鑒價值，需要的朋友可以參考下2021-04-04
這篇文章主要介紹了golang 切片截取參數(shù)方法詳解，文中通過示例代碼介紹的非常詳細(xì)，對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值，需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧2021-01-01