1.什么是GC
- GC,全称叫Garbage Collection,意思是垃圾回收。这里的垃圾是指已死的对象,就会空出无用的内存空间,要及时的回收内存空间。
- 程序员平时在写程序时都要考虑到内存的回收,因为内存的空间是有限的,不及时的释放内存会导致最终的程序崩溃,所以为了更加高效地写程序,Java就引入了这样一种可以自动释放内存的方式—GC.GC是自动化的,程序员可以不用刻意的去控制它,它也可以自己完成垃圾回收。
- 在jvm中,程序计数器、虚拟机栈、本地方法栈,他们的生命周期与 相关线程有关,它们会随线程而生也随线程而灭,并且这三个区域的内存分配与回收具有确定性,因为当方法结束或者线程 结束时,内存就自然跟着线程回收了,实现了自动的内存清理,所以这些区域不太需要GC.
- GC主要负责的是jvm中的堆区和方法区。
2.怎么判断一个对象已死
- 在Java中,几乎所有的对象都会在堆上被分配内存空间,垃圾回收器在对堆进行垃圾回收前,首先要判断这些对象哪些还存活,哪些已 经"死去"。判断对象是否已"死"有如下几种算法 。
-
引用计数法:给对象增加一个引用计数器,每当有一个地方引用它时,计数器就+1;当引用失效时,计数器就-1;任何时刻计数器 为0的对象就是不能再被使用的,即对象已"死"。但这个方法无法解决对象相互循环引用的问题。主流的JVM并没有使用这种方法管理内存。
-
可达性分析法:通过一系列称为"GC Roots"的对象作为起始点,从这些节点开始向下搜索,搜索走过的路径称 之为"引用链",当一个对象到GC Roots没有任何的引用链相连时(从GC Roots到这个对象不可达)时,证明此对象是不 可用的。
-
在Java语言中,可作为GC Roots的对象包含下面几种:
- 虚拟机栈(栈帧中的本地变量表)中引用的对象
- 方法区中类静态属性引用的对象
- 方法区中常量引用的对象
- 本地方法栈中JNI(Native方法)引用的对象
- “死亡的挣扎”
- 即使在可达性分析算法中不可达的对象,也并非已经宣告死刑,这时候他们暂时处在"缓刑"阶段。要宣告一个对象的 真正死亡,至少要经历两次标记过程 :
- 如果对象在进行可达性分析之后发现没有与GC Roots相连接的引用链,那它将 会被第一次标记并且进行一次筛选,筛选的条件是此对象是否有必要执行finalize()方法。当对象没有覆盖finalize()方 法或者finalize()方法已经被JVM调用过,虚拟机会将这两种情况都视为"没有必要执行",此时的对象才是真正"死"的 对象。
如果这个对象被判定为有必要执行finalize()方法,那么这个对象将会被放置在一个叫做F-Queue的队列之中,并在稍 后由一个虚拟机自动建立的、低优先级的Finalizer线程去执行它(这里所说的执行指的是虚拟机会触发finalize()方 法)。finalize()方法是对象逃脱死亡的后一次机会,稍后GC将对F-Queue中的对象进行第二次小规模标记,如果 对象在finalize()中成功拯救自己(只需要重新与引用链上的任何一个对象建立起关联关系即可),那在第二次标记时它 将会被移除出"即将回收"的集合;如果对象这时候还是没有逃脱,那基本上它就是真的被宣告死刑,被回收了。
3.GC常用算法
- JVM中根据对象的生存周期,将堆分为新生代和老年代,年轻代的GC过程称为Minor GC,速度较快较频繁。老年代的GC过程称为Full GC,速度较慢费时费力,应尽量减少Full GC.
- 标记-清除算法:
"标记-清除"算法是基础的收集算法。算法分为"标记"和"清除"两个阶段 : 首先标记出所有需要回收的对象,在标记 完成后统一回收所有被标记的对象
- "标记-清除"算法的不足主要有两个 :
-
- 效率问题 : 标记和清除这两个过程的效率都不高
-
- 空间问题 : 标记清除后会产生大量不连续的内存碎片,空间碎片太多可能会导致以后在程序运行中需要分配较大 对象时,无法找到足够连续内存而不得不提前触发另一次垃圾收集。
![](https://i-blog.csdnimg.cn/blog_migrate/9a30bd0555b4b620ca77141046162325.png)
- 复制算法(新生代回收算法):
"复制"算法是为了解决"标记-清理"的效率问题。它将可用内存按容量划分为大小相等的两块,每次只使用其中的一 块。当这块内存需要进行垃圾回收时,会将此区域还存活着的对象复制到另一块上面,然后再把已经使用过的内存区 域一次清理掉。这样做的好处是每次都是对整个半区进行内存回收,内存分配时也就不需要考虑内存碎片等复杂情况,不会产生内存碎片。
- 新生代中大部分的对象都是"朝生夕死"的,所以并不需要按照1 : 1的比例来划分内存空间,而是将内存(新生代内存)分 为一块较大的Eden空间和两块较小的Survivor空间,每次使用Eden和其中一块Survivor(两个Survivor区域一个称为From区,另一个称为To区域)。Eden区和Survivor区比例是8:1,这是最利于提高GC性能的比例。
- 对象在Eden区创建,经过一次Minor GC后,还存活的对象将会被复制到Surviver区的From区,此时To区是空的。到了第二次Minor GC的时候,Eden区还存活的对象会直接移动到Surviver区的To区,而Form区的对象有两个去处,From区的对象会根据经过的Minor GC次数计算年龄,如果年龄到达了阈值(可以通过-XX:MaxTenuringThreshold来设置),则会被移动到老年代中,否则就复制到To区,此时From和Eden区变成了空的,然后From区和To区进行角色互换,到下一次进行GC时,还是有一块空的To区,保证名为To的Survivor区域是空的,用来存放从Eden区和From区移动过来的对象。Minor GC会一直重复这样的过程,直到To区被填满,To区被填满之后,会将所有对象移动到年老代中,以此循环往复。
- 标记-整理算法(老年代回收算法):
- 复制收集算法在对象存活率较高时会进行比较多的复制操作,效率会变低。因此在老年代一般不能使用复制算法。
针对老年代的特点,提出了一种称之为"标记-整理算法"。标记过程仍与"标记-清除"过程一致,但后续步骤不是直接 对可回收对象进行清理,而是让所有存活对象都向一端移动,然后直接清理掉端边界以外的内存。
- 分代收集算法 :
- 当前JVM垃圾收集都采用的是"分代收集(Generational Collection)"算法,
一般是把Java堆分为新生代和老年代。在新生代中,每次垃圾回收都有大批对象死去,只有少量存活,因此我们采用 复制算法;而老年代中对象存活率高、没有额外空间对它进行分配担保,就必须采用"标记-清理"或者"标记-整理"算 法。 - Minor GC称为新生代GC : 指的是发生在新生代的垃圾收集。因为Java对象大多都具备朝生夕死的特性,因此Minor GC(采用复制算法)非常频繁,一般回收速度也比较快。
- Full GC 又称为 老年代GC或者Major GC : 指发生在老年代的垃圾收集。 Major GC的速度一般会比Minor GC慢10倍以上。
- Full GC触发条件:
-
老年代空间不足
-
方法区空间不足
-
通过Minor GC后进入老年代的平均大小大于老年代的可用内存
-
由Eden区,From区向To区复制时,对象大小大于To 区可用内存,当把该对象转存到老年代,发现老年代的内存也不够用时。