JVM内存分配与垃圾回收

目录

1.Java对象内存分配

1.1 对象优先在Eden分配

1.2 大对象直接进入老年代

1.3 长期存活的对象将进入老年代

1.4 动态对象年龄判定

1.5 空间分配担保

2. 对象存活状态检测

2.1 引用计数算法

2.2 可达性分析算法

2.3 对象的引用

3.垃圾回收算法

3.1 标记-清除算法

3.2 复制算法

3.3 标记-整理算法

3.3 分代收集算法

4.回收方法区

---

Java技术体系中所提倡的自动内存管理最终可以归结为自动化的解决了两个问题：给对象分配内存以及回收分配给对象的内存。首先我们先探讨一下给对象分配内存那点事儿。

1.Java对象内存分配

Java的对象内存分配，往大方向讲，就是在堆上分配，对象主要分配在新生代的Eden区上，如果启动了本地线程分配缓冲，将按线程优先在TLAB上分配。少数情况下也可能直接会在老年代中分配。

TLAB是JVM在内存新生代Eden Space中开辟的一小块线程私有的区域。默认占用Eden Space的1%。Java程序中有很多的对象是小对象，它们不存在线程共享也适合被快速的回收，所以对于小对象通常是在TLAB上优先分配。由于TLAB是线程私有所以没有锁的开销，因此实践中分配多个小对象效率通常高于分配一个大对象。

1.1 对象优先在Eden分配

大多数情况下，对象在新生代Eden区中分配。当Eden区没有足够空间进行分配时，虚拟机将会发生一次Monitor GC。虚拟机提供了参数-XX:+PrintGCDetails这个收集器日志参数，告诉虚拟机在发生垃圾收集行为的时候打印内存回收日志，并且在进程退出的时候输出当前的内存各个区域分配情况。Monitor GC和Full GC 有以下区别：

• 新生代GC（Minor GC）:指发生在新生代垃圾收集动作，因为大多数的Java对象都具备朝生夕死的特点，所以Monitor GC非常的频繁，一般的回收速度也比较快。
• 老生代GC（Major GC/Full GC）:指发生在老年代的GC，当发生Full GC的时候一般都会伴随有至少一次Minor GC。Full GC的速度一般会比Minor GC慢10倍以上。 

1.2 大对象直接进入老年代

所谓的大对象是指，需要大量连续内存空间的Java对象，最典型的大对象就是那种很长的字符串以及数组，大对象容易导致内存还有不少空间时就提前触发垃圾收集以获取足够的连续的空间来“安置”他们。虚拟机提供了一个参数-XX:PretenureSizeThreshold参数，令大于这个设置值的对象直接在老年代分配。这样做的目的是避免在Eden区以及两个Survivor区之间发生大量的内存复制。

1.3 长期存活的对象将进入老年代

虚拟机采用了分代收集的思想来管理内存，那么内存回收时就必须能识别哪些对象应放在新生代，哪些对象应放在老年代中。为了做到这一点，虚拟机给每个对象定义了一个对象年龄计数器。如果对象在Eden出生并经过第一次Minor GC仍然存活，并且能被Survivor容纳的话，将被移动到Survivor空间中，并且对象年龄设为1。对象在Survivor区每“熬过”一次Minor GC，年龄就增加1岁，当它的年龄增加到一定程度（默认15岁），就将会被晋升到老年代中。对象晋升到老年代的年龄阈值，可以通过参数-XX:MaxTenuringThreshold设置。

1.4 动态对象年龄判定

为了能更好地适应不同程序的内存状况，虚拟机并不是永远地要求对象年龄必须达到了MaxTenuringThreshold才能晋升老年代，如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半，年龄大于或等于该年龄的对象就可以直接进入老年代，无须等到MaxTenuringThreshold中要求的年龄。

1.5 空间分配担保

在发生Minor GC之前，虚拟机会先检查老年代最大可用的连续空间是否大于新生代所有对象总空间，如果这个条件成立，那么MinorGC可以确保是安全的。如果不成立，则虚拟机会查看HandlePromotionFilure设置值是否允许担保失败。如果允许，那么会继续检查老年代最大可用的连续空间是否大于历次晋升到老年代对象的平均大小，如果大于，将尝试进行一次Minor GC，尽管这个Minor GC是有风险的：如果小于，或者HandlePromotionFailure设置不允许冒险，那这时也要改为一次Full GC。

