66-javajvm-堆:
堆与进程、线程
对堆的认识
堆内存分区(重要)
现代垃圾收集器大部分都基于分代收集理论设计,堆空间细分为:
Java 7及之前堆内存逻辑上分为三部分:新生区 + 养老区 + 永久区
1、Young Generation Space 新生区 Young/New
2、又被划分为 Eden区 和 Survivor区
3、Tenure generation space 养老区 Old/Tenure
4、Permanent Space永久区 Perm
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KjhwP4ul-1669901720438)(png/image-20211127155441226.png)]](https://1000bd.com/contentImg/2024/04/13/aa5602a5c6edc4d4.png)
Java 8及之后堆内存逻辑上分为三部分:新生区 + 养老区 + 元空间
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-OaxwuWYR-1669901720440)(png/image-20211127155505826.png)]](https://1000bd.com/contentImg/2024/04/13/494d0b9963827345.png)
约定:新生区 = 新生代 = 年轻代、 养老区 = 老年区 = 老年代、 永久区 = 永久代
堆空间内部结构,JDK1.8之前从永久代 替换成 元空间
堆空间逻辑上包括 永久代/元空间,实际上控制不到
![[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-emeOhArK-1669901720442)(png/image-20211127155628232.png)]](https://1000bd.com/contentImg/2024/04/13/12f46c38822ef94a.png)
设置堆空间大小
Java堆区用于存储Java对象实例,那么堆的大小在JVM启动时就已经设定好了,可以通过"-Xms"和"-Xmx"来进行设置。
-Xms 堆的初始内存,等价于-XX:InitialHeapSize。-Xmx堆的最大内存,等价于 -XX:MaxHeapSize
一旦堆区中的内存大小超过“-Xmx”所指定的最大内存时,将会抛出OutofMemoryError异常。
通常会将-Xms和-Xmx两个参数配置相同的值,其目的是为了能够在Java垃圾回收机制清理完堆区后不需要重新分隔计算堆区的大小,从而提高性能。
默认情况下:初始内存大小:物理电脑内存大小/64。最大内存大小:物理电脑内存大小/4
分析原因:大对象导致堆内存溢出
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-YB6y30A1-1669901720443)(png/a737a35c239bcd02fc01d849d5cb4af6.png)]
Java 对象分类
1、存储在JVM中的Java对象可以被划分为两类:
一类是生命周期较短的瞬时对象,这类对象的创建和消亡都非常迅速
另外一类对象的生命周期却非常长,在某些极端的情况下还能够与JVM的生命周期保持一致
2、Java堆区进一步细分的话,可以划分为年轻代(YoungGen)和老年代(oldGen)
3、其中年轻代又可以划分为Eden空间、Survivor0空间和Survivor1空间(有时也叫做from区、to区)
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-jfNg60Dv-1669901720444)(png/image-20211127182743803.png)]
配置新生代与老年代的比例
配置新生代与老年代在堆结构的占比(下面这些参数在开发中一般不会调)
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Ey7ehKcU-1669901720446)(png/image-20211127182841813.png)]
新生区中的比例
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-XNdqqDFN-1669901720446)(png/image-20211127182949986.png)]
通过命令行查看各种比例
查看新生代与老年代的比例 jps jinfo -flag NewRatios 进程id
查看新生区中伊甸园区与幸存者区的比例 jps jinfo -flag SurvivorRatio 进程id
设置 JVM 参数 -Xms600m -Xmx600m -XX:NewRatio=2 -XX:SurvivorRatio=8
新生区中:伊甸园区 : 幸存者 0 区 : 幸存者 1 区 = 8 : 1 : 1 新生区 : 老年区 = 1 : 2
对象分配过程
为新对象分配内存是一件非常严谨和复杂的任务,JVM的设计者们不仅需要考虑内存如何分配、在哪里分配等问题,并且由于内存分配算法与内存回收算法密切相关,所以还需要考虑GC执行完内存回收后是否会在内存空间中产生内存碎片。
YGC / Minor GC操作[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-jPShCZ7B-1669901720447)(png/image-20211127183526205.png)]
当我们进行一次垃圾收集后,红色的对象将会被回收,而绿色的独享还被占用着,存放在S0(Survivor From)区。同时我们给每个对象设置了一个年龄计数器,经过一次回收后还存在的对象,将其年龄加 1。
同时Eden区继续存放对象,当Eden区再次存满的时候,又会触发一个MinorGC操作,此时GC将会把 Eden和Survivor From中的对象进行一次垃圾收集,把存活的对象放到 Survivor To区,同时让存活的对象年龄 + 1
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-hgBG6mI3-1669901720448)(png/image-20211127183601772.png)]
我们继续不断的进行对象生成和垃圾回收,当Survivor中的对象的年龄达到15的时候,将会触发一次 Promotion 晋升的操作,也就是将年轻代中的对象晋升到老年代中
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-fSxoWxhO-1669901720448)(png/image-20211127183622753.png)]
HeapInstanceTest06测试,观察图形变化
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-yA1aMSE8-1669901720449)(png/417dd33a347f9d12f018490ca944996d.gif)]
特殊情况说明
思考:幸存区满了咋办?
特别注意,在Eden区满了的时候,才会触发MinorGC,而幸存者区满了后,不会触发MinorGC操作
如果Survivor区满了后,将会触发一些特殊的规则,也就是可能直接晋升老年代
对象分配的特殊情况
如果来了一个新对象,先看看 Eden 是否放的下?
如果 Eden 放得下,则直接放到 Eden 区
如果 Eden 放不下,则触发 YGC ,执行垃圾回收,看看还能不能放下?放得下最好当然最好咯
将对象放到老年区又有两种情况:
如果 Eden 执行了 YGC 还是无法放不下该对象,那没得办法,只能说明是超大对象,只能直接怼到老年代
那万一老年代都放不下,则先触发重 GC ,再看看能不能放下,放得下最好,但如果还是放不下,那只能报 OOM 啦
如果 Eden 区满了,将对象往幸存区拷贝时,发现幸存区放不下啦,那只能便宜了某些新对象,让他们直接晋升至老年区
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-s49WP0vQ-1669901720450)(png/image-20211127184132010.png)]
Minor GC、Major GC、Full GC
垃圾收集,我们需要尽量的避免垃圾回收,因为在垃圾回收的过程中,容易出现STW(Stop the World)的问题,而 Major GC 和 Full GC出现STW的时间,是Minor GC的10倍以上
JVM在进行GC时,并非每次都对上面三个内存( 新生代、老年代;方法区 )区域一起回收的,大部分时候回收的都是指新生代。针对Hotspot VM的实现,它里面的GC按照回收区域又分为两大种类型:一种是部分收集(Partial GC),一种是整堆收集(FullGC)
1、部分收集:不是完整收集整个Java堆的垃圾收集。其中又分为:
新生代收集( Minor GC/Young GC ):只是新生代( Eden、S0/S1 )的垃圾收集
老年代收集( Major GC/Old GC ):只是老年代的垃圾收集。
目前,只有CMS GC会有单独收集老年代的行为。
注意,很多时候Major GC会和Full GC混淆使用,需要具体分辨是老年代回收还是整堆回收。
混合收集(Mixed GC):收集整个新生代以及部分老年代的垃圾收集。
目前,只有G1 GC会有这种行为
2、整堆收集(Full GC):收集整个java堆和方法区的垃圾收集。
Young/Minor GC
年轻代 GC(Minor GC)触发机制
当年轻代空间不足时,就会触发Minor GC,这里的年轻代满指的是Eden区满,Survivor区满不会触发GC。(每次Minor GC会清理年轻代的内存)
因为Java对象大多都具备朝生夕灭的特性,所以Minor GC非常频繁,一般回收速度也比较快。这一定义既清晰又易于理解。
Minor GC会引发STW,暂停其它用户的线程,等待垃圾回收线程结束,用户线程才恢复运行
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-FgKvdf31-1669901720450)(png/image-20211127185225675.png)]
Major GC 老年代 GC(MajorGC/Full GC)触发机制
Full GC Full GC 触发机制
触发Full GC执行的情况有如下五种:
调用System.gc( )时,系统建议执行Full GC,但是不必然执行
老年代空间不足
方法区空间不足
通过Minor GC后进入老年代的平均大小 大于 老年代的可用内存
由Eden区、survivor space0(From Space)区 向survivor space1(To Space)区复制时,对象大小大于To Space可用内存,则把该对象转存到老年代,且老年代的可用内存 小于 该对象大小
说明:Full GC 是开发或调优中尽量要避免的。这样STW时间会短一些
堆空间分配思想 (为了性能,减少stw,减少对没用对象的筛查)
为什么要把Java堆分代?不分代就不能正常工作了吗?
经研究,不同对象的生命周期不同。70%-99%的对象是临时对象。
新生代:有Eden、两块大小相同的Survivor(又称为from/to,s0/s1)构成,to总为空。
老年代:存放新生代中经历多次GC之后仍然存活的对象。
其实不分代完全可以,分代的唯一理由就是优化GC性能。
若不分代,所有对象都在一块,如同把一个学校的人都关一起。GC的时候要找到哪些对象没用,这样就会对堆的所有区域进行扫描。
而很多对象都是朝生夕死的,如果分代的话,把新创建的对象放到某一地方,当GC的时候先把这块存储“朝生夕死”对象的区域进行回收,这样就会腾出很大的空间出来。
内存分配策略 内存分配策略或对象提升(Promotion)规则
针对不同年龄段的对象分配原则如下所示:
为对象分配内存: TLAB
为什么有 TLAB 问题:堆空间都是共享的么?
不一定,因为还有TLAB这个概念,在堆中划分出一块区域,为每个线程所独占
为什么有TLAB(Thread Local Allocation Buffer)?
TLAB:Thread Local Allocation Buffer,也就是为每个线程单独分配了一个缓冲区
堆区是线程共享区域,任何线程都可以访问到堆区中的共享数据
由于对象实例的创建在JVM中非常频繁,因此在并发环境下从堆区中划分内存空间是线程不安全的
为避免多个线程操作同一地址,需要使用加锁等机制,进而影响分配速度。
什么是 TLAB
1、从内存模型而不是垃圾收集的角度,对Eden区域继续进行划分,JVM为每个线程分配了一个私有缓存区域,它包含在Eden空间内。
2、多线程同时分配内存时,使用TLAB可以避免一系列的非线程安全问题,同时还能够提升内存分配的吞吐量,因此我们可以将这种内存分配方式称之为快速分配策略。
3、所有OpenJDK衍生出来的JVM都提供了TLAB的设计。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-S05dAQc0-1669901720451)(png/image-20211127191818096.png)]
TLAB 分配过程
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-dHoZBdVD-1669901720451)(png/image-20211127192020994.png)]
官方连接 https://docs.oracle.com/javase/8/docs/technotes/tools/unix/java.html
常用参数设置
-XX:+PrintFlagsInitial:查看所有的参数的默认初始值
-XX:+PrintFlagsFinal:查看所有的参数的最终值(可能会存在修改,不再是初始值)
-Xms:初始堆空间内存(默认为物理内存的1/64)
-Xmx:最大堆空间内存(默认为物理内存的1/4)
-Xmn:设置新生代的大小(初始值及最大值)
-XX:NewRatio:配置新生代与老年代在堆结构的占比
-XX:SurvivorRatio:设置新生代中Eden和S0/S1空间的比例
-XX:MaxTenuringThreshold:设置新生代垃圾的最大年龄
-XX:+PrintGCDetails:输出详细的GC处理日志
-XX:+PrintGC 或 -verbose:gc :打印gc简要信息
-XX:HandlePromotionFalilure:是否设置空间分配担保
空间分配担保 (old连续空间和新生代所有对象总空间比较。大于,minor gc安全,小于,则判断old最大连续可用空间是否大于历史晋升到老年代对象平均的大小。大于,可minor gc 。小于 full gc)
在发生Minor GC之前,虚拟机会检查老年代最大可用的连续空间是否大于新生代所有对象的总空间。
堆是分配对象存储的唯一选择吗?
在《深入理解Java虚拟机》中关于Java堆内存有这样一段描述:
随着JIT编译期的发展与逃逸分析技术逐渐成熟,栈上分配、标量替换优化技术将会导致一些微妙的变化,所有的对象都分配到堆上也渐渐变得不那么“绝对”了。
在Java虚拟机中,对象是在Java堆中分配内存的,这是一个普遍的常识。但是,有一种特殊情况,那就是如果经过逃逸分析(Escape Analysis)后发现,一个对象并没有逃逸出方法的话,那么就可能被优化成栈上分配。这样就无需在堆上分配内存,也无须进行垃圾回收了。这也是最常见的堆外存储技术。
此外,前面提到的基于OpenJDK深度定制的TaoBao VM( 淘宝虚拟机 ),其中创新的GCIH(GC invisible heap)技术实现off-heap,将生命周期较长的Java对象从heap中移至heap外,并且GC不能管理GCIH内部的Java对象,以此达到降低GC的回收频率和提升GC的回收效率的目的。
1 逃逸分析 (看对象创建的位置,在方法内外是否使用。紧在方法内部,为逃逸,放在栈中进行分配和销毁)
如何将堆上的对象分配到栈,需要使用逃逸分析手段。
举例
public void my_method() {
V v = new V();
// use v
// ....
v = null;
}
逃逸分析之代码优化
使用逃逸分析,编译器可以对代码做如下优化:
栈上分配:将堆分配转化为栈分配。如果一个对象在子程序中被分配,要使指向该对象的指针永远不会发生逃逸,对象可能是栈上分配的候选,而不是堆上分配
同步省略:如果一个对象被发现只有一个线程被访问到,那么对于这个对象的操作可以不考虑同步。
分离对象或标量替换:有的对象可能不需要作为一个连续的内存结构存在也可以被访问到,那么对象的部分(或全部)可以不存储在内存,而是存储在CPU寄存器中。
2 栈上分配 (未逃逸,出栈即销毁,无gc) A12_StackAllocation
3 同步省略(锁消除) (未逃逸的不牵扯线程共享,安全,不需要同步)
线程同步的代价是相当高的,同步的后果是降低并发性和性能。
在动态编译同步块的时候,JIT编译器可借助逃逸分析来判断同步块所使用的锁对象是否只被一个线程访问而没有被发布到其他线程。
如果没有,那么JIT编译器在编译这个同步块的时候就会取消对这部分代码的同步。这样就能大大提高并发性和性能。这个取消同步的过程就叫同步省略,也叫锁消除。
4 分离对象或标量替换 (未逃逸,将对象分解为标量,提升性能)
参数 -XX:+ElimilnateAllocations:开启了标量替换(默认打开),允许将对象打散分配在栈上。
好处:
标量替换举例
public static void main(String args[]) {
alloc();
}
class Point {
private int x;
private int y;
}
private static void alloc() {
Point point = new Point(1,2);
System.out.println("point.x" + point.x + ";point.y" + point.y);
}
以上代码,经过标量替换后,就会变成
private static void alloc() {
int x = 1;
int y = 2;
System.out.println("point.x = " + x + "; point.y=" + y);
}
标量替换举例
public static void main(String args[]) {
alloc();
}
class Point {
private int x;
private int y;
}
private static void alloc() {
Point point = new Point(1,2);
System.out.println("point.x" + point.x + ";point.y" + point.y);
}
以上代码,经过标量替换后,就会变成
private static void alloc() {
int x = 1;
int y = 2;
System.out.println("point.x = " + x + "; point.y=" + y);
}