一、什么是GC
GC(Garbage Collecor)是JVM的内存回收器,当应用使用的内存不足时,会导致OOM(Out-Of-Memory)。
Java提供的GC可以自动监测对象是否超过作用域从而达到自动回收内存的目的(Java没有提供主动释放已分配内存的方法)。
Java的GC会自动管理内存,如果要主动请求内存回收,可以调用以下方法:
System.gc()
Runtime.getRuntime().gc()
二、GC如何管理内存(GC算法)
当我们创建对象时,JVM就会为我们创建的对象分配一块内存,那么这块内存GC如何管理呢?
引用计数法(该算法无法解决循环引用的情况,导致内存无法释放,GC已不使用该方法):
对象创建时,初始化计数为1;
每当有一个地方引用它,计数就+1;
每当有一个地方引用失效时,计数就-1;
可达性分析法(GC目前彩该方法):
该方法的基本思想是通过一系列称为“GC Roots”的对象作为起点,从这些点向下搜索,搜索走过的路径称为“引用链”,当某个对象到GC Roots没有任何引用链(即GC Roots不可达至该对象)时,则证明该对象是不可用的,就可以回收该对象内存。
其它算法(会在以后分别分析)
三、GC Roots
如何选择GC Roots呢?在Java中,可以作为GC Roots的包括以下几种:
系统类加载器(bottstrap)加载的类;
JVM虚拟机栈(栈帧中的局部变量区,也叫做局部变量表)中引用对象;
JVM方法区中的类静态属性引用的对象;
JVM常量池中引用的对象;
JVM本地方法栈中JNI(Native方法)引用的对象;
活动着的线程
下面给出一个GC Roots的图例:
gc roots.png
上图为GC Roots的引用链,obj8, obj9, obj10都没有到GC Roots对象的引用链,因此会被回收。
四、对象引用以及基于可达性分析的内存回收原理
references.png
对于可达性分析算法而言,未到达的对象并非是“非死不可”的,若要宣判一个对象的死亡,至少需要经历两次标记阶段:
如果对象在进行可达性分析后发现没有与GC Roots相连的引用链,则对该对象进行第一次标记并进行一次筛选,筛选的条件为:
是否有必要执行该对象的finalize方法
若对象没有覆盖finalize方法或者该finalize方法已经被JVM执行过了,则均视为不必要执行对象的finalize方法,即该对象将会被回收;
若对象覆盖了finalize方法且没有被执行过,则该对象会被放置在一个叫F-Queue的队列中,之后会由JVM自动建立优先级低的Finalizer线程去执行,而JVM不需要等待该线程执行结束,即JVM只负责建立线程,其它事则交由该线程去处理;
对F-Queue中的对象进行第二次标记:
如果对象在finalize方法中拯救了自己,即关联上了GC Roots引用链(如把this关键字赋值给其它变量),那么在第二次标记时该对象将从“即将回收”的集合中移除;
如果对象没有拯救自己,那么就会被回收;
以下代码演示了对象如何在finalize方法中拯救自己(然后,它只能自救一次,第二次仍旧被回收):
public class GC {
public static GC SAVE_HOOK = null;
public static void main(String[] args) throws InterruptedException {
// 新建对象,因为SAVE_HOOK指向这个对象,对象此时的状态是(reachable,unfinalized)
SAVE_HOOK = new GC();
// 将SAVE_HOOK设置成null,此时刚才创建的对象就不可达了,因为没有句柄再指向它了,
// 对象此时状态是(unreachable,unfinalized)
SAVE_HOOK = null;
// 强制系统执行垃圾回收,系统发现刚才创建的对象处于unreachable状态,
// 并检测到这个对象的类覆盖了finalize方法,因此把这个对象放入F-Queue队列,
// 由低优先级线程执行它的finalize方法,此时对象的状态变成(unreachable, finalizable)
// 或者是(finalizer-reachable,finalizable)
System.gc();
// sleep,目的是给低优先级线程从F-Queue队列取出对象并执行其finalize方法提供机会。
// 在执行完对象的finalize方法中的super.finalize()时,对象的状态变成(unreachable,finalized)状态,
// 但接下来在finalize方法中又执行了SAVE_HOOK = this;这句话,又有句柄指向这个对象了,对象又可达了。
// 因此对象的状态又变成了(reachable, finalized)状态。
Thread.sleep(500);
// 这里楼主说对象处于(reachable,finalized)状态应该是合理的。对象的finalized方法被执行了,
// 因此是finalized状态。又因为在finalize方法是执行了SAVE_HOOK=this这句话,本来是unreachable的对象,
// 又变成reachable了。
if (null != SAVE_HOOK) { //此时对象应该处于(reachable, finalized)状态
// 这句话会输出,注意对象由unreachable,经过finalize复活了。
System.out.println("Yes , I am still alive");
} else {
System.out.println("No , I am dead");
}
// 再一次将SAVE_HOOK放空,此时刚才复活的对象,状态变成(unreachable,finalized)
SAVE_HOOK = null;
// 再一次强制系统回收垃圾,此时系统发现对象不可达,虽然覆盖了finalize方法,但已经执行过了,因此直接回收。
System.gc();
// 为系统回收垃圾提供机会
Thread.sleep(500);
if (null != SAVE_HOOK) {
// 这句话不会输出,因为对象已经彻底消失了。
System.out.println("Yes , I am still alive");
} else {
System.out.println("No , I am dead");
}
}
@Override
protected void finalize() throws Throwable {
super.finalize();
System.out.println("finalize method executed!");
// 这句话让对象的状态由unreachable变成reachable,就是对象复活
SAVE_HOOK = this;
}
}
运行结果如下:
finalize method executed!
yes, i am still alive
no, i am dead
由此可见,该对象只能拯救自己一次,因为对象的finalize方法最多被JVM调用一次。
此外,我们还可以得知,一个堆对象的this(放在局部变量表中的第一项)引用会永远存在,在方法体内可以将this引用赋值给其它变量,这样堆中对象就可以被其它变量所引用,即不会被回收。
五、方法区的垃圾回收
方法区的垃圾回收主要回收两部分内容:
废弃常量;
无用的类;
既然进行垃圾回收,就需要判断哪些是废弃常量,哪些是无用的类?
如何判断废弃常量呢?以字面量回收为例,如果一个字符串“abc”已经进入常量池,但是当前系统没有任何一个String对象引用了叫做“abc”的字面量,那么,如果发生垃圾回收并且有必要时,“abc”就会被系统移出常量池。常量池中的其他类(接口)、方法、字段的符号引用也与此类似。
如何判断无用的类呢?需要满足以下三个条件:
该类的所有实例都已经被回收,即Java堆中不存在该类的任何实例;
加载该类的ClassLoader已经被回收;
该类对应的java.lang.Class对象没有在任何地方被引用,无法在任何地方通过反射访问该类的方法;