Java示例GC日志输出与理论预期不符的原因咨询

测试参数与代码 #

JVM参数 #

-XX:+PrintGCDetails -Xms20m -Xmx20m -Xmn10m -XX:SurvivorRatio=8

测试代码 #

public class EdenTest {
    private static final int _1MB = 1024 * 1024;
    static byte[] allocation1, allocation2, allocation3, allocation4;
    public static void main(String[] args) throws InterruptedException {
        allocation1 = new byte[2 * _1MB];
        allocation2 = new byte[2 * _1MB];
        allocation3 = new byte[2 * _1MB];
        allocation4 = new byte[4 * _1MB];
    }
}

理论预期 #

按照常规JVM内存模型分析：

• allocation1、allocation2、allocation3（共6MB）会先分配在Eden区；
• 分配allocation4（4MB）时，Eden区（8MB）剩余空间不足，触发Minor GC；
• 由于Survivor区（每个1MB）无法容纳6MB的存活对象，JVM会将allocation1、2、3移入老年代；
• 最终老年代占用约6MB，Eden区占用约4MB，Survivor区为空。

实际GC日志输出 #

[GC (Allocation Failure) [PSYoungGen: 6267K->872K(9216K)] 6267K->4976K(19456K), 0.0014582 secs] [Times: user=0.00 sys=0.00, real=0.00 secs] 
Heap
 PSYoungGen      total 9216K, used 7337K [0x00000000ff600000, 0x0000000100000000, 0x0000000100000000)
  eden space 8192K, 78% used [0x00000000ff600000,0x00000000ffc50650,0x00000000ffe00000)
  from space 1024K, 85% used [0x00000000ffe00000,0x00000000ffeda020,0x00000000fff00000)
  to   space 1024K, 0% used [0x00000000fff00000,0x00000000fff00000,0x0000000100000000)
 ParOldGen       total 10240K, used 4104K [0x00000000fec00000, 0x00000000ff600000, 0x00000000ff600000)
  object space 10240K, 40% used [0x00000000fec00000,0x00000000ff002020,0x00000000ff600000)
 Metaspace       used 3334K, capacity 4496K, committed 4864K, reserved 1056768K
  class space    used 363K, capacity 388K, committed 512K, reserved 1048576K

不一致原因分析 #

1. JVM内部对象占用额外内存 #

JVM启动后，会自动在年轻代、老年代分配大量内部对象，比如类加载器、线程实例、系统类实例等，这些对象的存在会占用部分内存，导致实际内存分布和仅考虑测试代码对象的理论计算出现偏差。

2. 大对象处理细节与理论假设不同 #

测试中每个byte数组大小为2MB，超过了Survivor区的1MB容量，按照规则，这类大对象在Minor GC时会直接进入老年代。但年轻代中还有JVM自身的小存活对象，这些对象会被复制到Survivor区，这就是日志里Survivor区有85%占用的原因——理论预期忽略了这些小对象的存在。

3. JIT编译器的死代码消除优化 #

测试代码里仅对allocation1、2、3进行了赋值，没有实际使用这些变量。JIT编译器会识别这类“死代码”，直接优化掉赋值操作，导致部分byte数组对象根本没被创建，或者被提前回收，最终老年代的实际占用远低于理论预期的6MB。如果在代码中添加一行使用这些变量的代码（比如System.out.println(allocation1.length);），死代码消除就会失效，老年代占用会接近理论值。

4. 内存计算的精度差异 #

理论预期只计算了byte数组的原始大小（2MB），但实际对象还包含对象头（约24字节），且JVM内存分配会按8字节对齐，这些细节会导致实际内存占用和理论值存在微小误差。

内容的提问来源于stack exchange，提问作者wy867986155