取平均值进行比较其实仍然是一种动态概率的手段，也就是说，如果某次Minor GC存活后的对象突增，远远高于平均值的话，依然会导致担保失败。如果出现了HandlePromotionFailure失败，那就只好在失败后重新发起一次Full GC。虽然担保失败时绕的圈子是最大的，但大部分情况下都还是会将HandlePromotionFailure开关打开，避免Full GC过于频繁。 

2. 对象存活状态检测

栈和程序计数器是不可能存在垃圾的，垃圾回收主要是回收堆和方法区。堆里面存放着Java世界中几乎所有的对象实例，因此垃圾收集器在对堆进行垃圾回收之前，首先需要检测对象的存活状态，然后对已经“死去”的对象进行垃圾回收。对象的存活状态检测有以下几种算法:

2.1 引用计数算法

引用计数算法的思想：给每个对象添加一个引用计数器，每当有一个地方引用它时，计数器的值就加1；当引用失效的时候，计数器的值就减1；任何时刻，计数器为0的对象就是不再被使用的，此时需要进行垃圾回收。

引用计数算法的实现简单，效率高，在大部分情况下是一个不错的算法，也有一些比较著名的应用案例，例如Python语言。但是很多主流的Java虚拟机并没有使用引用计数算法来管理内存，其中最主要的原因是它很难解决对象之间循环引用的问题。实例代码如下：      

package com.martin;
 
/**
 * @author martin
 * @date 18/1/1 下午1:13
 */
public class ReferenceCountGC {
    private Object instance;
 
    public Object getInstance() {
        return instance;
    }
 
    public void setInstance(Object instance) {
        this.instance = instance;
    }
 
    public static void main(String[] args) {
        ReferenceCountGC a = new ReferenceCountGC();
        ReferenceCountGC b = new ReferenceCountGC();
        a.setInstance(b);
        b.setInstance(a);
        a = null;
        b = null;
        System.gc();
    }
}

运行结果如下：     

[GC [PSYoungGen: 3963K->480K(76800K)] 3963K->480K(251392K), 0.0020750 secs] [Times: user=0.01 sys=0.00, real=0.01 secs] 
[Full GC [PSYoungGen: 480K->0K(76800K)] [ParOldGen: 0K->377K(174592K)] 480K->377K(251392K) [PSPermGen: 2842K->2841K(21504K)], 0.0154270 secs] [Times: user=0.01 sys=0.00, real=0.01 secs] 
Heap
 PSYoungGen      total 76800K, used 3302K [0x00000007aaa80000, 0x00000007b0000000, 0x0000000800000000)
  eden space 66048K, 5% used [0x00000007aaa80000,0x00000007aadb9a70,0x00000007aeb00000)
  from space 10752K, 0% used [0x00000007aeb00000,0x00000007aeb00000,0x00000007af580000)
  to   space 10752K, 0% used [0x00000007af580000,0x00000007af580000,0x00000007b0000000)
 ParOldGen       total 174592K, used 377K [0x0000000700000000, 0x000000070aa80000, 0x00000007aaa80000)
  object space 174592K, 0% used [0x0000000700000000,0x000000070005e4f8,0x000000070aa80000)
 PSPermGen       total 21504K, used 2848K [0x00000006fae00000, 0x00000006fc300000, 0x0000000700000000)
  object space 21504K, 13% used [0x00000006fae00000,0x00000006fb0c8040,0x00000006fc300000)

从垃圾回收日志的代码中我们可以看到，虚拟机并没有因为这两个对象互相引用就不回收它们，这也从侧面上反映出虚拟机并不是通过引用计数算法来判断对象是否存活的。关于垃圾回收日志，可以参看博客：GC日志分析

2.2 可达性分析算法

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

上图中，虽然object5、object6和object7相互有关联，但是它们到GC Roots是不可达的，所以它们将会被判定为垃圾回收的对象。在Java语言中，可作为GC Roots的对象包括以下几种：

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

2.3 对象的引用

在JDK1.2之前，Java中的引用的定义很传统：如果reference类型的数据中存储的数值代表的是另外一块内存的起始地址，就称这块内存代表一个引用。这种定义太过于狭隘，一个对象在这种定义下只有被引用或者没有被引用两种状态。在JDK1.2之后，Java对引用的概念进行了扩充，将引用分为强引用、软引用、弱引用、虚引用4种，这四种引用强度依次逐渐减弱。

