1.追踪垃圾回收
对象被回收的条件：指针指向关系不可达的对象
标记根对象
静态变量、全局变量、常量、线程栈等
标记：找到可达对象
求指针指向关系的传递闭包：从根对象出发，找到所有可达对象
清理：所有不可达对象
将存活对象复制到另外的内存空间（Copying GC)
将死亡对象的内存标记为“可分配”（Mark-sweep GC)
移动并整理存活对象(Mark-compact GC)
2.分代 GC(Generational GC)
分代假说(Generational hypothesis):most objects die young
Intuition：很多对象在分配出来后很快就不再使用了
每个对象都有年龄：经历过GC的次数
目的：对年轻和老年的对象，制定不同的GC策略，降低整体内存管理的开销
不同年龄的对象处于 heap的不同区域
3.年轻代(Young generation)
常规的对象分配
由于存活对象很少，可以采用copying collection
GC吞吐率很高
老年代（Old generation)
对象趋向于一直活着，反复复制开销较大
可以采用mark-sweep collection
4.引用计数
每个对象都有一个与之关联的引用数目
对象存活的条件：当且仅当引用数大于0
优点
内存管理的操作被平摊到程序执行过程中
内存管理不需要了解 runtime 的实现细节：C++智能指针（smart pointer)
缺点
维护引用计数的开销较大：通过原于操作保证对引用计数操作的原子性和可见性
无法回收环形数据结构——weak reference
内存开销：每个对象都引入的额外内存空间存储引用数目
回收内存时依然可能引发暂停
