Go的内存逃逸及逃逸分析
Go的内存逃逸
分析内存逃逸之前要搞清楚一件事 我们编写的程序中的函数和局部变量是存放在栈上的(补充一点堆上存储的数据的指针 是存放在栈上的 因为指针的大小是可以提前预知的 还有就是Go的基本类型也是存放在栈内的), 而其余的变量是存在堆上的, 栈是由操作系统层面控制 进行内存空间的释放 , 堆默认是程序控制的 像c c++ 是需要标明释放内存空间的位置 , 栈的运行速度远大于堆 . 拥有GC的高级语言回收的便是堆中的内容
- Go编译器查看内存逃逸的结果 go build -gcflags=-m xxx.go
- 发生内存逃逸的场景
- 函数返回局部变量是一个指针变量
#
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
: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
: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
}
}