这是我参与「第五届青训营 」伴学笔记创作活动的第 4 天
1.1自动内存管理
·动态内存
·程序在运行时根据需求动态分配的内存:malloc()
·自动内存管理(垃圾回收):由程序语言的运行时系统管理动态内存
·避免手动内存管理,专注于实现业务逻辑 ·保证内存使用的正确性和安全性: double-free problem, use-after-free problem
·三个任务
·为新对象分配空间·找到存活对象 ·回收死亡对象的内存空间
1.2追踪垃圾回收
·对象被回收的条件:指针指向关系不可达的对象 ·标记根对象 ·静态变量、全局变量、常量、线程栈等 ·标记:找到可达对象 ·求指针指向关系的传递闭包:从根对象出发,找到所有可达对象 ·清理:所有不可达对象 ·将存活对象复制到另外的内存空间(Copying Gc) 将死亡对象的内存标记为“可分配“ (Mark-sweep Gc) 移动并整理存活对象(Mark-compact Gc) ·根据对象的生命周期,使用不同的标记和清理策略
2.1函数内联
·内联:将被调用函数的函数体(callee)的副本替换到调用位置(caller)上,同时重写代码以反映参数的绑定 ·优点 ·消除函数调用开销,例如传递参数、保存寄存器等 ·将过程间分析转化为过程内分析,帮助其他优化,例如逃逸分析 ·缺点 ·函数体变大,instruction cache (icache)不友好 ·编译生成的Go镜像变大 ·函数内联在大多数情况下是正向优化 情况下是正向优化的月 内联策略 调用和被调函教的切桔
2.2 Beast Mode
. Go函数内联受到的限制较多 ·语言特性,例如interface, defer等,限制了函数内联·内联策略非常保守 Beast mode:调整函数内联的策略,使更多函数被内联·降低函数调用的开销 ·增加了其他优化的机会:逃逸分析 ·开销 Go镜像增加~10% ·编译时间增加
2.3逃逸分析
·逃逸分析:分析代码中指针的动态作用域:指针在何处可以被访问 大致思路 .从对象分配处出发,沿着控制流,观察对象的数据流 ·若发现指针p在当前作用域s: ·作为参数传递给其他函数 。传递给全局变量 ·传递给其他的goroutine ·传递给已逃逸的指针指向的对象 ·则指针p指向的对象逃逸出s,反之则没有逃逸出s ·Beast mode:函数内联拓展了函数边界,更多对象不逃逸。优化:未逃逸的对象可以在栈上分配 ·对象在栈上分配和回收很快:移动sp ·减少在heap 上的分配,降低GC负担