《深入理解Java虚拟机》笔记-HotSpot的算法实现

1. 枚举根节点

可作为GC Roots的节点主要是：全局性的引用（例如常量或类静态属性）与执行上下文（例如栈帧中的本地变量表）。

枚举根节点时需要Stop The World， 是必须要停顿的。是一次准确式GC。

当执行系统停下来之后，不需要一个不漏的检查完所有执行上下文和全局的引用位置，虚拟机有办法直接得知哪些地方存放着对象引用。HotSpot中使用OopMap数据结构来实现：

在类加载完成时，HotSpot把对象内什么偏移量上时什么类型的数据计算出来；

在JIT编译过程中，在特定位置记录下栈和寄存器中哪些位置是引用。

2. 安全点

不用为每天指令都生成OopMap, 只在安全点（Safepoint）记录这些信息。程序只有到达安全点才暂停下来开始GC。

根据程序“是否具有让程序长时间执行的特征”来选定安全点。例如：方法调用、循环跳转、异常跳转等具有这些功能的指令才会产生Safepoint。

当GC需要中断线程时，不直接对线程操作，而是设置一个标志，各个线程主动去轮询这个标志，发现中断标志为真就把自己中断挂起。

3. 安全区域

当线程处于Sleep或Blocked状态时，线程无法响应JVM的中断请求，无法走到安全点去中断挂起。因此安全点无法解决这种问题。

安全区域（Safe Region）是在一段代码片段中，引用关系不会发生变化。在这个区域内的任意地方开始GC都是安全的。

在线程执行到Safe Region代码时，首先标识自己已经进入了Safe Region，在这段时间JVM发起GC，就不需要管把自己标识为Safe Region状态的线程了。

在线程离开Safe Region时，需要检查系统是否已经完成了根节点枚举（或者整个GC过程），如果完成了，线程继续执行；否则需要等到收到可以安全离开Safe Region的信号为止。