JVM堆内存分配策略

最新推荐文章于 2024-03-26 09:39:28 发布

swadian2008

最新推荐文章于 2024-03-26 09:39:28 发布

阅读量1k

点赞数 2

分类专栏： Java Virtual Machine (JVM) 文章标签： jvm堆内存分配 JVM 逃逸分析栈上分配

本文链接：https://blog.csdn.net/swadian2008/article/details/103835851

版权

Java Virtual Machine (JVM) 专栏收录该内容

13 篇文章 2 订阅

订阅专栏

（1）逃逸分析(Escape Analysis)

一、JVM堆内存划分

在JDK1.8之后，将最初的永久带内存空间取消了，取消永久代目的是为了将HotSpot于JRockit两个虚拟机标准联合为一个。

在整个JVM堆内存之中实际上将内存分为了三部分：

新生代：新对象和没达到一定年龄的对象都在年轻代

老年代：被长时间使用的对象，老年代的内存空间应该要比年轻代更大

元空间（JDK1.8之前叫永久代）：像一些方法中的操作临时对象等，JDK1.8之前是占用JVM内存，JDK1.8之后直接使用物理内存

二、GC流程

基本所有数据都会保存在JVM的堆内存之中，对于整个的GC流程里面，最需要处理的事年轻代与老年代的内存清理操作，元空间（永久代）都不在GC范围内。

具体流程：

当现在有一个新的对象产生，JVM需要为该对象进行内存空间的申请
先判断Eden区是否有内存空间，如果有，直接将新对象保存在Eden区
如果Eden区的内存空间不足，会自动执行一个Minor GC操作，将Eden区的无用内存空间进行清理
清理Eden区之后继续判断Eden区内存空间情况，如果充足，则将新对象直接保存在Eden区
如果执行了Minor GC之后发现Eden区的内存依然不足，那就判断存活区的内存空间，并将Eden区的部分活跃对象保存在存活区
活跃对象迁移到存活区后，继续判断Eden区内存空间情况，如果充足，则将新对象直接保存在Eden区
如果存活区也没有空间了，则继续判断老年区，如果老年区充足，则将存活区的部分活跃对象保存在老年区
存活区的活跃对象迁移到老年区后，则将Eden区的部分活跃对象保存在存活区
活跃对象迁移到存活区后，继续判断Eden区内存空间情况，如果充足，则将新对象直接保存在Eden区
如果老年区也满了，这时候产生Major GC（Full GC）进行老年区的内存清理
如果老年区执行了Major GC之后发现无法进行对象保存，会产生OutOfMemoryError异常

三、JAVA堆内存分配与回收策略

对象的内存分配，大方向上讲，就是在堆上分配，对象主要分配在新生代的Eden区上，如果启动了本地线程分配缓冲，将按线程优先在TLAB上分配。少数情况下也可能会直接分配在老年代中，分配规则并不是百分百固定，其细节取决于当前使用的是哪一种垃圾收集器组合，还有虚拟机中与内存相关的参数的设置。

1.对象优先在Eden区分配

大多数情况下，对象在新生代Eden区中分配。当Eden区没有足够的空间进行分配时，虚拟机将发起一次Minior GC。

2.大对象直接进入老年代

所谓大对象是指，需要大量连续内存空间的Java对象，最典型的大对象就是那种很长的字符串以及数组。大对象对虚拟机的内存分配来说就是一个坏消息，经常出现大对象容易导致内存还有不少空间时就提前触发垃圾收集以获得足够的连续空间来“安置”它们。

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

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

4.动态对象年龄判定

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

基本所有数据都会保存在JVM的堆内存之中，对于整个的GC流程里面，最需要处理的是年轻代与老年代的内存清理操作，元空间（永久代）都不在GC范围内。

5.空间分配担保

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

冒险是指新生代使用复制收集算法，但为了内存的利用率，只使用其中一个Survivor空间作为轮换备份，因此当出现大量对象在Minor GC 后仍然存活的情况，就需要老年代进行分配担保，把Survivor无法容纳的对象直接进入老年代。如果老年代剩余空间不足就需要进行Full GC。

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

三、逃逸分析与栈上分配

1、相关概念

（1）逃逸分析(Escape Analysis)

逃逸分析的基本行为就是分析对象动态作用域：当一个对象在方法中被定义后，它可能被外部方法所引用，称为方法逃逸。甚至还有可能被外部线程访问到，譬如赋值给类变量或可以在其他线程中访问的实例变量，称为线程逃逸。

逃逸分析的几种方式如下：

public class EscapeTest {
    public static Object obj;
    public void globalVariableEscape() {  // 给全局变量赋值，发生逃逸
        obj = new Object();
    }
    public Object methodEscape() {  // 方法返回值，发生逃逸
        return new Object();
    }
    public void instanceEscape() {  // 实例引用发生逃逸
        test(this);
    }
}

（2）栈上分配

栈上分配就是把方法中的变量和对象分配到栈上，方法执行完后自动销毁，而不需要垃圾回收的介入，从而提高系统性能。

