HotSpot的算法细节

可达性分析算法

以一系列“GC Roots”根对象作为起始节点集，从这些节点开始，根据引用关系向下搜索，搜索过程所走过的路径称为“引用链”（Reference Chain），如果某个对象到GC Roots间没有任何引用链相连， 或者用图论的话来说就是从GC Roots到这个对象不可达时，则证明此对象是不可能再被使用的。

从GC Roots开始向下进行引用搜索，如果某对象和任何GC Root没有关联，则认为该对象不再被使用。

GC Roots

• 虚拟机栈中引用的对象，对应虚拟机方法栈中当前执行的方法所使用的参数，局部变量，临时变量等。
• 方法区中：类的静态变量，常量
• 本地方法栈中引用的对象

记忆集与卡表

记忆集是一种用于记录从非收集区域指向收集区域的指针集合的抽象数据结构。

卡表：是记忆集的一种实现形式，采用的是“卡精度”的方式实现记忆集。卡精度指精确到一块内存区域(该内存区域又称为“卡页”)，这个区域内有跨代指针的话，就将其标识出来（实际是使用的0/1标识）；