垃圾收集器与内存分配策略 - 1 GC

垃圾收集(Garbage Collection,简称GC)，主要有以下三点

1. 那些内存需要回收
2. 什么时候回收
3. 如何回收
   像java中已经对于垃圾收集与内存分配实现了自动化，那么我们为什么还要去了解呢？
   是当我们需要达到更高并发量时，当GC会成为瓶颈的时候，我们就需要去监控和调节GC

而java内存运行时，其中程序计数器、虚拟机栈、本地方法栈都随线程变化——编译器可知
而堆和方法区也不同，会根据接口的实现类多少或者一个方法中不同条件分支所需要的内存也可能不一样——运行期可知
GC关心的也是运行期间这些动态产生的内存该如何管理

判断对象该不该被回收

GC进行回收前，需要先确定对象哪些是活，哪些是死

1. 引用计数算法 （了解）

最基本的就是引用计数算法：在对象中添加一个引用计数器，每有一个地方引用它时，计数器就加一；当引用失效时，计数器就减一；任何时候计数器为零的对象就是不可能再被使用的，也就是已死的对象

但是在java中却并没有选用该方法来判断，因为会有一些例外情况（如对象间相互循环引用）

2. 可达性分析算法（使用）

这是当前主流的语言所使用的算法可达性分析算法（Reachability Analysis）

该算法就是一些叫做GC roots的根对象作为起始节点，从这些节点根据引用关系向下搜索，搜索过程的路径称为引用链，如果某个对象到GC roots之间没有任何引用链，就证明该对象不可达，证明该对象不可被使用

在java中，固定可作为GC roots的对象一般有以下几种：

1. 在虚拟机栈中引用的对象（如正在运行的方法中所使用到的参数、局部变量、临时变量等）
2. 在方法区中类静态属性引用的变量
3. 在方法区中常量引用的对象
4. 在本地方法栈中JNI（Native方法）引用的对象
5. java虚拟机内部的引用
6. 所有被同步锁持有的对象
7. 反映java虚拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等

3. 引用的概念

在上述两种算法中都提到了引用
在JDK1.2版之后，java对引用的概念进行了补充，将引用分为强引用、软引用、弱引用和虚引用四种，强度依次递减

1. 强引用时最传统的“引用”定义，指代码中普遍存在的引用赋值（Object object = new Object()），无论任何情况，只要强引用关系还在，GC就不会回收被引用的对象
2. 软引用是用来描述一些还有用，但是非必须的对象，只被软引用关联着的对象，在系统将要发生内存溢出异常前，会对这些对象进行二次回收，如果这次回收后还没有足够的内存，才会抛出异常（JDK1.2之后提供SoftReference类来实现软引用）
3. 弱引用也是用来描述那些非必须的对象，但是强度比软引用更弱，被弱引用关联的对象只能生存到下一次GC收集发生为止，当GC开始工作，无论当前内存是否足够都会回收弱引用关联的对象（JDK1.2之后提供WeakReference类来实现软引用）
4. 虚引用也被称为“幽灵引用”等，是最弱的一种引用关系，一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来获取对象实例，设置虚引用的目的只是为了能在这个对象被GC回收时收到一个通知（JDK1.2之后提供PhantomReference类来实现软引用）

如果执行回收

即使被算法判定为不可达之后，也并不是“非死不可”的，这是还是“缓刑”的状态，最多还需要进行两次标记过程：1.如果对象在进行可达性分析后发现与GC roots没有相连接的引用链，会被进行第一次标记；2.随后进行一次筛选，筛选的条件是此对象是否有必要执行finalize()方法，假如对象没有覆盖该方法，或方法已经被虚拟机调用过，虚拟将将这两种情况都视为“没必要执行”，没必要执行后就会被回收

注意：并不建议使用finalize()方法，其运行代价高且不确定性大；finalize()方法能做的使用try-finally都能做得更好

回收方法区（了解）

方法区垃圾收集的效率是很低的，像java堆一次垃圾收集通常可以回收70%~99%内存空间，而方法区因为苛刻的判定条件回收成果远远低于此

方法区主要回收两部分：废弃常量和不再使用的类型

回收废弃常量和回收对象很相似（只要没有任何对象去引用常量池中的常量，就可以清理出常量池），判定起来较为简单

而要判定一个类型是否是“不再被使用的类型”就比较苛刻，要满足三个条件：

1. 该类的所有实例都已经被回收，java堆中不存在该类以及其任何派生子类的实例
2. 加载该类的类加载器已经被回收（很难达成）
3. 该类的java.lang.class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法
   java虚拟机允许对满足上述三个条件的无用类进行回收，只是被允许而不是必然会回收，还需要有参数来控制（-Xnoclassgc等）