JVM中的堆区

最新推荐文章于 2023-09-01 18:27:15 发布

小呆萌熊

最新推荐文章于 2023-09-01 18:27:15 发布

阅读量279

点赞数 1

分类专栏： jvm 文章标签： jvm java

本文链接：https://blog.csdn.net/wwweeeeeeeeeee/article/details/119844883

版权

jvm 专栏收录该内容

7 篇文章 0 订阅

订阅专栏

文章目录

堆的核心概述
堆内存的划分
堆内存的设置和OutOfMemory举例
年轻代和老年代
- 设置新生代和老年代的占比
- 对象分配过程
Minor GC，MajorGC、Full GC
Minor GC触发机制
Full GC触发机制
内存分配策略
为对象分配内存：TLAB
逃逸分析：代码优化

堆的核心概述

堆针对一个JVM进程来说是唯一的，也就是一个JVM进程只有一个堆，一个JVM进程包含多个线程，这些线程是共享同一个堆的。堆是Java内存管理的核心区域，重要性可见一斑。Java堆区在JVM启动的时候就被创建了，它的大小也确定了。堆内存可以通过虚拟机参数调节。《Java虚拟机规范》规定，堆可以处于物理上不连续的内存空间中，但在逻辑上它应该被视为连续的。堆中还被划分了个区域叫TLAB，它是线程私有的缓冲区。《Java虚拟机规范》中对Java堆的描述是：所有的对象实例以及数组都应当在运行时分配在堆上。在虚拟机栈中，一个栈帧被弹出后，堆中的对象不会马上被销毁，仅仅在垃圾收集的时候才会。堆，是GC（Garbage Collection，垃圾收集器）执行垃圾回收的重点区域。
在这里插入图片描述

堆内存的划分

Java 7及之前堆内存逻辑上分为三部分：新生区+养老区+永久区

Young Generation Space 新生区 Young/New 又被划分为Eden区和Survivor区
Tenure generation space 养老区 Old/Tenure
Permanent Space 永久区 Perm

Java 8及之后堆内存逻辑上分为三部分：新生区+养老区+元空间

Young Generation Space 新生区 Young/New 又被划分为Eden区和Survivor区
Tenure generation space 养老区 Old/Tenure
Meta Space 元空间 Meta

堆内存的设置和OutOfMemory举例

-Xms用于表示堆区的起始内存，等价于-XX:InitialHeapSize
-Xmx则用于表示堆区的最大内存，等价于-XX:MaxHeapSize

一旦堆区中的内存大小超过“-Xmx"所指定的最大内存时，将会抛出OutOfMemoryError异常。
通常会将-Xms和-Xmx两个参数配置相同的值，其目的是为了能够在ava垃圾回收机制清理完堆区后不需要重新分隔计算堆区的大小，从而提高性能。

public class OOMTest {
    private static byte[] bytes=new byte[1024*1024*500];
    public static void main(String[] args) {
        ArrayList<Object> arrayList = new ArrayList<>();
        while (true){
            arrayList.add(new OOMTest());
        }
    }
}

在这里插入图片描述

年轻代和老年代

存储在JVM中的Java对象可以被划分为两类：

一类是生命周期较短的瞬时对象，这类对象的创建和消亡都非常迅速
另外一类对象的生命周期却非常长，在某些极端的情况下还能够与JVM的生命周期保持一致

因此根据对象的生命周期的长短可以划分为年轻代（YongGen）和老年代（OldGen）。其中年轻代又可以划分为Eden空间、Survivor0空间和Survivor1空间（有时也叫做from区、to区）
在这里插入图片描述

设置新生代和老年代的占比

默认-XX:NewRatio=2，表示新生代占1，老年代占2，新生代占整个堆的1/3
可以修改-XX:NewRatio=4，表示新生代占1，老年代占4，新生代占整个堆的1/5

在HotSpot中，Eden空间和另外两个survivor空间缺省所占的比例是8：1：1

可以通过选项-xx:SurvivorRatio调整这个空间比例。比如-xx:SurvivorRatio=8

IBM公司的专门研究表明，新生代中80%的对象都是“朝生夕死”的。即几乎所有的Java对象都是在Eden区被new出来的。绝大部分的Java对象的销毁都在新生代进行了。

对象分配过程

在这里插入图片描述

总结：

针对幸存者s0，s1区的总结：复制之后有交换，谁空谁是to
关于垃圾回收：频繁在新生区收集，很少在老年代收集，几乎不再永久代和元空间进行收集

Minor GC，MajorGC、Full GC

JVM在进行GC时，并非每次都对上面三个内存区域一起回收的，大部分时候回收的都是指新生代。

针对Hotspot VM的实现，它里面的GC按照回收区域又分为两大种类型：一种是部分收集（Partial GC），一种是整堆收集（FullGC）

部分收集：不是完整收集整个Java堆的垃圾收集。其中又分为：

新生代收集（Minor GC / Young GC）：只是新生代的垃圾收集
老年代收集（Major GC / Old GC）：只是老年代的圾收集。
混合收集（MixedGC）：收集整个新生代以及部分老年代的垃圾收集。

整堆收集（Full GC）：收集整个java堆和方法区的垃圾收集。

Minor GC触发机制

当年轻代空间不足时，就会触发MinorGC，这里的年轻代满指的是Eden代满，Survivor满不会引发GC。（每次Minor GC会清理年轻代的内存。）
因为Java对象大多都具备朝生夕灭的特性.，所以Minor GC非常频繁，一般回收速度也比较快。这一定义既清晰又易于理解。
Minor GC会引发STW，暂停其它用户的线程，等垃圾回收结束，用户线程才恢复运行

