golang中的内存逃逸

golang中的内存逃逸

先说说golang中内存分配方式：

主要是堆(heap)和栈(stack)分配两种。

栈分配廉价，堆分配昂贵。

栈分配：对于栈的操作只有入栈和出栈两种指令，属于静态资源分配。

堆分配：堆中分配的空间，在结束使用之后需要垃圾回收器进行闲置空间回收，属于动态资源分配。

使用栈分配：函数的内部中不对外开放的局部变量，只作用于函数中。

使用堆分配：1.函数的内部中对外开放的局部变量。2.变量所需内存超出栈所提供最大容量。

看下面这段代码：

package mainimport( "fmt" "runtime" "time")func foo() { runtime.GOMAXPROCS(1) for i := 0; i < 10; i++ { go func() { fmt.Print(i, " ") }() } runtime.Gosched() time.Sleep(time.Second)}func main() { foo();}

这里函数foo里面的i是局部变量，并且没有外部引用，不对外开放，所以是分配在栈中的。

运行命令

go build -gcflags '-m' ./gofunc.go

可以看到，i逃逸到堆中了。

那么由于i存在于堆中，并没有随着foo函数结束而释放，并且i的值为10，这就解释了为什么运行结果为10个10了：

下面是四种最常见引发内存逃逸的情况：

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

一个经验是：指针指向的数据都是在堆上分配的。

参考：​​https://jianshu.com/p/63404461e520​​

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。