快捷導(dǎo)航

一文搞懂Golang中的內(nèi)存逃逸

更新時間：2023年12月18日 08:36:54 作者：路多辛

內(nèi)存逃逸是 Go 語言中一個重要的概念,涉及到程序的性能優(yōu)化和內(nèi)存管理,了解內(nèi)存逃逸可以幫助我們編寫更高效的代碼,本文將從基本概念入手,深入講解 Go 語言中的內(nèi)存逃逸現(xiàn)象,以及如何避免,需要的朋友可以參考下

什么是內(nèi)存逃逸

在Go語言中，內(nèi)存分配有兩種方式：棧分配和堆分配。棧分配是在函數(shù)調(diào)用時為局部變量分配內(nèi)存，當(dāng)函數(shù)返回時，這些內(nèi)存會自動釋放。而堆分配則是通過 new 或者 make 函數(shù)動態(tài)分配內(nèi)存，需要手動進行釋放。

內(nèi)存逃逸是指原本應(yīng)該在棧上分配的內(nèi)存被分配到了堆上。這意味著即使函數(shù)返回后，這部分內(nèi)存也不會被自動釋放，需要等待垃圾回收器來回收。

內(nèi)存逃逸的影響

如果頻繁發(fā)生內(nèi)存逃逸，會導(dǎo)致程序占用過多的內(nèi)存資源，影響程序的性能和穩(wěn)定性。主要體現(xiàn)在以下幾個方面：

內(nèi)存占用增加：由于堆分配的內(nèi)存不會自動釋放，所以會導(dǎo)致程序占用的內(nèi)存資源不斷增加，特別是在長時間運行的程序中，可能會導(dǎo)致系統(tǒng)資源耗盡。
性能下降：相比于棧分配，堆分配需要更多的 CPU 和內(nèi)存資源，因此會導(dǎo)致程序的運行速度變慢。
程序不穩(wěn)定：如果程序中存在大量的內(nèi)存逃逸，可能會導(dǎo)致垃圾回收器頻繁工作，從而影響程序的穩(wěn)定性。

內(nèi)存逃逸的原因

內(nèi)存逃逸的主要原因是在函數(shù)返回后，局部變量仍然被外部引用。以下是一些可能導(dǎo)致內(nèi)存逃逸的情況：

變量的生命周期超出了其作用域，當(dāng)一個變量在函數(shù)外部被引用，比如被賦值給一個包級別的變量或者作為返回值，這個變量就會發(fā)生逃逸。
大對象的分配，對于大型的數(shù)據(jù)結(jié)構(gòu)，Go 有時會選擇在堆上分配內(nèi)存，即使它們沒有在函數(shù)外部被引用。
閉包引用，如果一個函數(shù)返回一個閉包，并且該閉包引用了函數(shù)的局部變量，那么這些變量也會逃逸到堆上。
接口動態(tài)分配，當(dāng)一個具體類型的變量被賦值給接口類型時，由于接口的動態(tài)特性，具體的值可能會發(fā)生逃逸。
切片和 map 操作，如果對切片進行操作可能導(dǎo)致其重新分配內(nèi)存，或者向 map 中插入數(shù)據(jù)，這些操作可能導(dǎo)致逃逸。

內(nèi)存逃逸的檢測

Go 提供了一個內(nèi)置的工具來檢測內(nèi)存逃逸，即 go build 命令的 “-gcflags '-m'” 選項。使用這個選項編譯程序，編譯器會輸出內(nèi)存逃逸的分析信息。

例如，可以使用以下命令來分析你的程序：

go build -gcflags '-m' main.go

編譯器會輸出關(guān)于哪些變量發(fā)生了逃逸的詳細信息。

另外可以通過 go tool pprof 來分析程序的內(nèi)存使用情況，通過結(jié)合使用r untime.MemProfile 和 pprof，可以檢測和分析內(nèi)存逃逸現(xiàn)象。

內(nèi)存逃逸的例子

通過一個簡單的例子來看看內(nèi)存逃逸是如何發(fā)生的：

package main
 
import "fmt"
 
type User struct {
	Name string
}
 
func main() {
	var user *User
	user = getUser()
	fmt.Println(user.Name)
}
 
func getUser() *User {
	u := User{Name: "Alice"}
	return &u
}

getUser 函數(shù)創(chuàng)建了一個 User 類型的局部變量 u，并返回了它的地址。由于 u 的引用在函數(shù)外部被使用（即在 `main` 函數(shù)中），所以會發(fā)生逃逸。編譯器會將 u 分配在堆上，而不是棧上。檢測結(jié)果如下：

./main.go:15:6: can inline getUser
./main.go:11:16: inlining call to getUser
./main.go:12:13: inlining call to fmt.Println
./main.go:12:13: ... argument does not escape
./main.go:12:18: user.Name escapes to heap
./main.go:16:2: moved to heap: u

如何避免內(nèi)存逃逸

避免內(nèi)存逃逸可以提高程序的性能，減少垃圾回收的壓力。以下是一些常見的優(yōu)化策略：

嚴(yán)格限制變量的作用域。如果一個變量只在函數(shù)內(nèi)部使用，就不要將其返回或賦值給外部變量。
使用值而不是指針，當(dāng)不必要的時候，盡量使用值傳遞而不是指針傳遞。
池化對象，對于頻繁創(chuàng)建和銷毀的對象，考慮使用對象池技術(shù)進行復(fù)用，減少在堆上分配和回收對象的次數(shù)。
盡量避免在循環(huán)或頻繁調(diào)用的函數(shù)中創(chuàng)建閉包，以減少外部變量的引用和堆分配，避免使用不必要的閉包，閉包可能會導(dǎo)致內(nèi)存逃逸。
優(yōu)化數(shù)據(jù)結(jié)構(gòu)，使用固定大小的數(shù)據(jù)結(jié)構(gòu)，避免使用動態(tài)大小的切片和 map。比如使用數(shù)組而不是切片，因為數(shù)組的大小在編譯時就已確定。
預(yù)分配切片和 map 的容量，如果知道切片或 map 的大小，預(yù)先分配足夠的容量可以避免在運行時重新分配內(nèi)存。