对于内存逃逸来说,我们如果看源码显然太浪费时间,本文就是用来介绍内存逃逸的机制以及我们如何应用的大体思路
go语言的设计初衷是让开发者能够花费更少的经历在内存上,所以go的内存分配是在编译时期运行的,这一点和java不同,java是在运行时进行内存分配。
go的内存分配主要分为两部分,一部分是堆,一部分是每一个groutine的栈。 通常来说,栈上的内存分配和回收要比堆上的快很多,所以我们一般希望在写程序时,保证不发生内存泄漏的前提下分配更多的内存到栈上去。
何时会发生内存逃逸,首先go分配内存有四大原则 1.大内存有限分配到堆上 2.涉及到共享的内存必须分配到堆上 3.未确定内存分配有限分配到堆上 4.如果函数外部没有引用,则优先分配到栈上 逃逸主要分为方法逃逸和线程逃逸,顾名思义就是指针被别的方法或者线程引用,我们就将他称为逃逸。
我们可以利用内存逃逸来进行一些性能优化,如果一个对象不会在方法体或者线程外被引用,我们可以对他做一些优化:
1.栈上分配,除非对象占用内存过大,否则我们一般将其分配到栈上,因为栈上无论是分配还是回收内存都会快很多
2.同步消除:如果你的线程有同步锁,并且在运行时只有这一个线程访问,编译器我们会去掉这个同步
3.标量替换:如果逃逸分析后发现该变量不会被其他线程访问,并且是可分解的,那么就有可能不创建这个对象,而是单独创建并优化其成员变量。
接下来就涉及到我们如何利用这个特性,对于值拷贝和指针拷贝,我们通常认为指针拷贝会减少一次拷贝,性能更优但是也会将内存分配到堆上,会有更大的gc压力,所以我们在频繁创建和销毁的情景下,我们通常会尽量使用值传递,这将涉及到0gc策略,后面的博客会专门说到0gc策略的原因以及如何利用