逃逸分析是确定指针动态范围的方法,可以分析在程序的哪些地方可以访问指针。
当一个变量(或对象)在子程序中被分配,一个指向变量的指针可能逃逸到其他执行线程中,或者去调用子程序。如果使用尾递归优化,对象也可能逃逸到被调用的子程序中。如果一个子程序分配一个对象并返回一个该对象的指针,该对象可能在程序中的任何一个地方被访问到,这样指针就成功“逃逸”了。
如果指针存储在全局变量或者其他数据结构中,也可能发生逃逸,这种情况是当前程序中的指针逃逸。逃逸分析需要确定指针所有可以存储的地方,保证指针的生命周期只在当前进程或线程中.
逃逸分析好处
1.减少gc压力,不逃逸的对象分配在栈上,当函数返回时就回收了资源,不需要gc标记清楚
2.逃逸分析完后可以确定哪些变量可以分配在栈上,栈的分配比堆快,性能好
3.同步消除:如果定义的对象的方法上有同步锁,但在运行时,却只有一个线程在访问,此时逃逸分析后的机器码,会去掉同步锁运行。
go消除了堆和栈的区别
go在编译的时候进行逃逸分析,来决定对象是放在栈上还是堆上。不逃逸的对象放在栈上,逃逸的对象放在堆上。
go开启编译时的逃逸分析日志
在编译的时候加上
-gcflags '-m'
但是为了不让编译时自动内连函数,一般会加上 -l 参数,最终开启编译时逃逸分析日志:
-gcflags '-m -l'