一、什么是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的引用链，obj8, obj9, obj10都没有到GC Roots对象的引用链，因此会被回收。
四、对象引用以及基于可达性分析的内存回收原理
对于可达性分析算法而言，未到达的对象并非是“非死不可”的，若要宣判一个对象的死亡，至少需要经历两次标记阶段：
- 如果对象在进行可达性分析后发现没有与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对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法；
