(下面的几条规则是在Serial/Serial Old收集器下的内存分配和回收策咯)
我们先解释一下Minor GC 和 Full GC有什么区别?
新生代GC(Minor GC):指发生在新生代的垃圾收集动作,因为Java对象大多都具备朝生夕死的特性,所以Minor GC非常频繁,一般回收速度也比较快。
老年代GC(Major GC/ Full GC):指发生在老年代的GC,出现了Major GC,经常会伴随至少一次的Minor GC(并非绝对)。Major GC的速度一般会比Minor GC慢10倍以上。
对象优先在Eden分配
大多数情况下,对象优先在Eden区中分配。当Eden区没有足够空间进行分配时,虚拟机将发起一次Minor GC。
代码参考《深入理解JAVA虚拟机》第93页,这里提到这个例子只是为了帮助理解分配的规则。
我们尝试分配3个2MB大小和1个4MB大小的对象,在运行时通过设置-Xms20M、-Xmx20M、-Xmn10M这3个参数限制了JAVA堆大小为20MB,不可扩展,其中10MB分配给新生代,剩下的10MB分配给老年代。-XX:SurvovorRatio = 8 决定了新生代中的Eden区与一个Survivor区的空间比例是8:1,从输出结果可以看出“eden space 8192K”、“from space 1024K”、“to space 1024K”的信息,新生代总可用空间为9216KB(Eden 区 + 1个Survivor区的总容量)。
执行中分配给alloaction4对象的语句时会发生一次Minor GC,这次GC的结果是新生代6651KB变为148KB,而总内存占用量几乎没有减少(因为allocation1,allocation2,allocation3三个对象都是存活的,虚拟机几乎没有找到可回收的对象)。这次GC发生的原因是给alloaction4分配内存的时候,发现Eden已经被占用了6MB,剩余空间已不足以分配给alloction4所需的4MB内存,因此发生Minor GC。GC期间虚拟机又发现已有的3个2MB大小的对象全部无法放入Survivor空间(Survivor空间只有1MB的大小)。所以只好通过分配担保机制提前转移到老年代去。
这次GC结束后,4MB的alloction4对象顺利分配在Eden中,因此程序执行完的结果是Eden占用4MB(被alloction4占用),Survivor空闲,老年代被占用6MB(被allocation1,allocation2,allocation3占用)。
大对象直接进入老年代
所谓大对象是指,需要大量连续内存空间的Java对象,最典型的大对象就是那种很长的字符串以及数组。经常出现大对象容易导致内存还有不少空间时就提前触发垃圾回收以获取足够的连续空间来“安置”它们。
虚拟机提供了一个-XX:PretenureSizeThreshold参数,令大于这个设置值的对象直接在老年代分配。这样做的目的是避免在Eden区及两个Survivor区之间发生大量的内存复制。
执行94页中的代码后,我们看到Eden空间几乎没有被使用,而老年代的10MB空间被使用了40%。也就是4MB的alloction对象直接就分配在老年代中,这是因为PretenureSizeThreshold(此参数只对Serial和ParNew收集器有效)被设置为3MB(就是3145728,这个参数不能像-Xmx之类的参数一样直接写3MB),因此超过3MB的对象都会直接在老年代进行分配。
长期存活的对象将进入老年代
虚拟机采用分代收集的思想来管理内存,那么内存回收时就必须能识别哪些对象应放在新生代,哪些对象应放在老年代。为了做到这点,虚拟机给每个对象定义了一个对象年龄(Age)计数器。如果对象在Eden出生并经过第一次Minor GC后仍然存活,并且能够被Survivor容纳的话,将被移动到Survivor空间中,并且对象年龄设为1。对象在Survivor区中每“熬过”一次Minor GC,年龄就增加1岁,当他的年龄增加到一定程度(默认为15岁),就将会被晋升到老年代。对象晋升老年代的年龄阈值,可以通过参数-XX:MaxTenuringThreshold设置。
动态对象年龄判定
为了更好的适应不同程序的内存状况,虚拟机并不是永远地要求对象的年龄必须达到了MaxTenuringThreshold才能晋升到老年代,如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半,年龄大于或等于该年龄的对象就可以直接进入老年代,无须等到MaxTenuringThreshold中要求的年龄。
执行97页的代码,并设置-XX:MaxTenuringThreshold = 15,会发现运行结果中Survivor的空间占用仍然为0%,而老年代比预期增加了6%,也就是说,allocation、allocation2对象都直接进入了老年代,而没有等到15岁的临界年龄。因为这两个对象加起来已经到达了512KB,并且它们是同年的,满足同年对象达到Survivor空间的一半规则。我们只要注释掉其中一个对象new操作,就会发现另一个不会晋升到老年代中去了。
空间分配担保
在发生Minor GC之前,虚拟机会先检查老年代最大可用的连续空间是否大于新生代所有对象总空间,如果这个条件成立,那么MinorGC可以确保是安全的。如果不成立,则虚拟机会查看HandlerPromotionFailure设置值是否允许担保失败。如果允许,那么会继续检查老年代最大可用的连续空间是否大于历次晋升到老年代对象的平均大小,如果大于,将尝试着进行一次Minor GC,尽管这次Minor GC是有风险的;如果小于。或者HandlePromotionFailure设置不允许冒险,那这时也要改为进行一次Full GC。
解释一下“冒险”,前面提到过,新生代使用复制算法,但为了内存利用率,,只使用其中一个Survivor空间来作为轮换备份,因此当出现大量对象在Minor GC后仍然存活的情况(最极端的情况就是内存回收后新生代中所有对象都存活),那就需要老年代进行分配担保,把Survivor无法容纳的对象直接进入老年代。与生活中的贷款担保类似,老年代要进行这样的担保,前提是老年代本身还有容纳这些对象的剩余空间,一共有多少对象会活下来在实际完成内存回收之前是无法明确知道的,所以只好取之前每一次回收晋升到老年代对象容量的平均大小值作为经验值,与老年代的剩余空间进行比较,决定是否进行Full GC来让老年代腾出更多空间。
取平均值进行比较其实仍然是一种动态概率的手段,也就是说,如果某次Minor GC存活后的对象突增,远远高于平均值的话,依然会导致担保失败(Handle Promotion Failure)。如果出现了HandlePromotionFailure失败,那就只好在失败后重新发起一次Full GC。