眾所周知，Golang是一門自帶GC的編程語(yǔ)言贤姆。這意味著內(nèi)存的分配和管理絕大多數(shù)情況下不需要開發(fā)者去過多干涉沐飘。
在編譯程序優(yōu)化理論中，逃逸分析是一種確定指針動(dòng)態(tài)范圍的方法——分析在程序的哪些地方可以訪問到指針桩皿。它涉及到指針分析和形狀分析。
當(dāng)一個(gè)變量(或?qū)ο?在子程序中被分配時(shí)幢炸，一個(gè)指向變量的指針可能逃逸到其它執(zhí)行線程中泄隔，或是返回到調(diào)用者子程序。如果使用尾遞歸優(yōu)化（通常在函數(shù)編程語(yǔ)言中是需要的）宛徊，對(duì)象也可以看作逃逸到被調(diào)用的子程序中佛嬉。如果一種語(yǔ)言支持第一類型的延續(xù)性在Scheme和Standard ML of New Jersey中同樣如此），部分調(diào)用棧也可能發(fā)生逃逸闸天。
如果一個(gè)子程序分配一個(gè)對(duì)象并返回一個(gè)該對(duì)象的指針暖呕，該對(duì)象可能在程序中被訪問到的地方無法確定——這樣指針就成功“逃逸”了。如果指針存儲(chǔ)在全局變量或者其它數(shù)據(jù)結(jié)構(gòu)中苞氮，因?yàn)槿肿兞渴强梢栽诋?dāng)前子程序之外訪問的湾揽，此時(shí)指針也發(fā)生了逃逸。
逃逸分析確定某個(gè)指針可以存儲(chǔ)的所有地方，以及確定能否保證指針的生命周期只在當(dāng)前進(jìn)程或線程中库物。引用自 維基百科
簡(jiǎn)單梳理一下霸旗，逃逸分析的討論范圍，主要是值的可達(dá)性戚揭，保證在需要的時(shí)候能夠獲取到相對(duì)應(yīng)的值定硝。在Golang的具體語(yǔ)境下，逃逸分析一般是討論編譯時(shí)決定值是存放在棧上毫目，還是逃逸到堆上蔬啡。
首先，明確一下堆棧的定義：
- 棧 棧是為每個(gè)具體函數(shù)分配的內(nèi)存片段镀虐，棧的生存周期等同于函數(shù)的生命周期箱蟆，函數(shù)執(zhí)行完棧空間會(huì)被回收
- 堆 堆是運(yùn)行時(shí)動(dòng)態(tài)使用的內(nèi)存塊刮便，堆的生存周期為整個(gè)程序的生命周期空猜，甚至更長(zhǎng)
那么編譯器究竟如何決定值的分配區(qū)域呢？簡(jiǎn)單一句話就是：需要在棧幀之間傳遞的恨旱，分配在堆上辈毯；大對(duì)象分配在堆上；盡在棧內(nèi)部使用的搜贤，分配在棧上谆沃。
下面通過幾個(gè)具體示例來簡(jiǎn)單說明，我們可以通過go的gcflags來把逃逸部分的信息打印出來：
go build -gcflags "-m -l" demo.go
示例1
package main
type People struct {
Name string
}
//go:noinline
func newPeople1() People {
return People{
Name: "test1",
}
}
//go:noinline
func newPeople2() *People {
return &People{
Name: "test2",
}
}
func main() {
p1 := newPeople1()
p2 := newPeople2()
_, _ = p1, p2
}
運(yùn)行結(jié)果：
# command-line-arguments
./demo.go:16:9: &People literal escapes to heap
# 這里運(yùn)行結(jié)果可以看出仪芒，只有newPeople2函數(shù)的返回值才逃逸到堆上唁影，這是因?yàn)閚ewPeople2函數(shù)返回的是指針，為了確保這個(gè)指針在newPeople2方法執(zhí)行完之后依舊可以訪問掂名，只能將它分配到堆上
示例2
...
// 其他部分代碼如*示例1*
func main() {
p1 := newPeople1()
p2 := newPeople2()
fmt.Println(p1, p2)
}
執(zhí)行結(jié)果：
# command-line-arguments
./demo.go:18:9: &People literal escapes to heap
# 這里同示例1的解釋
./demo.go:26:13: ... argument does not escape
./demo.go:26:13: p1 escapes to heap
# 因?yàn)樵赑rintln函數(shù)中需要p1的值据沈，所以p1也逃逸到了堆上
示例3
...
// 其他部分代碼如*示例1*
//go:noinline
func GetPeople1(p *People) *People {
p1 := p
return p1
}
//go:noinline
func GetPeople2(p *People) *People {
p1 := *p
return &p1
}
func main() {
p := People{Name: "test3"}
_ = GetPeople1(&p)
_ = GetPeople2(&p)
}
運(yùn)行結(jié)果：
# command-line-arguments
./demo.go:16:9: &People literal escapes to heap
./demo.go:22:17: leaking param: p to result ~r1 level=0
./demo.go:28:17: leaking param content: p
./demo.go:29:2: moved to heap: p1
# 因?yàn)镚etPeople2函數(shù)中返回值是棧內(nèi)數(shù)據(jù)(p1)的地址(&p1)，為了保證這個(gè)值能夠被安全訪問到饺蔑，所以p1逃逸到堆上锌介。
示例4
package main
type People struct {
Name *string
Age int32
}
func setPeople1(p People, name string) People {
p.Name = &name
return p
}
func setPeople2(p People, age int32) People {
p.Age = age
return p
}
func main() {
p := People{}
_ = setPeople1(p, "Mike")
_ = setPeople2(p, 25)
}
運(yùn)行結(jié)果：
# command-line-arguments
./demo.go:8:17: leaking param: p to result ~r2 level=0
./demo.go:8:27: moved to heap: name
# 在setPeople1函數(shù)中，返回值的Name字段的值指向一個(gè)棧內(nèi)的值(name)的地址猾警，所以逃逸到堆上
./demo.go:13:17: leaking param: p to result ~r2 level=0
示例5
package main
func sliceAppend(s []int64) []int64 {
for i := 0; i < 1000; i++ {
s = append(s, int64(i))
}
return s
}
func sliceSlice(s []int64) []int64 {
return s[1:]
}
func mapExtend(m map[int64]int64) map[int64]int64 {
for i := 0; i < 1000; i++ {
m[int64(i)] = int64(2 * i)
}
return m
}
func mapRemove(m map[int64]int64) map[int64]int64 {
for k, v := range m {
if k%2 == 0 || v%2 == 0 {
delete(m, k)
}
}
return m
}
func main() {
s := make([]int64, 32)
m := make(map[int64]int64)
s = sliceAppend(s)
s = sliceSlice(s)
m = mapExtend(m)
m = mapRemove(m)
}
運(yùn)行結(jié)果：
# command-line-arguments
./demo.go:3:18: leaking param: s to result ~r1 level=0
./demo.go:10:17: leaking param: s to result ~r1 level=0
./demo.go:14:16: leaking param: m to result ~r1 level=0
./demo.go:21:16: leaking param: m to result ~r1 level=0
./demo.go:31:11: make([]int64, 32) does not escape
./demo.go:32:11: make(map[int64]int64) does not escape
# 從結(jié)果來看孔祸，slice和map都是簡(jiǎn)單的值傳遞，不涉及任何逃逸行為
總結(jié)
逃逸分析對(duì)于我們實(shí)際編程有什么意義呢肿嘲？我們上面提到過融击，分配在棧上的空間會(huì)隨著函數(shù)執(zhí)行完而被回收，所以我們?nèi)粘Ｌ岬降腉C主要是指各種對(duì)于堆上內(nèi)存空間的追蹤和清理雳窟。理解逃逸分析有助于我們寫出GC友好的代碼（通過減少堆上內(nèi)存分配來減少內(nèi)存壓力），從另一個(gè)角度來看，如果代碼不分配在堆上封救，就意味著有可能會(huì)在多個(gè)棧中存在多個(gè)拷貝拇涤，額外空間占用和GC開銷之間需要作出權(quán)衡。
