Go内存模型

链客，专为开发者而生，有问必答！

此文章来自区块链技术社区，未经允许拒绝转载。

Go的内存管理话题很大，一边学习，一边记录，持续更新。

提纲挈领
和C、C++不同，一般来说，Go程序员无需关心变量是在堆上还是在栈上。

Go语言中内存分配大致有3种模式：Stack、Heap、Fixed Size Segment。

栈
栈的概念类似传统Linux下C、C++的概念，即通过栈顶指针移动来分配内存。一般用来存储局部变量、函数参数等。每个Goroutine都有自己的执行栈，互相独立，无需加锁。Goroutine的栈是从Heap中分配的，如果运行中栈需要扩展，会使用连续栈技术进行扩展(通过Heap的操作---- allocate new，copy old to new，free old)。

Goroutine中的栈很小，初始只有2K，因此创建代价很小。

堆和GC
Go语言支持GC，针对堆中的对象。因此，它在分配内存时需要着重考虑如下两个问题:

如何平衡内存分配效率和内存利用率？
如何支持快速的GC迭代，不对业务造成较大冲击？
同时，由于堆是所有Goroutine共有的，因此需要加锁，后面详解中可以观察下它是如何优化这个问题的。

具体到实现上，Go采用了类似tmalloc的做法，在系统调用上封装了一层，减少直接系统调用的性能损耗；同时，会定期扫描释放长时间不使用的空闲内存。具体实现技巧，详见下文。

垃圾回收扫描会STW，从Go1.5起，不会超过执行时间的1/5(eg. 10ms of 50ms execution)。回收时只扫描堆上的对象，但如果对象在栈上有引用，也会分析栈上对应变量，具体如下文。

The garbage collector has to be aware of both heap and stack allocated items. This is easy to see if you consider a heap allocated item, H, referenced by a stack allocated item, S. Clearly, the garbage collector cannot free H until S is freed and so the garbage collector must be aware of lifetime of S, the stack allocated item.

固定大小对象分配
顾名思义，固定大小内存分配器。一般用作，内存管理对象的分配和回收，如mspan、mcache、mcentral等；另外也被用来分配data segment和code segment。在运行期内，data segment的大小不能变化，因此，动态内存对象不能在data segment内分配。

Fixed sized segments are defined at compile time and do not change size at runtime. Read-write fixed size segments (e.g., the data segment) contain global variables while read-only segments (e.g., code segment and rodata segment) contain constant values and instructions.

性能优化
使用runtime/pprof和go tool pprof采样分析，如果growslices和newobject调用占用很多，即可考虑内存方面的优化 ---- 减少堆上分配(变量逃逸)，增加栈上分配。

Reuse memory you’ve already allocated.
Restructure your code so the compiler can make stack allocations instead of heap allocations. Use go tool compile -m to help you identify escaped variables that will be heap