1 引用计数算法–Reference Counting
给对象添加一个引用计数器,规定如下
- 当有一个地方引用它,计数器+1
- 当引用失效,计数器-1
- 任何时刻计数器为0的对象就是不能再被使用的
引用计数器无法解决对象循环引用的问题
2 根搜索算法–Root Tracing
- 在实际的生产语言中(Java, C#等),都是使用根搜索的算法判定对象是否存活
- 算法的基本思路就是通过一系列的称为
GC Roots
的点作为起始进行向下搜索,当一个对象到GC Roots没有任何引用链接Reference Chain
相连,则证明测对象是不可用的 - 在Java语言中,
GC Roots
包括- 在VM栈(帧中的本地变量)
- 方法区中的静态引用
- JNI
native方法
中的引用
2.1 枚举根节点
当执行系统停顿下来后,并不需要一个不漏地检查完所有执行上下文和全局的引用位置,虚拟机应当是有办法直接得知哪些地方存放着对象引用.
在Hotspot的实现中,是使用一组称为OopMap
的数据结构来达到目的的
2.2 安全点
在OopMap的协助下,Hotspot可以快速且准确的完成GC Roots枚举,但一个很现实的问题随之而来–可能导致引用关系变化,或者说OopMap内容变化的指令非常多,如果为每一条指令都生成对应的OopMap,那将会需要大量额外的空间,这样GC的空间成本将会变得更高
实际上,Hotspot并没有为每条指令都生成OopMap,而是只在特定的位置
记录了这些信息,这些位置称为安全点Safepoint
,即程序执行时并非在所有地方都停下来开始GC,只有在达到安全点时才能暂停
Safepoint的选定的既不能太少以至于让GC等待太长时间,也不能过于频繁以至于增大运行时的负载.所以,安全点的选定基本上是以是否具有让程序长时间执行的特征
为标准选定的—因为每条指令执行的时间非常段短暂,程序不太可能疑问指令流长度太长这个原因而长时间的运行—长时间执行的最明显特征就是指令序列复用,如
- 方法调用
- 循环跳转
- 异常跳转等
所以具有这些功能的指令才会产生Safepoint
2.3 抢占式中断和主动式中断
对于Safepoint,另一个需要考虑的问题是如何在GC发生时让所有线程(这里不包括JNI调用的线程)都"跑"到最近的安全点上在停顿下来,有两种中断
- 抢占式中断(Preemptive Suspension)
它不需要线程执行代码主动去配合,在GC发生时,首先把所有线程全部中断,如果有线程中断的地方不在安全点上,就恢复线程,让它跑到安全点上 - 主动式中断(Voluntary Suspension)
当GC需要中断线程的时候,不直接对线程操作,仅仅简单的设置一个标志,各个线程执行时主动的去轮询这个标志,发现中断标志位真是就自己中断挂起,.轮询标志的地方和安全点时重合的,另外再加上创建对象需要分配内存的地方
现在几乎没有虚拟机采用抢断式中断来暂停线程从而响应GC事件
2.4 安全区域
在使用Safepoint似乎已经完美解决了如何进入GC的问题,但实际情况却并不一定.
Safepoint机制保证了程序执行时,在不太长的时间就会遇到可进入GC的Safepoint,但如果程序在不执行的时候呢?
所谓程序不执行就是没有分配CPU的时间,典型的例子就是处于Sleep或者Blocked状态,只是就线程无法响应JVM的中断请求,JVM也显然不太可能等待线程重新分配CPU时间,对于这种情况,就需要安全区域Safe Regin
来解决了
在线程执行到Safe Regin中代码时,首先标识自己已经进入Safe Regin,那样,当在这段时间JVM所发起的GC时,就不用管标识自己为Safe Regin状态的线程.
在线程要离开Safe Regin时,它要检查系统是否已经完成了根节点枚举(或者是整个GC过程),如果完成了,那线程就继续执行,构造它就必须等待直到收到可以安全离开Safe Regin的信号为止