GoLang之自动内存管理

自动内存管理

1.基本概念

1.1自动内存管理概念

1.自动内存管理：由程序语言的运行时系统管理动态内存
2.避免手动内存管理，专注于实现业务逻辑
3.保证内存使用的正确性和安全性: double-free problem, use-after-free problem

1.2三个任务

1.为新对象分配空间
2.找到存活对象
3.回收死亡对象的内存空间

1.3Mutator、Collector

Mutator: 业务线程，分配新对象，修改对象指向关系
Collector: GC 线程，找到存活对象，回收死亡对象的内存空间

Collectors 必须感知对象指向关系的改变！

1.4Serial GC

Serial GC: 只有一个 collector

1.5Parallel GC

Parallel GC: 并行 GC，支持多个 collectors 同时回收的 GC 算法

1.6Concurrent GC

Concurrent GC: 并发 GC，支持 mutator(s) 和 collector(s) 同时执行的 GC 算法

2.Tracing garbage collection

2.1介绍

Tracing garbage collection: 追踪垃圾回收
被回收的条件：不可达对象

2.2过程–标记根对象

标记根对象 (GC roots): 静态变量、全局变量、常量、线程栈等

2.2过程–标记

标记：找到所有可达对象

2.3过程–清理

2.3.1介绍

清理: 回收所有不可达对象占据的内存空间

2.3.2Copying GC

Copying GC: 将存活对象从一块内存空间复制到另外一块内存空间，原先的空间可以直接进行对象分配

2.3.3Mark-sweep GC

Mark-sweep GC: 将死亡对象所在内存块标记为可分配，使用 free list 管理可分配的空间

2.3.4Mark-compact GC

Mark-compact GC: 将存活对象复制到同一块内存区域的开头

3.引用计数

3.1介绍

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

3.2优点

优点
1.内存管理的操作被平摊到程序运行中：指针传递的过程中进行引用计数的增减
2.不需要了解 runtime 的细节：因为不需要标记 GC roots，因此不需要知道哪里是全局变量、线程栈等

3.3缺点

1.开销大，因为对象可能会被多线程访问，对引用计数的修改需要原子操作保证原子性和可见性
2.无法回收环形数据结构
3.每个对象都引入额外存储空间存储引用计数
4.虽然引用计数的操作被平摊到程序运行过程中，但是回收大的数据结构依然可能引发暂停

3.4说明

以上我们所讲述的技术的缺点并非是无法解决的问题。学术界和工业界在一直在致力于解决自动内存管理技术的不足之处。例如，最新的 PLDI’22 的文章 Low-Latency, High-Throughput Garbage Collection 感兴趣的同学可以阅读。