Full GC触发机制

调用System.gc()时，系统建议执行Full GC，但是不必然执行
老年代空间不足
方法区空间不足
通过Minor GC后进入老年代的平均大小大于老年代的可用内存
由Eden区、survivor space0（From Space）区向survivor space1（To Space）区复制时，对象大小大于To Space可用内存，则把该对象转存到老年代，且老年代的可用内存小于该对象大小

如果full gc 后内存还不够，就报OOM。Full GC比Minor GC慢十倍以上，STW（Stop The World）的时间更长。Full GC 是开发或调优中尽量要避免的，不然系统就显得非常卡顿，用户时间占比下降，严重影响用户体验。

内存分配策略

如果对象在Eden出生并经过第一次Minor GC后仍然存活，并且能被Survivor容纳的话，将被移动到survivor空间中，并将对象年龄设为1。对象在survivor区中每熬过一次MinorGC，年龄就增加1岁，当它的年龄增加到一定程度（默认为15岁，其实每个JVM、每个GC都有所不同）时，就会被晋升到老年代

对象晋升老年代的年龄阀值，可以通过选项-XX:MaxTenuringThreshold来设置

针对不同年龄段的对象分配原则如下所示：

优先分配到Eden
大对象直接分配到老年代（尽量避免程序中出现过多的大对象）
长期存活的对象分配到老年代
动态对象年龄判断：如果survivor区中相同年龄的所有对象大小的总和大于Survivor空间的一半，年龄大于或等于该年龄的对象可以直接进入老年代，无须等到MaxTenuringThreshold中要求的年龄。
空间分配担保： -XX:HandlePromotionFailure

为对象分配内存：TLAB

为什么有TLAB（Thread Local Allocation Buffer）？

堆区是线程共享区域，任何线程都可以访问到堆区中的共享数据
由于对象实例的创建在JVM中非常频繁，因此在并发环境下从堆区中划分内存空间是线程不安全的
为避免多个线程操作同一地址，需要使用加锁等机制，进而影响分配速度。

什么是TLAB？

从内存模型而不是垃圾收集的角度，对Eden区域继续进行划分，JVM为每个线程分配了一个私有缓存区域，它包含在Eden空间内。
多线程同时分配内存时，使用TLAB可以避免一系列的非线程安全问题，同时还能够提升内存分配的吞吐量，因此我们可以将这种内存分配方式称之为快速分配策略。
据我所知所有OpenJDK衍生出来的JVM都提供了TLAB的设计。

TLAB的再说明

尽管不是所有的对象实例都能够在TLAB中成功分配内存，但JVM确实是将TLAB作为内存分配的首选。
在程序中，开发人员可以通过选项“-XX:UseTLAB”设置是否开启TLAB空间。
默认情况下，TLAB空间的内存非常小，仅占有整个Eden空间的1%，当然我们可以通过选项 “-XX:TLABWasteTargetPercent” 设置TLAB空间所占用Eden空间的百分比大小。
一旦对象在TLAB空间分配内存失败时，JVM就会尝试着通过使用加锁机制确保数据操作的原子性，从而直接在Eden空间中分配内存。

堆空间参数设置总结

// 详细的参数内容会在JVM下篇：性能监控与调优篇中进行详细介绍，这里先熟悉下
-XX:+PrintFlagsInitial  //查看所有的参数的默认初始值
-XX:+PrintFlagsFinal  //查看所有的参数的最终值（可能会存在修改，不再是初始值）
-Xms  //初始堆空间内存（默认为物理内存的1/64）
-Xmx  //最大堆空间内存（默认为物理内存的1/4）
-Xmn  //设置新生代的大小。（初始值及最大值）
-XX:NewRatio  //配置新生代与老年代在堆结构的占比
-XX:SurvivorRatio  //设置新生代中Eden和S0/S1空间的比例
-XX:MaxTenuringThreshold  //设置新生代垃圾的最大年龄
-XX:+PrintGCDetails //输出详细的GC处理日志
//打印gc简要信息：①-Xx：+PrintGC ② - verbose:gc
-XX:HandlePromotionFalilure：//是否设置空间分配担保

逃逸分析：代码优化

使用逃逸分析，编译器可以对代码做如下优化：

栈上分配：将堆分配转化为栈分配。如果一个对象在子程序中被分配，要使指向该对象的指针永远不会发生逃逸，对象可能是栈上分配的候选，而不是堆上分配

	public static void haha(){
        //仅在当前方法中使用，没有逃逸
        Object o = new Object();
    }

同步省略：如果一个对象被发现只有一个线程被访问到，那么对于这个对象的操作可以不考虑同步。

public void hehe() {
    Object o= new Object();
    synchronized(o) {
        System.out.println(o);
    }
}
//优化成:
public void hehe() {
    Object o= new Object();
  	System.out.println(o);
}

分离对象或标量替换：有的对象可能不需要作为一个连续的内存结构存在也可以被访问到，那么对象的部分（或全部）可以不存储在内存，而是存储在CPU寄存器中。

public class Point {
    private int x;
    private int y;

    public Point() {
    }

    public Point(int x, int y) {
        this.x = x;
        this.y = y;
    }

    public static void main(String[] args) {
        Point point = new Point(1, 2);
        System.out.println(point.x + "," + point.y);
        //优化成：
        int x = 1;
        int y = 2;
        System.out.println(x + "," + y);
    }
}