• 强引用就是指在程序代码之中普遍存在的，类似于Object obj = new Object(）这类的引用，只要强引用还存在，垃圾收集器永远不会回收掉被引用的对象。
• 软引用用来描述一些还有用但并非必需的对象。对于软引用关联的对象，在系统将要发生内存溢出异常之前，将会把这些对象列进回收范围之中进行第二次回收。如果这次回收还没有足够的内存，才会抛出内存溢出的异常。JDK中，提供了SoftReference类来实现软引用。
• 弱引用也是用来描述非必需对象的，但是它的强度比软引用更弱一些，被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。JDK中，提供了WeakReference类来实现弱引用。
• 虚引用也称为幽灵引用或者幻影引用，它是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对生存时间构成影响，也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。JDK中，提供了PhantomReference类来实现虚引用。

3.垃圾回收算法

在确定了哪些对象需要被回收以后，垃圾收集器就会对垃圾对象进行回收。由于Java虚拟机规范并没有对垃圾收集器的实现做出限制，因此各个厂商的可以采用不同的算法来实现垃圾收集器，主要包括以下几种常见的垃圾收集算法：标记-清除算法、复制算法和标记-整理算法。

3.1 标记-清除算法

标记-清除算法分为“标记”和“清除”两个阶段：首先标记处所有需要回收的对象，在标记完成后统一回收所有被标记的对象。“标记-清除”算法是最基础的收集算法，后续的收集算法都是基于这种思路并对其不足进行改进而得到的。该算法的示意图，如下图所示：

       

该算法的主要不足有两个：一是效率问题，标记和清除两个过程的效率都不高；另外一个是空间问题，标记清除之后会产生大量的不连续内存碎片，空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时，无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。

3.2 复制算法

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

      

现代的商业虚拟机都采用这种收集算法来回收新生代，IBM公司的专门研究表明，新生代中的对象大概98%是“朝生夕死”的，所以并不需要按照1：1的比例来划分内存空间，而是将新生代内存分为一块较大的Eden空间和两块较小的Survivor空间，每次使用Eden和其中一块Survivor，当回收时，将Eden和Survivor中还存活着的对象一次性地复制到另外一块Survivor空间上，最后清理掉Eden和刚才用过的Survivor空间。HotSpot虚拟机默认Eden和Survivor的大小比例是8：1，也就是每次新生代中可用内存空间为整个新生代容量的90%（80%+10%）。如果新生代经过回收后，存活的对象超过10%，这样就导致另外一块Survivor空间没有足够空间存放存活对象。此时，这些对象将直接通过分配担保机制进入老年代。

3.3 标记-整理算法

复制收集算法在对象存活率较高时就要进行较多的复制操作，效率将会变低。更关键的是，如果不想浪费50%的空间，就需要有额外的空间进行分配担保，以应对被使用的内存中所有对象100%存活的极端情况，所以老年代一般不能直接选用这种算法。根据老年代的特点，提出了“标记-整理”算法，标记过程和“标记-清除”算法一样，但后续步骤不是直接对可回收对象进行清理，而是让存活的对象都向一端移动，然后直接清理掉端边界以外的内存，“标记-整理”算法示意图如图所示：

     

3.3 分代收集算法

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

4.回收方法区

方法区（HotSpot虚拟机中称为永久代）的垃圾收集主要回收两部分内容：废弃常量和无用的类，相对而言，永久代的垃圾收集效率远低于堆中的垃圾收集效率。

方法区回收废弃常量与回收堆中的对象非常的类似，例如有一个字符串“abc”，当系统中没有一个String对象叫做“abc”的时候，也就是说没有任何一个Java对象引用常量池中的“abc”常量。如果这时发生了内存回收，这个“abc”常量就会被系统清理出常量池。判断一个常量是否是“废弃常量”比较简单，而要判断一个类是否是“无用的类”的条件要比较苛刻。类需要同时满足下面3个条件才能算是“无用的类”： 

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

虚拟机可以对满足上述3个条件无用类进行回收，这里仅仅是说“可以”，而并不是和对象一样，不使用了就必然会回收。是否对类进行回收，HotSpot虚拟机提供了-Xnoclassgc参数进行控制，还可以使用-verbose:class和-XX:+TraceClassLoading查看类加载和卸载信息。

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