《深入理解java虚拟机》中说到GC Roots的节点主要在全局的引用（例如常量或类静态属性）与执行上下文（例如栈帧中的本地变量表）中，但是进行根节点枚举的时候我们并不需要一个不漏地检查完所有执行上下文和全局引用位置，HotSpot中通过使用一组称为OopMap的数据结构，用于直接存放对象引用，类加载完成，HotSpot就会把对象内某个偏移位置是否为对象引用记录下来，JIT编译过程中，也会在特定的位置记录下栈和局存起中哪些位置是引用。
所以通过OopMap，jvm可以快速且准确地完成GC Roots枚举，但是导致引用发生变化的指令非常多，不可能为每一条指令都生成OopMaps，这也需要大量的额外空间。
于是jvm选择在某些”特定的位置“记录这些信息，这些位置就是“安全点”。程序只有执行到安全点的时候，才能够暂停。但是我们又不希望GC等待时间过长，因此为了防止程序因指令流原因而长时间等待，jvm选择方法调用、循环跳转、异常跳转等功能的指令才会产生安全点。
即安全点就是某些记录线程此时调用栈、寄存器等一些重要的数据区域里什么地方包含了GC要管理的指针（对象引用），而这些对象引用是通过OopMaps结构进行记录的，可以直接通过对OopMaps结构的访问来获得对象的引用。
安全点就是指代码中一些特定的位置,当线程运行到这些位置时它的状态是确定的,这样JVM就可以安全的进行一些操作,比如GC.
这些特定的位置主要有几下几种:
- 方法返回之前
- 调用某个方法之后
- 抛出异常的位置
- 循环的末尾
为什么把这些位置设置为jvm的安全点呢,主要目的就是避免程序长时间无法进入safepoint,比如JVM在做GC之前要等所有的应用线程进入到安全点后VM线程才能分派GC任务 ,如果有线程一直没有进入到安全点,就会导致GC时JVM停顿时间延长,比如R大之前回复的这个例子,这里面就是写了一个超大的循环导致线程一直没有进入到安全点,GC前停顿了8秒.
safepoint的使用场景
- 垃圾回收(这是最常见的场景)
- 取消偏向锁(JVM会使用偏向锁来优化锁的获取过程)
- Class重定义(比如常见的hotswap和instrumentation)
- Code Cache Flushing(JDK1.8在CodeCache满的情况下就可能出现)
- 线程堆栈转储(jstack命令)
既然这样,线程怎么知道什么时候要进入到saftpoint呢,一般有抢占式和主动式两种,常见的做法就是设置一个状态位,让所有线程去检查这个状态,当检测到saftpoint标志时就停下来。
除非注明，否则均为李锋镝的博客原创文章，转载必须以链接形式标明本文链接
文章评论