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

当需要排查各种内存溢出、内存泄漏问题时，当垃圾收集成为系统达到更高并发量的瓶颈时，我们就需要对内存动态分配与内存回收技术实施必要的监控和调节。

Java内存运行时区域的各个部分，其中程序计数器、虚拟机栈、本地方法栈3个区域都是随线程而生，随线程而灭，内存分配和回收都具备确定性，在方法结束或者线程结束时内存自然就跟着回收了，所以这几个区域不需要过多考虑回收的问题。而Java堆和方法区则不一样，这部分内存的分配和回收都是动态的，垃圾收集器所关注的就是这部分内存。

一.对象已死吗

垃圾收集器在对堆进行回收前，首先确定里面对象哪些还“存活”着，哪些已经“死去”了（即不可能再被任何途径使用的对象）。

1.引用计数算法

算法的基本思路：给对象中添加一个引用计数器，每当有一个地方引用它时，计数器值就加1；当引用失效时，计数器值就减1；任何时刻计数器为0的对象就是不可能再被使用了。

引用计数算法的实现简单，判定效率也很高，在大本分情况下都是一个不错的算法，例如微软公司的COM技术、使用ActionScript3的FlashPlayer、Python语言和在游戏脚本领域被广泛应用的Squirrel中都使用了引用计数算法进行内存管理。但主流的Java虚拟机里面并没有选用技术算法来管理内存，其中最主要的原因是他很难解决对象之间相互循环引用的问题。

2.可达性分析算法

在主流的商用程序语言（Java、C#）的主流实现中都是通过可达性分析来判断对象是否存活的。这个算法的基本思路：通过一系列的成为“GC Roots”的对象作为起始点，从这些节点开始乡下搜索，搜索走过的路径成为引用链，当一个对象到GC Roots没有任何引用链相连时，则证明此对象是不可用的。

在Java语言中，可作为GC Roots的对象包括下面几种：

虚拟机栈（帧栈中的本地变量表）中引用的对象。
方法区中类静态属性引用的对象。
方法区中常量引用的对象。
本地方法栈中JNI（即一般说的Native方法）引用的对象。

3.引用

无论是通过引用计数算法判断对象的引用数量，还是通过可达行分析算法判断对象的引用链是否可达，判断对象是否存活都与“引用”相关。引用分为强引用、软引用、弱引用、虚引用4中，这4种引用强度依次减弱。

强引用就是指程序代码中普遍存在的，类似“Object obj = new Object()”这类的引用，只要强引用还存在，垃圾收集器永远不会回收掉被引用的对象。

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

弱引用也是用来描述非必须对象的，但是它的强度比软引用更弱一些，被弱引用关联的对象还能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉被弱引用关联的对象。在JDK1.2之后，提供了WeakReference类来实现弱引用。

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

4.回收方法区

Java虚拟机规范中说过可以不要求虚拟机在放法区实现垃圾收集，在方法区中进行垃圾收集的性价比一般比较低。永久代的垃圾收集主要回收两部分内容：废弃常量和无用的类。判断一个常量是否是“废弃常量”比较简单，而判定一个类是否是“无用的类”的条件相对苛刻许多。类需要同时满足下面3个条件：

该类所有的实例都已经被回收，也就是Java堆中不存在该类的任何实例。
加载该类的CladdLoder已经被回收。
该类对应的java.lang.Class对象没有在任何地方被引用，无法再任何地方通过反射访问该类的方法。

在大量使用反射、动态代理、CGLib等ByteCode框架、动态生成JSP以及OSGi这类频繁自定义ClassLoader的场景都需要虚拟机具备类卸载的功能，以保证永久代不会溢出。

二.垃圾收集算法

1.标记-清楚算法

