go内存逃逸分析

变量声明

堆：
全局存储空间
存储的对象是可以被分享的
存储的对象是被 GC 管理的

栈数据帧
局部存储空间，属于一个函数
每个栈帧受限于一个 协程
存储的对象是私有的
存储的对象是被生命周期管理的

栈的调用很快，比堆快40倍

大对象，相差 24M倍
一个变量存入 heap 最多占有 10MB

ESC ：内存优化的手段，目的是让大的数据最好能存储到 stack，而不要跑到 heap
注意，ESC是在编译时工作

哪个变量会被内存逃逸？
v := 0
q = &v
1、地址被别的变量引用，&
2、当引用它地址的那个变量（ q ）逃逸了，它就也逃逸了

因为 v 的地址被 q 引用了，所以 v 会逃逸
因为 q 是全局变量，它本身在 heap ，v 与它有关联，故也逃逸 （这个说法待考证）

1、通过数据流分析（最短路径分析）
2、其他附加规则

各种情况数据的流动，值拷贝、地址拷贝
重点关注 -1 的情况


找出所有与 p 路径长度为 -1 的变量，就是 x1、 y2、 y3 它们都会逃逸。

总结：变量逃逸发生在：
1、当地址被其他变量捕获时（地址被引用 &）
2、当编译时，ESC不知道变量的大小时（make传入的大小是变量，不是常量）
3、给函数传引用比让函数返回引用更安全，不太容易逃逸（这样函数内部的变量就不会被其他代码得到）