为什么会有GC(垃圾回收)机制
因为在日常工作学习中,我们需要频繁创建对象,当对象没有被使用,处于一个被废弃的状态时,如果不对这些废弃对象进行管理清除,那么可能会造成内存溢出,内存泄漏等问题,所以就需要一个垃圾回收机制来管理这些对象,释放掉废弃对象占据的内存。
判断对象可以被回收
引用计数算法
给对象设立一个计数器,对象被引用一次+1,没有被引用了-1,如果计数器为0了,就表示该对象没有被任何地方引用,可以回收。
效率很高,但是解决不了循环依赖的问题。
可达性分析算法
这是Java虚拟机采用的判定对象是否存活的算法。通过一系列的称为“GC Roots"的对象作为起始点,从这些结点开始向下搜索,搜索所走过的路径称为引用链(Reference Chain),当一个对象到GC Roots没有任何引用链相连时,则证明此对象是不可用的。
GC回收算法
标记-清除算法
流程:现将需要清除的对象进行标记,在标记完成后统一回收被标记的对象。
缺陷:标记和回收的效率低。
空间问题:标记清除后会产生大量不连续的内存碎片,导致以后在程序运行过程中需要分配较大对象时,无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。
复制算法
流程:存留两块区域,将不清除的对象复制到另一块区域,然后清除已经使用了的内存。
缺陷:将内存缩小为原来的一半,代价高;当对象存活率较高时需要进行较多的复制操作,效率降低。
标记-整理算法
首先标记处所需要回收的对象,不直接对可回收对象进行清理,让所有存活的对象都向一端移动,直接清理掉端边界以外的内存。优化了标记-清除算法在回收后导致大量不连续的内存碎片的问题。
堆
堆区是JVM发生垃圾回收最频繁的区域。
堆又被划分为了新生代(Young Generation)和老年代(Old Generation)和永久代(Permanent Generation)。
新生代(Young Generation)
新生代又被细分为Eden区、From Survivor区、To Survivor区。三个区域的大小比例为8:1:1。
新创建的对象基本都在Eden区(如果对象太大,会直接被分配到老年区),部分会存活在From Survivor区。当Eden区满时触发Minor GC(采用的复制算法),将不需要回收的对象复制到To Survivor区,然后对Eden区和From Survivor区的对象进行统一回收,存活的对象年龄+1,存活对象达到15之后会被转移到老年区,最后From Survivor和To Survivor区的功能置换,以待下一次的GC。
老年代(Old Generation)
存活时间较长的对象会在老年代中,当老年代的空间不足以接收新生代存活下来的对象时,会触发Full GC,Full GC会对新生代、老年代,永久代都进行回收。
Full GC触发机制:
1.调用System.gc时,系统建议执行Full GC,但是不必然执行
2.老年代空间不足
3.方法区空间不足
4.通过Minor GC后进入老年代的平均大小大于老年代的可用内存
5.由Eden区、survivor space1(From Space)区向survivor space2(To Space)区复制时,对象大小大于To Space可用内存,则把该对象转存到老年代,且老年代的可用内存小于该对象大小
永久代 (Permanent Generation)
永久代指的是永久保存区域。主要存放Class和Meta(元数据)的信息。Classic在被加载的时候被放入永久区域,它和存放的实例的区域不同,在Java8中,词锋代已经被移除,取而代之的是一个称之为“元数据区”(元空间)的区域。元空间和永久代类似,都是对JVM中规范中方法的实现。不过元空间与永久代之间最大的区别在于:元空间并不在虚拟机中,而是使用本地内存。因此,默认情况下,元空间的大小仅受本地内存的限制。类的元数据放入native memory,字符串池和类的静态变量放入java堆中。这样可以加载多少类的元数据就不再由MaxPermSize控制,而由系统的实际可用空间来控制。
采用元空间而不用永久代的原因:
- 为了解决永久代的OOM问题,元数据和class对象存放在永久代中,容易出现性能问题和内存溢出。
- 类及方法的信息等比较难确定其大小,因此对于永久代大小指定比较困难,大小容易出现永久代溢出,太大容易导致老年代溢出(堆内存不变,此消彼长)。
- 永久代会为GC带来不必要的复杂度,并且回收效率偏低。