【学习笔记】Golang逃逸分析

栈和堆的区别

  • 栈是编译器进行分配和释放的,不需要进行垃圾回收,是很快的
  • 但是栈的空间是有限的,所以不可能都放在栈上,所以有些是会放在堆上。堆是由go分配和管理的,需要垃圾回收的。垃圾回收的时候会影响程序的性能。所以尽可能分配到栈上。

golang是怎么分配的?分配到栈还是堆上?

逃逸分析是什么

golang程序变量会携带有一组校验数据,用来证明它的整个生命周期是否在运行时完全可知。如果变量通过了这些校验,它就可以在栈上分配。否则就说它 逃逸了,必须在堆上分配。

为什么需要逃逸分析

因为go在编译的时候进行逃逸分析,来决定一个对象放栈上还是放堆上,不逃逸的对象放栈上,可能逃逸的放堆上。通过尽可能的放在栈上,当函数返回时就回收了资源,不需要gc标记清除,提升程序性能。

引起变量逃逸到堆上的典型场景?

  • 在方法内把局部变量指针返回 局部变量原本应该在栈中分配,在栈中回收。但是由于返回时被外部引用,因此其生命周期大于栈,则溢出。
  • 发送指针或带有指针的值到 channel 中。 在编译时,是没有办法知道哪个 goroutine 会在 channel 上接收数据。所以编译器没法知道变量什么时候才会被释放。
  • 在一个切片上存储指针或带指针的值。 一个典型的例子就是 []*string 。这会导致切片的内容逃逸。尽管其后面的数组可能是在栈上分配的,但其引用的值一定是在堆上。
  • slice 的背后数组被重新分配了,因为 append 时可能会超出其容量( cap )。 slice 初始化的地方在编译时是可以知道的,它最开始会在栈上分配。如果切片背后的存储要基于运行时的数据进行扩充,就会在堆上分配。
  • 在 interface 类型上调用方法。 在 interface 类型上调用方法都是动态调度的 —— 方法的真正实现只能在运行时知道。想像一个 io.Reader 类型的变量 r , 调用 r.Read(b) 会使得 r 的值和切片b 的背后存储都逃逸掉,所以会在堆上分配。

开启逃逸分析日志

编译参数加入 -gcflags ‘-m -l’

package main
import "fmt"
type A struct {
 s string
}
// 这是上面提到的 "在方法内把局部变量指针返回" 的情况
func foo(s string) *A {
 a := new(A) 
 a.s = s
 return a //返回局部变量a,在C语言中妥妥野指针,但在go则ok,但a会逃逸到堆
}
func main() {
 a := foo("hello")
 b := a.s + " world"
 c := b + "!"
 fmt.Println(c)
}

其他

  1. 通过fmt.Println(a ...interface{})打印的变量,都会发生逃逸
    这是因为fmt.Println()函数的参数是interface类型,编译期间很难确定其参数的具体类型,也会发生逃逸。

参考资料

https://blog.csdn.net/qq_45066628/article/details/121247339
https://mp.weixin.qq.com/s?__biz=Mzg5NDY2MDk4Mw==&mid=2247486360&idx=1&sn=62add4f7def9638a0a1c83c1672992c5&source=41#wechat_redirect
https://www.jianshu.com/p/6da2dd6c999c

你可能感兴趣的:(【学习笔记】Golang逃逸分析)