课程名称:深入Go底层原理,重写Redis中间件实战
课程章节:9-1,9-2
课程讲师:Moody
课程内容:
★Go协程栈的作用
协程的执行路径
go的协程是在栈中依次执行的
局部变量
go的局部变量是存在栈中的,当然如果出现变量过大,或者指针传递给其他地方,可能会造成逃逸
函数传参
go的栈在依次执行的时候,一个函数传递给下一个函数的参数是在栈内存中完成的
go使用的是参数拷贝传递(值传递)
传递结构体时:会拷贝结构体中的全部内容,所以不推荐
传递指针时:会拷贝结构体指针
函数返回值
同上,只不过相反方向
★逃逸分析
不是所有的变量都放在协程栈上
栈帧回收后,需要继续使用的变量不能被回收,会逃逸到堆上
太大的变量是放不下的,栈帧初始只有2~4k,太大的变量也是会逃逸到堆上,超过64k的变量会被直接逃逸到堆上
指针逃逸:函数返回了对象的指针,导致栈帧回收后,指针被其他函数使用
空接口:空接口往往会被用于反射,反射通常是对堆中的变量进行反射,栈内存很难反射
★栈扩容
在函数调用钱判断栈空间(morestruct)
1.13之前用的是分段栈:分段栈类似于map的溢出桶,当栈帧空间不足的时候,就开辟一个新的栈区和之前的栈帧逻辑上连在一起,好处是没有空间浪费,缺点是会在新开辟的区域和 旧区域之间来回横跳
1.13之后用的是连续栈:连续栈类似于分片,当需要扩容的时候,就直接找个新空间,新空间是旧空间的2倍,把旧数据全部迁移过来,然后舍弃旧栈区。缩容的时候,是当空间使用率不足四分之一,就缩容为原来的二分之一。连续栈的优点是:空间一直是连续的。缺点是伸缩的时候开销大。
课程收获:
通过学习,对go的内存模型有初步的认知,了解了go的内存的栈和堆其实都在系统分配的堆区上