Go内存逃逸分析

Go的内存逃逸及逃逸分析

Go的内存逃逸

分析内存逃逸之前要搞清楚一件事 我们编写的程序中的函数和局部变量是存放在栈上的(补充一点堆上存储的数据的指针 是存放在栈上的 因为指针的大小是可以提前预知的 还有就是Go的基本类型也是存放在栈内的), 而其余的变量是存在堆上的, 栈是由操作系统层面控制 进行内存空间的释放 , 堆默认是程序控制的 像c c++ 是需要标明释放内存空间的位置 , 栈的运行速度远大于堆 . 拥有GC的高级语言回收的便是堆中的内容

• Go编译器查看内存逃逸的结果 go build -gcflags=-m xxx.go
• 发生内存逃逸的场景

1. 函数返回局部变量是一个指针变量

#
type User struct {
  	Name string
}

func name(s string) *User {
	u := new(User)  # 这个变量的类型是 *User 指针变量
	u.Name = s

	return u
}

func main() {

	user := name("kuQi")
	fmt.Println(user)
}

# command-line-arguments
./main.go:9:6: can inline name
./main.go:18:14: inlining call to name
./main.go:19:13: inlining call to fmt.Println
./main.go:9:11: leaking param: s
./main.go:10:10: new(User) escapes to heap  // 造成逃逸
./main.go:18:14: new(User) escapes to heap  // 造成逃逸
./main.go:19:13: []interface {}{...} does not escape
<autogenerated>:1: leaking param content: .this

2.interface的动态类型造成的内存逃逸

// fmt.Println 接受的参数就是interface动态类型 编译器很难确定接收变量的类型 所有会将123这个变量逃逸到堆

func main() {

	fmt.Println(123)
}

# command-line-arguments
./main.go:16:6: can inline main
./main.go:20:13: inlining call to fmt.Println
./main.go:20:14: 123 escapes to heap
./main.go:20:13: []interface {}{...} does not escape
<autogenerated>:1: leaking param content: .this

3.闭包函数产生的内存逃逸

// 因为函数也是一个指针类型 所以将匿名函数作为返回值时  也会产生内存逃逸 原理类似于 第一个 原因

func BiBao() func() string {

	return func() string {

		return "test"
	}

}

# command-line-arguments
./main.go:24:9: func literal escapes to heap:
./main.go:24:9:   flow: ~r0 = &{storage for func literal}:
./main.go:24:9:     from func literal (spill) at ./main.go:24:9
./main.go:24:9:     from return func literal (return) at ./main.go:24:2
./main.go:24:9: func literal escapes to heap

4.变量大小无法确定 或 栈空间不足 引发内存逃逸

ulimit -a    // ulimit -a 可以看到我们的栈空间是8192
-t: cpu time (seconds)              unlimited
-f: file size (blocks)              unlimited
-d: data seg size (kbytes)          unlimited
-s: stack size (kbytes)             8192
-c: core file size (blocks)         0
-v: address space (kbytes)          unlimited
-l: locked-in-memory size (kbytes)  unlimited
-u: processes                       2784
-n: file descriptors                2560

// 超大切片超出栈空间 引发的内存逃逸
package main

func main() {
	s := make([]int, 10000, 10000)  // 创建一个超大切片
	for index, _ := range s {
		s[index] = index
	}
}