Go基础系列：垃圾回收GC原理

目录

自动内存管理

专有名词

三种GC算法方式

常用GC实现方法

1.追踪式 GC

1.1实现步骤

1.2清理方式

 1.3分代GC

2.引用计数式 GC

2.1概念

---

自动内存管理

基本概念

• 自动内存管理：由程序语言的运行时系统管理动态内存

• 避免手动内存管理，专注于实现业务逻辑

• 保证内存使用的正确性和安全性: double-free problem, use-after-free problem

• 三个任务

  • 为新对象分配空间
  • 找到存活对象
  • 回收死亡对象的内存空间

专有名词

Mutator: 业务线程（即用户启动的线程，包括goroutine），分配新对象，修改对象指向关系

Collector: GC 线程，找到存活对象，回收死亡对象的内存空间

三种GC算法方式

• Serial GC: 只有一个 collector

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

• Concurrent GC: 并发 GC，支持 mutator(s) 和 collector(s) 同时执行的 GC 算法（Collectors 必须感知对象指向关系的改变！） 

常用GC实现方法

1.追踪式 GC

从根对象出发，根据对象之间的引用信息，一步步推进直到扫描完毕整个堆并确定需要保留的对象，从而回收所有可回收的对象。Go、 Java、V8 对 JavaScript 的实现等均为追踪式 GC。

1.1实现步骤

• 标记根对象（ 静态变量、全局变量、常量、线程栈等）
• 标记可达对象
• 清理不可达对象 

1.2清理方式

• Copying GC: 将存活对象从一块内存空间复制到另外一块内存空间，原先的空间可以直接进行对象分配
• Mark-sweep GC: 将死亡对象所在内存块标记为可分配，使用 free list 管理可分配的空间
• Mark-compact GC: 将存活对象复制到同一块内存区域的开头

 1.3分代GC

年轻代：存活率很低，使用Copying GC

年老代：存活率高，趋向于一直存活，使用Mark-sweep GC

2.引用计数式 GC

每个对象自身包含一个被引用的计数器，当计数器归零时自动得到回收。因为此方法缺陷较多，在追求高性能时通常不被应用。Python、Objective-C 等均为引用计数式 GC。

2.1概念

• 每个对象都有一个与之关联的引用数目

• 对象存活的条件：当且仅当引用数大于 0

• 优点

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

• 缺点

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