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

 

Java与c++之间有一堵由内存分配和垃圾收集技术所围成的高墙，墙外面的人想进去，墙里面的人想出来

 

一、概述

垃圾收集（Garbage Collectio，GC）需要完成的三件事情：哪些内存需要回收？什么时候回收？如何回收？

上一篇博客介绍了Java内存区的各个部分，其中程序计数器、虚拟机栈、本地方法栈三个区域随着线程而生、随着线程而亡。这几个区域的内存分配和回收都具备确定性，不需要过多的考虑回收问题，但是Java堆和方法区不同，这部分的内存的分配和回收都是动态的，垃圾收集器关注的也是这部分内存。

 

二、对象已死？

1、引用计数法

该算法用于判断对象是否存活，过程如下：给对象添加一个引用计数器，当每有一个地方引用他时，计数器就加1；当引用失效时，计数器就减1，任何时刻计数器都为0的对象就是不可能再被使用的。

客观地来说，引用计数算法实现简单，判定效率也高，大部分情况下是个不错的算法，但是Java 语言没使用这个算法管理内存是因为他很难解决对象之间循环引用的问题。

 

2、根搜索算法

这个算法的基本思路就是通过一系列名为“GC Roots” 的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链，当一个对象到GC Roots 没有任何引用链相连时，证明此对象是不可用的。

在Java语言里，可做为GC Roots对象的包括一下几种：

• 虚拟机栈中引用的对象
• 方法区中类静态属性引用的对象
• 方法区中常量引用的对象
• 本地方法栈中JNI的引用对象

 

3、引用

在JDK1.2以后，Java 对于引用的概念进行了扩充，将引用分为强引用、软引用、弱引用的、虚引用，这四种引用之间强度依次减弱。

• 强引用就是指程序代码之间普遍存在的类似于“ Object obj = new Object(); ”这类引用，只要强引用还在，垃圾收集器就永远不会回收 被引用的对象。
• 软引用用来描述一些还存在，但非必须的许对象，在系统即将发生内存溢出异常之前，将这些对象列进回收范围之中并进行第二次回收，如果这次回收还是没有足够的内存，才会抛出内存溢出异常。
• 弱引用也是用来描述非必须对象的，但是它的强度比软银用更弱一些，被弱引用关联的对象只能生存到下一次立即收集发生之前。当垃圾是工作时，不论当前内存是否足够，都会收集掉只被弱引用关联的对象。
• 虚引用，一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象的实例

 

4、生存还是死亡？（ps：无力吐槽作者的文艺命名）

真正宣告一个对象的死亡，至少要经历两次标记过程：

如果对象在进行根搜索后没有发现与GC Roots 相连接的引用链，那么他将会被第一次标记并且进行筛选，筛选的条件是这个对象是否有必要执行finalize() 方法，当对象没有覆盖finalize() 方法，或者finalize() 方法已经被虚拟机调用过了，虚拟机将这两种情况都视为“没有必要执行”。如果这个对象有必要执行finalize() 方法，那么这个对象将会被放置到一个名为F-Queue的队列中，并且由一条由虚拟机自动创建的、低优先级的线程去执行。稍后GC会对F-Queue队列中的对象进行第二次小规模的标记，如果对象在finalize() 方法中重新与引用链上的任何一个对象建立关联，那么在第二次标记时他将被移出“即将回收队列”，如果还没有离开，那他就离死不远了。

 

5、回收方法区

在堆中，尤其是新生代，常规进行依次垃圾收集一般可以回收70%～95%的空间，而方法区（在GotSpot虚拟机中的永久代）的垃圾收集效率远低于此。永久代中垃圾收集主要回收两部分内容：废弃常量和无用类；判定一个常量是否为“废弃常量”很简单，判定一个类是否为“无用类”需要同时满足条件如下：

• 该类的所有实例已经被回收，Java堆中不含该类的任何实例
• 加载该类的ClassLoader已经被回收
• 该类对应的java.lang.CLass对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法

 

三、垃圾收集算法

 

1、标记-清除算法

算法分为标记跟清除两个阶段：首先标记出所有需要回收的对象，在标记完成之后同一回收所有者被标记的对象。

这是最基础的收集算法，但是有两个主要缺点：一是效率问题，标记清除的效率不高、二是空间问题，标记清除后会产生大量不连续的内存碎片。

2、复制算法

他将可用的内存空间按容量划分为大小相同的两块，每次只使用其中的一块。当这块用完了就将存活的对象复制到另外一块上去，然后把使用过的内存空间一次性清理掉。

现在的商用虚拟机都是使用这种收集算法来回收新声代，IBM研究显示，新生代中98%的对象都是朝生夕死，所以并不需要按照1:1来分配内存，而是将内存分为一块较大的Eden空间和两块较小的Survivor空间，每次使用一块Eden还有Survivor空间，当回收时将Eden还有Suvivor中活着的对象拷贝到另一块Suvivor中，之后一次性清理掉用过的Eden还有Suvivor中的空间。HotSpot中默认Eden和Suvivor的大小比例时8:1。

3、标记-整理算法

根据老年代的特点，提出了这种算法，该算法标记过程与“标记-清除”算法一致，但是后续过程不是将不可用对象清除，而是让所有的存活对象移动到一端，然后清理掉段边界以外的内存。

4、分代收集算法

根据对象存活周期不同将内存划分为几块，一般是将堆分为新生代和老年代，根据不同代的特点采用不同的收集算法，新生代使用复制算法、老年代使用“标记-清除”或者“标记-整理”算法。

 

四、垃圾收集器

如果说垃圾收集算法是内存回收的方法论，那么垃圾收集器就是内存回收的具体实现。上图展示了7种不同的分代收集器，如果之间存在连线，，就说明他们可以搭配使用。

1、Serial收集器：这是最基本历史最悠久的收集器，这是一个单线程的收集器名，它不仅会使用一个线程一个cpu去完成垃圾收集工作，更重要的是他在进行垃圾收集时必须暂停其他所有工作线程。

2、ParNew收集器：ParNew收集器其实就是Serial收集器的多线程版本，ParNew收集器出了多线程之外，其他的与Serial收集器没有太多创新之处

 

五、内存分配与回收策略

1、对象优先在Eden分配：大多数情况下，对象是在Eden区中分配内存，当Eden中没有足够的空间进行分配指，虚拟机将发起一次Minor GC

2、大对象直接进入老年代：大对象指的是需要大量连续内存空间的对象，典型的就是很长的字符串以及数组，大对象对于虚拟机的内存分配来说就是一个坏消息，更坏的消息是遇到一群短命的大对象。虚拟机提供了一个-XX:PretenureSizeThreshold参数，令大于这个设置值的对象直接在老年代中分配内存

3、长期存活的对象将进入老年代：虚拟机给每个对象定义了一个对象年龄计数器，对象在Eden中出生并且经历第一次Minor GC之后仍然存活并且能够被Survivor容纳，将会被移动至Suvivor空间，并且年龄设为1，对象在Survivor区中熬过每一次Minor GC，年龄就增加一岁，当他的年龄增加到默认值（一般是15），就会晋升到老年代中。

4、动态对象年龄判定：虚拟机并不是总要求对象的年龄达到默认值才能晋升到老年代，在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半，年龄大于或者等于该年龄的对象就可以进入老年代。