Golang 逃逸分析

以下摘自https://studygolang.com/articles/21788和https://zhuanlan.zhihu.com/p/91559562，仅做笔记使用。

1. 为什么要做逃逸分析

我们提到go语言中对象内存的分配不是由语言运算符或函数决定，而是通过逃逸分析来决定。为什么要这么干呢？其实说到底还是为了优化程序。

1. 如果分配到栈上，待函数返回资源就被回收了
2. 如果分配到堆上，函数返回后交给gc来管理该对象资源，栈资源的分配及回收速度比堆要快，所以逃逸分析最大的好处应该是减少了GC的压力。

逃逸分析是编译器在静态编译的时候，分析对象的生命周期及引用情况来决定对象内存分配到堆上还是栈上，由于栈内存分配较堆快且栈内存回收较快（无需gc），编译器以此来优化程序性能。

此外，是否传参时候，如果参数过大时候，是否是传递指针就好呢？传递非指针类型，会发生值拷贝，有效率问题。那么传递指针，显而易见是不需要值拷贝了，但是会发生变量逃逸到推上，从而增大内存，也增加GC的压力。

2. 如何做逃逸分析

使用go run -gcflags "-m -l" escape_analysis.go，或者是查看汇编代码中是否有newobject，有就表示在堆上分配。命令如下：go tool compile -S main.go | grep runtime.newobject。

2. 1 指针逃逸

在某个函数中new或字面量创建出的变量，将其指针作为函数返回值，则该变量一定发生逃逸。

func f1(i string) *string {
	s := "klg is "+i
	return &s
}

2.2 逃逸指针引用逃逸

被已经逃逸的变量引用的指针，一定发生逃逸。这里是fmt.Printf里，func newPrinter() *pp {…} pp指针逃逸了，所以传入的word被一个逃逸的指针引用了，必然逃逸。

s := "Escape"
fmt.Println(s)

func Fprintln(w io.Writer, a ...interface{}) (n int, err error) {
	p := newPrinter()
	p.doPrintln(a)
	n, err = w.Write(p.buf)
	p.free()
	return
}

// newPrinter allocates a new pp struct or grabs a cached one.
func newPrinter() *pp {
	p := ppFree.Get().(*pp)
	...
	p.fmt.init(&p.buf)
	return p
}
func (p *pp) printArg(arg interface{}, verb rune) {
	p.arg = arg
	p.value = reflect.Value{}
	...
}	

2.3 指针类型引用的指针

被指针类型的slice、map和chan引用的指针一定发生逃逸。备注：stack overflow上有人提问为什么使用指针的chan比使用值的chan慢30%，答案就在这里：使用指针的chan发生逃逸，gc拖慢了速度。

2.4 栈空间不足逃逸

当对象大小超过的栈帧大小时（详见go内存分配），变量对象发生逃逸被分配到堆上。

2.5 闭包引用逃逸

闭包也会造成逃逸，因为闭包会持有外部元素的引用。

2.6 动态类型逃逸

当对象不确定大小或者被作为不确定大小的参数时发生逃逸。

import "fmt"

func f1(i string) *string {
	s := "klg is "+i
	return &s
}

func main() {
	s1 := f1("handsome")
	s2 := f1("wealth")
	s3 := f1("tall")
	fmt.Println(*s1)
	caller(*s2)
	
	s := "Escape"
	fmt.Println(s)
}

func caller(args ...interface{}) {
	_ = args
}

func ffibonacci() func() int {
	a, b := 0, 1
	return func() int {
		a, b = b, a+b
		return a
	}
}