jvm回收细节分析
我们都知道判断一个对象是否存活的方法有两种!1.可达性分析 2. 引用计数法
第二种不用说大家都知道会有一个循环引用的问题,所以引进了可达性分析的办法
可达性分析
分析的是GC Roots根节点对象,
那么什么是根节点对象呢
- 栈中有引用的局部变量,临时变量等
- 方法区中的常量引用的对象,静态变量
- 类对象,异常对象还有系统类加载器等都算
从根节点引用搭上一条链关系的对象都是可达的,反之则为不可达对象,但是要明白并不是说,可达性分析完就马上回收不可达对象,还要判断对象是否可以执行finalize()方法,还可以尝试拯救一下对象
方法区回收什么?怎么判断不可用的常量?
废弃的常量和不再使用的类型
怎么判断废弃?
-
该类所有实例被回收
-
加载该类的类加载器被回收
-
该类的class对象没有被引用
垃圾回收的算法在这不做叙述,可见我jvm分栏有写,
根节点枚举细节
总所周知我们在查出不可达对象利用的是GC roots进行遍历,那么在遍历的过程我们能让用户线程执行吗?
答案当然是不能啊!,你想如果执行过程不断产生垃圾对象,你如何标记完,动态的变化没法遍历
所以会进行Stop The World 会停止一切用户线程,时间只要够短就不会影响用户的体验感
那怎么做到时间短呢? 是要全部堆内存扫描一遍吗?
肯定不能全部扫描一遍,事实上我们不可能所有的都是不可达对象,所以我们有一个办法可以减轻扫描负担!
当我们在类加载的时候,Jvm就知道对象和引用位置等信息了,这样垃圾收集器一开始就可以判断出栈中哪部分是引用,从而不用全盘扫描堆内存,这些引用存放在OopMap数据结构中
但是不可能一个引用生成一个OopMap数据,然后在一些确定引用的地方把他们称之为安全点,有了安全点,垃圾回收线程执行到了安全点的地方就可以没有顾虑了,
那如何让线程执行时遇到安全点呢?
- 抢先式中断:
在垃圾回收时,系统首先把所有用户线程中断,然后发现有的用户线程不在安全点上,就放他继续执行,等一会再重新中断,直到跑到安全点,(现在用这个很少)
2. 主动式中断:
利用一个标志位,不对线程操作,每个线程会主动去轮询这个标志,一旦发现中断标志为真时,就主动在安全点主动中断挂起,而且还需要检查堆中内存是否足够,避免垃圾回收完没有内存发生OOM
记忆集
我们在分代回收时,如何对跨代的对象怎么回收怎么判断它是垃圾?
这里就用到了记忆集,它是一种记录从非收集区指向收集区的指针集合的抽象数据结构
比如:新生代里有引用老年代的数据,这时候就会存在Rember Set里,到时候判断只用判断整个新生区就好了
具体实现有卡表:
如果存在着跨代指针,那把对应得数据对象在数组中改为1,没有就为0,这就能轻易得扫描含跨代得数据,并且一起加入GC RootS一起进行可达性分析