一、内存分配与回收策略
内存分配往大方向讲,就是在堆上分配,对象主要分配在新生代的Eden区上,如果启动了本地线程分配缓冲(TLAB),将按线程优先在TLAB上分配。少数情况下也可以直接分配在老年代中,分配的规整并不是百分百固定的,其细节取决于当前使用的是哪一种垃圾收集器组合,还有虚拟机与内存的相关参数。
1.1、对象优先在Eden分配
大多数情况下,对象在新生代Eden区中分配,当Eden区没有足够空间进行分配时,虚拟机将发起一次Minor GC(新生代GC)。虚拟机提供了-XX:+PrintGCDetails这个收集器日志参数,告诉虚拟机在发生垃圾收集行为时打印内存回收日志,并且在进程退出的时候输出当前各个内存区域分配情况。
1.2、大对象直接进入老年代
大对象是指需要连续空间的java对象,最典型的大对象就是那种很长的字符串以及数组。大对象堆虚拟机的内存分配来说是一个坏消息(更坏的消息是遇到一群“朝生夕灭”的大对象,写程序的时候应当避免),经常出现大对象容易导致内存还有很多空间就提前触发垃圾收集以获得足够的连续空间来“安置”它们。
虚拟机提供了一个-XX:PretenureSizeThreshold参数,令大于这个设置值的对象直接在老年代分配。这样做的目的是避免在Eden区以及两个Survivor区之间发生大量的内存复制(新生代采用复制算法收集内存)。(PretenureSizeThreshold参数只对Serial和ParNew收集器有效)
1.3、长期存活的对象将进入老年代
虚拟机给每一个对象定义了一个对象年龄(Age)计数器(在对象头中)。如果对象在Eden出生并经过一个Minor GC后仍然存活,并且能被Survivor容纳的话,将被移动到Survivor空间中,并且年龄设为1.对象在Survivor区中每“熬”过一次Minor GC,年龄就增加1,当年龄增加到一定程度(默认15),将会被晋升到老年代中,对象晋升到老年代的阈值,可以通过参数-XX:MaxTenuringThreshold来设置。
1.4、动态对象年龄判定
为了能更好地适应不同程序的内存状况,虚拟机并不是永远要求对象的年龄必须到-XX:MaxTenuringThreshold设置的值才晋升到老年代,如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半,年龄大于等于该年龄的对象就可以直接进入老年代,不必等到-XX:MaxTenuringThreshold设置的年龄要求。
1.5、空间担保
在发生Minor GC之前,虚拟机会先检查老年代最大可用的连续空间是否大于新生代所有对象总空间,如果这个条件成立,那么Minor GC可以确保是安全的。如果不成立则虚拟机会查看HandlePromotionFailure设置值是否允许担保失败。如果允许,那么会继续检查老年代最大可用的连续空间是否大于历次晋升到老年代对象的平均大小,如果大于,将尝试一次Minor GC,尽管这个MInor GC是有风险的;如果小于,或者HandlePromotionFailure设置不允许冒险,那这时也要改为一次Full GC。
前面提到过,新生代采用复制算法收集,但是为了内存利用率,只使用其中一个Survivor空间来作为接收存活的对象,因此当出现大量对象在Minor GC后仍然存活的情况(极端情况是所有对象都存活),就需要老年代进行分配担保,把Survivor无法容纳的对象直接进入老年代。
目前的规则变为只要老年代的连续空间大于新生代对象总大小或这历次平均晋升的平均值就会进行Minor GC,否则将进行Full GC。