最基础的收集算法，算法分为“标记”和“清除”两个阶段：首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象。之所以说它是最基础的收集算法，是因为后续的收集算法都是基于这种思路并对其不足进行改进而得到的。它的不足有两个：一个是效率问题，标记和清除两个过程的效率都不高；另一个是空间问题，标记清楚之后会产生大量不连续的内存碎片，空间碎片太多可能导致以后再程序运行过程中需要分配较大对象时，无法找到足够的连续内存而得不得不提前触发另一次垃圾收集动作。

2.复制算法

复制算法解决了效率问题，它将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。挡着一块的内存用完了，就将还存活这的对象复制到另一块上面，然后把已使用过的内存空间一次清理掉。这样使得每次都是对整个半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要一动堆顶指针，按顺序分配内存即可，实现简单，运行高效。只是这种算法的代价是讲内存缩小为了原来的一半。

现在的商业虚拟机都采用这种收集算法来回收新生代，但并不是按照1:1的比例来划分内存空间，而是将内存分为一块较大的Eden空间和两块较小的Survivor空间，HotStop虚拟机默认Eden和Survivor比例是8:1，也就是每次新生代中可用内存空间为整个新生代容量的90%，只有10%的内存会被浪费。当Survivor空间不够用时，需要依赖其他内存（这里指老年代）进行分配担保。

3.标记-整理算法

复制收集算法在对象存活率较高时就要进行较多的复制操作。更为关键的是如果不想浪费50%的空间，就需要有额外的空间进行分配担保，以应对被使用的内存中所有对象都100%存活的极端情况，所以在老年代一般不能直接选用这种算法。

根据老年代的特点提出了“标记-整理”算法，标记过程与“标记-清楚”算法一样，但后续步骤不是直接对可回收对象进行整理，而是让所有存活的对象都向一端移动，然后直接清理掉端边界以外的内存。

4.分代收集算法

当前商业虚拟机的垃圾收集都采用“分代收集”算法，这种算法并没有什么新思想，只是根据对象存活周期的不同将内存划分为几块。一般是把Java堆分为新生代和老年代，这样就可以根据各个年代的特点从用最合适的收集算法。在新生代中，每次垃圾手机时都发现有大批对象死去，只有少量存活，那就选用复制算法。而老年代中因为对象存活率高、没用额外空间对他进行分配担保，就必须使用“标记-清理”或“标记-整理”算法来进行回收。

三.hotspot的算法实现

1.枚举根节点

由于目前的主流Java虚拟机使用的都是准确式GC，所以当系统停顿下来后，并不需要一个不漏地检查完所有执行上下文和全局的引用位置，虚拟机应当是有办法直接得知哪些地方存放着对象引用。在HotSpot的实现中，是使用一组成为OopMap的数据结构来达到这个目的，在类加载完成的时候，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来，在JIT编译过程中，也会在特定的位置记录下栈和寄存器中哪些位置的引用。这样，GC在扫描时就可以直接得知这些信息了。

2.安全点

HotSpot并没有为每条指令都生成OopMap，只是在“特定的位置”记录这些信息，这些位置称为安全点，程序执行到达安全点时开始GC。安全点的选定基本上是以程序“是否具有让程序长时间执行的特征”为标准进行选定的。“长时间执行”的最明显特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等，所以具有这些功能的指令才会产生SatePoint。

如何在GC发生时让所有线程（不包括执行JNI调用的线程）都“跑”到最近的安全点上再停顿下来。这里有两种方案可供选择：抢先式中断和主动式中断。抢先式中断是暂停所有线程来响应GC事件；而主动式中断思想是当GC需要中断线程的时候，不直接对线程操作，仅仅简单的设置一个标志，各个线程执行时主动去轮询这个标志，发现中断标志为真时就自己中断挂起。轮询标志的地方和安全点重合，另外再加上创建对象需要分配内存的地方。

3.安全区域

程序处于Sleep状态或者Blocked状态时，线程无法响应JVM的中断请求，这种情况就需要安全区域来解决。

安全区域是指在一段代码片段之中，引用关系不会发生变化，在这个区域的任何地方开始GC都是安全的，也可以把安全区域看做是被扩展的安全点。