（3）同步消除

线程同步本身比较耗，如果确定一个对象不会逃逸出线程，无法被其它线程访问到，那该对象的读写就不会存在竞争，对这个变量的同步措施就可以消除掉。单线程中是没有锁竞争。（锁和锁块内的对象不会逃逸出线程就可以把这个同步块取消）

（4）标量替换

Java虚拟机中的原始数据类型（int，long等数值类型以及reference类型等）都不能再进一步分解，它们就可以称为标量。相对的，如果一个数据可以继续分解，那它称为聚合量，Java中最典型的聚合量是对象。如果逃逸分析证明一个对象不会被外部访问，并且这个对象是可分解的，那程序真正执行的时候将可能不创建这个对象，而改为直接创建它的若干个被这个方法使用到的成员变量来代替。拆散后的变量便可以被单独分析与优化，可以各自分别在栈帧或寄存器上分配空间，原本的对象就无需整体分配空间了。

2、栈上分配深入分析

public class OnStackTest {
    public static void alloc(){
        byte[] b=new byte[2];
        b[0]=1;
    }
    public static void main(String[] args) {
        long b=System.currentTimeMillis();
        for(int i=0;i<100000000;i++){
            alloc();
        }
        long e=System.currentTimeMillis();
        System.out.println(e-b);
    }
}

（1）开启逃逸分析

JVM默认开启逃逸分析，开启逃逸分析参数：-XX:+DoEscapeAnalysis

-verbose:gc -XX:+PrintGCDetails -XX:+DoEscapeAnalysis

IDEA操作图示：

开启逃逸分析结果：

如图示：开启逃逸分析后，有许多对象没有分配在堆上（eden区占用率才24%），没有进行GC，而是把一些对象分配在栈上。

即时编译器（Just-in-time Compilation，JIT）
1、使用client编译器时，默认执行为1500次才认为是热代码；
2、使用server编译器时，默认执行为10000次才认为是热代码；
上面的例子开启逃逸分析后，并不是所有的对象都直接在栈上分配，而是通过JIT分析此代码是热代码，才进行异步编译成本地机器码，并通过逃逸分析，把对象分配到栈上。（如果是server编译器：在前10000次循环和编译成本地机器码这段时间，对象都会在堆中分配对象，编译成本地机器码后才会在栈上分配）

（2）关闭逃逸分析

关闭逃逸分析参数：-XX:-DoEscapeAnalysis

关闭逃逸分析结果：

如图示：关闭逃逸分析，对象全部分配在堆上，当堆中对象存满后，进行多次GC，导致执行时间大大延长。堆上分配比栈上分配慢上百倍。（625/5=125）

3、标量替换深入分析

-XX:+EliminateAllocations 开启标量替换（jdk1.8默认开启，其它版本未测试）
-XX:-EliminateAllocations 关闭标量替换
标量替换基于分析逃逸基础之上，开启标量替换必须开启逃逸分析

开启标量替换，执行代码同上，查看执行结果：

关闭标量替换，执行代码同上，注意这里开启了逃逸分析

查看执行结果：

这次我们打开逃逸分析，并且把标量替换功能关闭，我们发现对象又分配到堆里面了，并执行了多次GC。由此可以看出java中没有实现真正意义上的栈上分配，而是通过标量替换来实现栈上分配的。

4、锁消除深入分析

开启和关闭锁销除：

-XX:+EliminateLocks开启锁消除（jdk1.8默认开启，其它版本未测试）
-XX:-EliminateLocks 关闭锁消除
锁消除基于分析逃逸基础之上，开启锁消除必须开启逃逸分析

把上面的OnStackTest代码稍微修改了下，加了一个同步块。默认数组长度大于64的是不会在栈上分配的，我们都以堆上分配为例来测试锁消除带来的影响。

public class OnStackTest {
    public static void alloc() {
        byte[] b = new byte[65];
        synchronized (b) {
            b[0] = 1;
        }
    }

    public static void main(String[] args) {
        long b = System.currentTimeMillis();
        for (int i = 0; i < 100000000; i++) {
            alloc();
        }
        long e = System.currentTimeMillis();
        System.out.println(e - b);
    }
}

关闭锁销除：用时3613ms

开启锁销除：用时1274ms

通过开启和关闭锁销除，我们可以看到两者之间性能上得差异。

swadian2008

关注

2
点赞
踩
3

收藏

觉得还不错? 一键收藏
打赏
2
评论
JVM堆内存分配策略

目录一、JVM堆内存划分二、GC流程三、JAVA堆内存分配与回收策略1.对象优先在Eden区分配2.大对象直接进入老年代3.长期存活的对象将进入老年代4.动态对象年龄判定5.空间分配担保三、逃逸分析与栈上分配1、相关概念（1）逃逸分析(Escape Analysis)（2）栈上分配（3）同步消除（4）标量替换2、栈上分配深入分析（1）...
复制链接

扫一扫