Java内存回收知识（读书笔记）--深入理解Java虚拟机——JVM高级特性与最佳实践(第2版)2.2~2.3

1.哪些地方的内存要回收？

Java程序运时的内存包括以下几部分：程序计数器，Java虚拟机栈，本地方法栈，Java堆，方法区（运行时常量池是方法区的一部分）。

程序计数器，Java虚拟机栈，本地方法栈是随线程而生，随线程而亡，它们的分配的内存大小已知，因此不需要开发人员考虑对这些部分的内存进行回收，因为方法结束或者线程结束的时候，内存自然会随之回收。

Java堆和方法区则是需要开发人员考虑回收的内存区域。这部分的内存和回收都是动态的，垃圾收集器关注的是这部分内存。

2.如何判断堆内存中的对象仍然存活？

主流的方法是通过可达性分析算法来判断对象是否存活。这个算法的基本思路是通过一系列的称为“GC Root”的对象作为起始点。从这些节点开始向下搜索，搜索走过的路径称为引用链（ReferenceChain）,当一个对象到GC Root没有任何引用链相连的时候，这个对象就是不可达的，这个对象就会被判断为可回收对象。图示如下：

在Java语言中可以作为GC Root的对象包括以下几种，

1)  虚拟机栈（栈帧中的本地变量表）中的引用对象。

2)  方法区中类静态属性引用的对象。

3)  方法区中常量引用的对象。

4)  本地方法栈中的JNI(本地方法也称为Native方法)引用的对象。

3.什么时候回收？

之前已经讨论过，程序计数器，Java虚拟机栈，本地方法栈是随线程而生，随线程而亡，它们的分配的内存大小已知，因此不需要开发人员考虑对这些部分的内存进行回收，因为方法结束或者线程结束的时候，内存自然会随之回收。因此，这里说的什么时候回收内存主要是针对Java堆和方法区。

Java堆中存放几乎存放了所以的实例对象。垃圾回收器在对堆内存进行回收之前要检查哪些对象仍然存活，哪些对象已经死亡（不可能再被任何途径使用的对象）。

Java方法区用于存储被虚拟机加载的类信息，常量，静态变量，即使编译器编译后的代码等，垃圾回收器对这一区域的的回收主要是针对常量池的回收和对类的卸载。

所以，如果是非静态的基本类型，基本类型是存放到Java虚拟机栈中的，如果该对象的被销毁的时候，非静态的基本类型的成员变量也会被回收。但是常量和静态变量是保存在方法区，即使该对象被销毁了，但是该对象里面的常量和静态成员变量也是不会被回收的，只有等到整个进程被销毁的时候常量和静态变量才会被销毁。

至于对象，一个对象被宣布死亡至少要经历两个标记过程。第一个是进行可达性分析算法后，如果发现对象没有与GC Root相连的引用链，那么他会被第一次标记并进行筛选，筛选条件是此对象是否有必要执行finalize方法。如果被判断为有必要执行finalize且在这个方法执行的过程中，对象没能和引用链的任意一个对象建立连接，那么这个对象就基本上是被回收了。

4.Java引用的概念

在JDK1.2之前，Java引用的概念很传统：如果reference类型的数据存储的数值代表的是另一块内存的起始地址，就称这块内存代表着一个引用。虽然这个定义很纯粹，但是过于狭隘，一个对象在这种定义下只有被引用和没有被引用两种状态。

因此，在JDK1.2之后，Java对引用的概念进行了扩充，将引用分为强引用（Strong Reference），软引用（Soft Reference），弱引用（Weak Reference），虚引用（Phantom Reference）4种。这4种引用强度依次逐渐减弱。

1)  强引用就是指类似“Object obj = newObject();”这类引用，只要强引用还存在，垃圾回收器永远不会回收掉被引用的对象。

2)  软引用是用来描述一些还有用但是非必须的对象，对于软引用关联的对象，在系统将要发生内存溢出之前，将会把这些对象列入回收范围之中进行二次回收，如果这次回收还没有足够的内存，才会抛出内存溢出异常。JDK1.2之后提供SoftReference类来实现软引用。

3)  弱引用也是用来描述非必须的对象的，但它的引用强度比软引用更弱一点，被弱引用关联的对象只能生存到下一次垃圾回收发生之前。也就是说，当垃圾回收发生的时候，无论当前内存是否足够。被弱引用关联的对象都会被回收。JDK1.2之后提供WeakReference类来实现弱引用。

4)  虚引用是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来获取一个对象的实例。为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收前收到一个系统通知。JDK1.2之后提供PhantomReference类来实现虚引用。

5.回收方法区

方法区的垃圾回收主要回收两部分内容：废弃常量和无用的类。以常量池中字面量的回收为例。假如一个字符串“abc”已经进入了常量池（String是被final修饰的，所以它是存在于方法区中），但是当前程序中没有任何一个String对象是叫做“abc”的，换句话说，就是没有任何对象引用常量池中的“abc”常量，也没有其他地方引用了这个字面量，如果这时候发生了内存回收，而且必要，这个“abc”常量就会被系统清理出常量池，常量池中的其他类（接口），方法，字段的符号引用也与此类似。

要判断一个类是否是“无用的类”条件比较苛刻。这个类需要同时满足下面三个条件才能算是“无用的类”。

1)  该类的所以实例都已经被回收，也就是Java堆中不存在该类的任何实例。

2)  加载该类的ClassLoader已经被回收。

3)  该类对应的java.lang.Class对象没有在任何地方被引用。无法在任何地方通过反射访问该类的方法。

满足以上三个条件虚拟机才可以对这个类进行回收，但不一定会回收，只是可以回收。