自动内存管理&内存管理与优化 | 青训营笔记

这是我参与「第五届青训营」伴学笔记创作活动的第 7 天

自动内存管理

动态内存
- 程序在运行时根据需求动态分配的内存：malloc()
自动内存管理（垃圾回收）
- 由程序语言的运行时系统回收动态内存
- 避免手动内存管理，专注于实现业务逻辑
- 保证内存使用的正确性和安全性
三个任务
- 为新对象分配空间
- 找到存活对象
- 回收死亡对象的内存空间
Mutator：业务线程，分配新对象，修改对象指向关系
Collector：GC线程，找到存活对象，回收死亡对象的内存空间
Serial GC：只有一个collector。执行时业务线程必须暂停。
Parallel GC：支持多个collectors同时回收的GC算法。执行时业务线程必须暂停。
Concurent GC：mutator(s)和collector(s)可以同时执行
- 前提：Collectors必须感知对象指向关系的改变，例如已标记对象指向的对象必须被标记。

评价GC算法优劣的指标：

对象被回收的条件：指针指向关系不可达的对象。

感觉有点像并查集，又有点像floyd求传递闭包。

标记根对象
1. 静态变量、全局变量、常量、线程栈等
从根对象，标记所有可达的对象（求一个传递闭包）
清理所有不可达的对象
1. 将存活对象复制到另外的内存空间（Copying GC）
2. 或者将死亡对象的内存标记为可分配（Mark-sweep GC）
3. 或者移动并整理存活对象（有点像OS的那个清理碎片的感觉，把小碎片集合在一起变成大碎片）（Mark-compact GC）

根据对象的声明周期，使用不同的标记和清理策略：

每个对象都有一个与之关联的引用数目，对象存活的条件为当且仅当引用数大于0。

听着就是拓扑排序！只不过拓扑排序是有方向的。

优点：

缺点：

目标：为对象在heap上分配内存。

提前将内存分块：

对象分配的原则是根据对象的大小，选择最合适的块返回

原理好像是TCMalloc，thread caching。

内存管理优化的重要性：

一种可行的优化方案：Balanced GC

if top + size <= end {
    addr := top
    top += size
    return addr
}