内存分配
对象的内存分配,往大方向讲,就是在堆上分配(但也可能经过JIT编译后被拆散为标量类型并间接地栈上分配),对象主要分配在新生代的Eden区上,如果启动了本地线程分配缓冲,将按线程优先在TLAB上分配。少数情况下也可能会直接分配在老年代。
1丶对象优先在Eden分配
大多数情况下,对象在新生代Eden区中分配。当Eden区没有足够空间进行分配时,虚拟机将发起一次Minor GC。
注:Minor GC 和 Full GC有什么不一样吗?
- 新生代GC(Minor GC):指发生在新生代的垃圾收集动作,因为Java对象大多都具备朝生夕灭的特性,所以Minor GC 非常频繁,一般回收速度也比较快。
- 老年代GC(Major GC / Full GC):指发生在老年代的GC,出现了Major GC,经常会伴随至少一次的Minor GC(但非绝对,在Parallel Scavenger收集器的收集策略里就有直接进行Major GC的策略选择过程)。Major GC的速度一般会比Minor GC 慢10倍以上。
测试案例
注:下面的代码在测试时使用Client模式虚拟机运行,验证的是在使用Serial / Serial Old收集器下的内存分配和回收的策略。
在运行时通过-Xms20M -Xmx20M -Xmn10M这3个参数限制了Java堆大小为20MB,其中新生代大小为10MB。新生代可用空间为9MB(9216KB)。
注:新生代总容量 = Eden区 + s0 + s1(两个Survivor区) 默认比例是8:1:1,每次只会用一个Survivor,两个交替使用。新生代可用空间为总空间容量的9/10。
private static final int _1MB = 1024 * 1024;
/**
* JVM参数 -Xms20M -Xmx20M -Xmn10M -XX:+PrintGCDetails
*/
public static void testAllocation(){
byte[] allocation1, allocation2, allocation3, allocation4;
allocation1 = new byte[2 * _1MB];
allocation2 = new byte[2 * _1MB];
allocation3 = new byte[2 * _1MB];
allocation4 = new byte[4 * _1MB];
}
[GC (Allocation Failure) [DefNew: 8147K->640K(9216K), 0.0046079 secs] 8147K->6784K(19456K), 0.0046526 secs] [Times: user=0.00 sys=0.00, real=0.00 secs]
Heap
def new generation total 9216K, used 4818K [0x00000000fec00000, 0x00000000ff600000, 0x00000000ff600000)
eden space 8192K, 51% used [0x00000000fec00000, 0x00000000ff014930, 0x00000000ff400000)
from space 1024K, 62% used [0x00000000ff500000, 0x00000000ff5a0240, 0x00000000ff600000)
to space 1024K, 0% used [0x00000000ff400000, 0x00000000ff400000, 0x00000000ff500000)
tenured generation total 10240K, used 6144K [0x00000000ff600000, 0x0000000100000000, 0x0000000100000000)
the space 10240K, 60% used [0x00000000ff600000, 0x00000000ffc00030, 0x00000000ffc00200, 0x0000000100000000)
Metaspace used 3281K, capacity 4496K, committed 4864K, reserved 1056768K
class space used 359K, capacity 388K, committed 512K, reserved 1048576K
程序执行到allocation3后,已经创建了3个2MB大小的对象分配在Eden区,总大小为6MB,执行到allocation4时,剩余空间已不足以分配allocation4所需的4MB内存,因此触发Minor GC。在GC期间虚拟机发现已有的3个2MB大小的对象无法放入Survivor区,所以只好通过分配担保机制提前转移到老年代。
这次GC结束后,4MB的allocation4对象顺利分配到Eden区中,Eden区占用6M,Survivor空闲,老年代区被占用4M。
2丶大对象直接进入老年代
所谓的大对象是指,需要大量连续内存空间的对象,比如很长的字符串以及数组。大对象堆虚拟机的内存分配来说就是个坏消息,经常出现大对象容易导致内存还有不少空间时就提前触发垃圾收集以获取足够的连续空间来“安置”它们。
注:虚拟机提供-XX:PretenureSizeThreshold参数,令大于这个设置值的对象直接在老年代分配。这样做的目的是避免在Eden区以及Survivor区之前发生大量的内存复制。
注:-XX:PretenureSizeThreshold参数只对ParNew和Serial垃圾收集器有效,如果遇到必需使用该参数的话,可以考虑使用ParNew + CMS的组合。
测试案例
通过设置-XX:PretenureSizeThreshold=3145728,让大于3145728KB的对象直接进去老年代。
private static final int _1MB = 1024 * 1024;
/**
* JVM参数 -Xms20M -Xmx20M -Xmn10M -XX:PretenureSizeThreshold=3145728 -XX:+PrintGCDetails
*/
public static void testPretenureSizeThreshold(){
byte[] allocation = new byte[4 * _1MB];
}
Heap
def new generation total 9216K, used 2167K [0x00000000fec00000, 0x00000000ff600000, 0x00000000ff600000)
eden space 8192K, 26% used [0x00000000fec00000, 0x00000000fee1dd98, 0x00000000ff400000)
from space 1024K, 0% used [0x00000000ff400000, 0x00000000ff400000, 0x00000000ff500000)
to space 1024K, 0% used [0x00000000ff500000, 0x00000000ff500000, 0x00000000ff600000)
tenured generation total 10240K, used 4096K [0x00000000ff600000, 0x0000000100000000, 0x0000000100000000)
the space 10240K, 40% used [0x00000000ff600000, 0x00000000ffa00010, 0x00000000ffa00200, 0x0000000100000000)
Metaspace used 3281K, capacity 4496K, committed 4864K, reserved 1056768K
class space used 359K, capacity 388K, committed 512K, reserved 1048576K
在执行代码后,我们看到Eden区空间几乎没有被使用,而老年代的10MB空间被使用了40%。也就是说4MB的allocation对象直接分配在老年代中。
3丶长期存活的对象将进入老年代
虚拟机采用了分代收集的思想来管理内存,那么哪些对象应放在新生代,哪些应放在老年代。为了做到这点,虚拟机给每个对象定义了一个对象年龄计数器。如果对象在Eden区出生并经过第一次Minor GC后仍然存活,并且Survivor容纳的话,将被移动到Survivor空间中,并且对象年龄设为1。对象在Survivor区中每经过一次Minor GC,年龄就增加1岁,当年龄增加到一定程度(默认15岁),将被晋升到老年代中。
注:虚拟机提供-XX:MaxTenuringThreshold参数,用来设置对象晋升老年代的年龄阈值
测试案例
通过设置-XX:MaxTenuringThreshold=1,对象晋升到老年代区的年龄阈值为1,那么,当GC结束后,allocation1和allocation2均会进入老年代区。
private static final int _1MB = 1024 * 1024;
/**
* JVM参数 -Xms20M -Xmx20M -Xmn10M -XX:MaxTenuringThreshold=1 -XX:+PrintGCDetails
*/
public static void testTenuringThreshold(){
byte[] allocation1, allocation2, allocation3;
allocation1 = new byte[_1MB / 4];
allocation2 = new byte[4 * _1MB];
allocation3 = new byte[4 * _1MB];
allocation3 = null;
allocation3 = new byte[4 * _1MB];
}
[GC (Allocation Failure) [DefNew: 6355K->870K(9216K), 0.0033337 secs] 6355K->4966K(19456K), 0.0033729 secs] [Times: user=0.01 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [DefNew: 5050K->1K(9216K), 0.0012698 secs] 9146K->4964K(19456K), 0.0012943 secs] [Times: user=0.00 sys=0.00, real=0.00 secs]
Heap
def new generation total 9216K, used 4235K [0x00000000fec00000, 0x00000000ff600000, 0x00000000ff600000)
eden space 8192K, 51% used [0x00000000fec00000, 0x00000000ff022860, 0x00000000ff400000)
from space 1024K, 0% used [0x00000000ff400000, 0x00000000ff400758, 0x00000000ff500000)
to space 1024K, 0% used [0x00000000ff500000, 0x00000000ff500000, 0x00000000ff600000)
tenured generation total 10240K, used 4962K [0x00000000ff600000, 0x0000000100000000, 0x0000000100000000)
the space 10240K, 48% used [0x00000000ff600000, 0x00000000ffad8ae8, 0x00000000ffad8c00, 0x0000000100000000)
Metaspace used 3277K, capacity 4496K, committed 4864K, reserved 1056768K
class space used 359K, capacity 388K, committed 512K, reserved 1048576K
通过GC日志发现,经过两次Minor GC,allocation1和allocation2均进入老年代区,allocation3在Eden区。
4丶动态对象年龄判定
为了能更好地适应不同程序的内存状况,虚拟机并不是永远地要求对象的年龄必须达到了阈值才能晋升老年代,如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半,年龄大于或者等于该年龄的对象就可以直接进入老年代,无须等到阈值要求的年龄。
测试案例
通过设置-XX:MaxTenuringThreshold=15,对象晋升到老年代区的年龄阈值为15,对象真的要等到15岁的临界年龄才能晋升到老年代吗?
private static final int _1MB = 1024 * 1024;
/**
* JVM参数 -Xms20M -Xmx20M -Xmn10M -XX:MaxTenuringThreshold=15 -XX:+PrintGCDetails
*/
public static void testTenuringThreshold2(){
byte[] allocation1, allocation2, allocation3, allocation4;
allocation1 = new byte[_1MB / 4];
allocation2 = new byte[_1MB / 4];
allocation3 = new byte[4 * _1MB];
allocation4 = new byte[4 * _1MB];
allocation4 = null;
allocation4 = new byte[4 * _1MB];
}
[GC (Allocation Failure) [DefNew: 6611K->1023K(9216K), 0.0046155 secs] 6611K->5224K(19456K), 0.0046663 secs] [Times: user=0.00 sys=0.00, real=0.00 secs]
[GC (Allocation Failure) [DefNew: 5203K->0K(9216K), 0.0017996 secs] 9404K->5224K(19456K), 0.0018154 secs] [Times: user=0.00 sys=0.00, real=0.00 secs]
Heap
def new generation total 9216K, used 4234K [0x00000000fec00000, 0x00000000ff600000, 0x00000000ff600000)
eden space 8192K, 51% used [0x00000000fec00000, 0x00000000ff022890, 0x00000000ff400000)
from space 1024K, 0% used [0x00000000ff400000, 0x00000000ff400208, 0x00000000ff500000)
to space 1024K, 0% used [0x00000000ff500000, 0x00000000ff500000, 0x00000000ff600000)
tenured generation total 10240K, used 5223K [0x00000000ff600000, 0x0000000100000000, 0x0000000100000000)
the space 10240K, 51% used [0x00000000ff600000, 0x00000000ffb19ec8, 0x00000000ffb1a000, 0x0000000100000000)
Metaspace used 3281K, capacity 4496K, committed 4864K, reserved 1056768K
class space used 359K, capacity 388K, committed 512K, reserved 1048576K
通过GC日志发现,allocation1和allocation2对象都直接进入老年代,并没有等到15岁的临界年龄。因为这两个对象加起来已经到达了512KB,并且它们都是同年的,满足同年对象达到Survivor区空间的一半规则,所以它们进入老年代。
5丶空间分配担保
在发生Minor GC 之前,虚拟机会先检查老年代最大可用的连续空间是否大于新生代所有对象总空间。如果条件成立,那么Minor GC可以确保是安全的。如果不成立,则虚拟机会查看HandlePromotionFailure设置值是否允许担保失败。如果允许,那么会继续检查老年代最大可用的连续空间是否大于历次晋升到老年代对象的平均大小,如果大于,将尝试进行一次Minor GC,尽管这次Minor GC是有风险的;如果小于,或者HandlePromotionFailure设置不允许冒险,那这时也要改为进行一次Full GC。
注:新生代使用复制算法,为了内存利用率,只使用其中一个Survivor区作为轮换备份,因此当出现大量对象在Minor GC后仍然存活的情况,就需要老年代进行分配担保,把Survivor区无法容纳的对象直接进入老年代。进入老年代之前,虚拟机要确保老年代的空间是否能容纳这些对象。由于在垃圾回收之前是无法确定有多少对象存活下来。所以只好取之前每一次回收晋升到老年代对象的容量的平均大小值作为经验值,与老年代的剩余空间进行比较,决定是否进行Full GC来让老年代腾出更多空间。取平均值毕竟是一种动态概率手段,如果某一次Minor GC后存活对象突增,远远高于平均值的话,依然会担保失败(Handle Promotion Failure)。如果出现担保失败,那只好发起一次Full GC。
注:在JDK6 Update 24之前,虚拟机会读取-XX:-HandlePromotionFailure参数的值判断是否允许担保失败。
在JDK6 Update 24之后,虽然源码中还定义了-XX:-HandlePromotionFailure参数,但是不会再使用它,规则变为只要老年代的连续空间大于新生代对象总大小或者历次晋升的平均大小就会进行Minor GC,否则将进行Full GC。
HotSpot中空间分配检查的代码片段
bool TenuredGeneration::promotion_attempt_is_safe(size_t
max_promotion_in_bytes) const {
// 老年代最大可用的连续空间
size_t available = max_contiguous_available();
// 每次晋升到老年代的平均大小
size_t av_promo = (size_t)gc_stats()->avg_promoted()->padded_average();
// 老年代可用空间是否大于平均晋升大小,或者老年代可用空间是否大于当此GC时新生代所有对象容量
bool res = (available >= av_promo) || (available >=
max_promotion_in_bytes);
return res;
}
参考文献:《Java虚拟机规范》丶《深入理解Java虚拟机》