文章目录
1. 概述
- 一个JVM实例只存在一个堆内存,堆也是Java内存管理的核心区域
- Java堆区在JVM启动的时候即被创建,其空间大小也就确定了。是JVM管理的最大一块内存空间
- 堆内存的大小是可以调节的
- 《Java虚拟机规范》规定,堆可以处于物理上不连续的内存空间中,但在逻辑上它应该被视为连续的
- 所有的线程共享Java堆,在这里还可以划分线程私有的缓冲区
- 《Java虚拟机规范》中对Java堆的描述是:所有的对象实例以及数组都应当运行时分配在堆上
- 我要说的是:“几乎”所有的对象实例都在这里分配内存——从实际使用角度看
- 数组和对象可能永远不会存储在栈上,因为栈帧中保存引用,这个引用指向对象或者数组在堆中的位置
2. 内存结构(Jdk 8)
- 新生区(YoungGen)
- Eden区
- Survivor0区(from区)
- Survivor1区(to区)
- 老年区(OldGen)
- 元空间
3. 设置堆空间大小
- 设置
- -Xms:堆区的起始内存,等价于-XX:InitialHeapSize
- -Xmx:堆区的最大内存,等价于-XX:MaxHeapSize
- 一旦堆区中的内存大小超过“-Xmx”所指定的最大内存时,将会抛出OutOfMemoryError异常
- 通常会将-Xms和-Xmx两个参数配置相同的值,目的是为了能够在java垃圾回收机制清理完堆区后不需要重新分隔计算堆区大小,从而提高性能
- 默认情况下,
- 初始内存大小:物理电脑内存大小 / 64
- 最大内存大小:物理电脑内存大小 / 4
4. 新生代与老年代在堆结构的配置占比等
- 参数
- -XX:NewRatio:设置新生代与老年代的比例,默认值为2
- -XX:SurvivorRatio:设置新生代中Eden区与Survivor区的比例,默认值是8(实际测试确是6)
- -Xmn:设置新生代最大内存(一般不设置,按照newRatio的比例来分配即可)
- 默认-XX:NewRatio=2,表示新生代占1,老年代占2,新生代占整个堆的1/3;除非明确在老年代中的对象会比较多,不然一般不会改变这个参数
- 在Hotspot中,Eden空间和另外两个Survivor空间缺省所占的比例是:8:1:1,当然也可以通过-XX:SurvivorRatio调整这个空间比例;实际上不会默认8:1:1,会使用自适应比例,哪怕通过-XX:-UseAdaptivePolicy关闭自适应的内存分配策略也不会生效
5. 对象分配过程
- new 的对象先放在Eden区。此区有大小限制
- 当Eden区的空间填满时,程序又需要创建对象,JVM的垃圾回收器将对Eden区进行垃圾回收(Minor GC),将Eden区中的不再被其他对象所引用的对象进行销毁。再加载新的对象放在Eden区
- 然后将Eden区的剩余对象移动到幸存区的to区并标记年龄计数器为1,此时to区变为from区,另一个无数据的变为下一次GC的to区
- 如果再次触发垃圾回收,此时上次幸存下来的放到幸存区的from区的,如果没有回收,就会放到幸存区新的to区,并标记年龄计数器为1+1=2,依次类推年龄计数会逐步增加
- 当年龄计数到达15时,再次GC时,对应实例将Promotion(晋升)到养老区
- -XX:MaxTenuringThresold=进行设置
总结:
- 针对幸存者0和1区:复制之后有交换,谁空谁是to区
- 关于垃圾回收:频繁在新生区收集,很少在养老区收集,几乎不在永久区(jdk8以前)/元空间收集
6. GC类型
JVM在进行GC时,大部分时候回收的都是新生代。
针对HotSpot VM的实现,它里面的GC按照回收区域又分为两大种类型:一种是部分收集(Partial GC),一种是整堆收集(Full GC)
-
部分收集:不是完整收集整个Java堆的垃圾收集。其中又分为:
- 新生代收集(Minor GC / Young GC):只是新生代的垃圾收集
- 老年代收集(Major GC / Old GC):只是老年代的垃圾收集
- 目前,只有CMS GC会有单独收集老年代的行为
- 注意,很多时候Major GC会和Full GC混淆使用,需要具体分辨是老年代回收还是整堆回收
- 混合收集(Mixed GC):收集整个新生代以及部分老年代的垃圾收集
- 目前,只有G1 GC会有这种行为
-
整堆收集(Full GC):收集整个Java堆和方法区的垃圾收集
6.1 年轻代GC(Minor GC)触发机制
- 当年轻代空间不足时,就会触发Minor GC,这里的年轻代满指的是Eden代满,Survivor满不会引发GC(每次Minor GC会清理年轻代的内存)
- 因为Java对象大多都具备朝生夕灭的特征,所以Minor GC非常频繁,一般回收速度也比较快
- Minor GC会引发STW,暂停其它用户的线程,等垃圾回收结束,用户线程才恢复运行
6.2 老年代GC(Major GC/ Full GC)触发机制
- 出现了Major GC,经常会伴随至少一次的Minor GC(但非绝对的,在Parallel Scavenge收集器的收集策略里就有直接进行Major GC的策略选择过程)
- 也就是老年代空间不足时,会先尝试触发Minor GC。如果之后空间还不足,则触发Major GC
- Major GC的速度一般会比Minor GC慢10倍以上,STW的时间更长
- 如果Major GC后,内存还不足,就报OOM了
6.3 Full GC触发机制
- 调用System.gc()时,系统建议执行Full GC,但是不必然执行
- 老年代空间不足
- 方法区空间不足
- 通过Minor GC后进入老年代的平均大小大于老年代的可用内存
- 由Eden区、survivor space0(From Space)区向survivor space1(To Space)区复制时,对象大小大于To Space可用内存,则把该对象转存到老年代,且老年代的可用内存小于该对象大小
- 在发生Minor GC之前,只要老年代的连续空间大于新生代对象总大小或者历次晋升的平均大小就会进行Minor GC,否则将进行Full GC
说明:full gc是开发或调优中尽量要避免的,这样暂停时间会短一些
7. TLAB
-
从内存模型而不是垃圾收集的角度,对Eden区域继续划分,JVM为每个线程分配了一个私有缓存区域,它包含在Eden空间内
-
多线程同时分配内存时,使用TLAB可以避免一系列的非线程安全问题,同时还能够提升内存分配的吞吐量,因此我们可以将这种内存分配方式称为快速分配策略
-
尽管不是所有的对象都能够在TLAB中成功分配内存,但JVM确实是将TLAB作为内存分配的首选
-
在程序中,可以通过-XX:UseTLAB设置是否开启TLAB空间,默认是开启的
-
默认情况下,TLAB的空间的内存非常小,仅占有整个Eden空间的1%。可以通过-XX:TLABWasteTargetPercent设置所占Eden空间的百分比大小
-
一旦对象在TLAB空间分配内存失败时,JVM就会尝试着通过使用加锁机制确保数据操作的原子性,从而直接在Eden空间中分配内存
8. 常用参数设置
- -XX:+PrintFlagsInitial:查看所有的参数的默认初始值
- -XX:+PrintFlagsFinal:查看所有的参数的最终值(可能会存在修改,不再是初始值)
- -Xms:初始堆空间内存(默认为物理内存的1/64)
- -Xmx:最大堆空间内存(默认为物理内存的1/4)
- -Xmn:设置新生代的大小(初始值及最大值)
- -XX:NewRatio:配置新生代与老年代在堆结构的占比
- -XX:SurvivorRatio:设置新生代中Eden和S0/S1空间的比例
- -XX:MaxTenuringThreshold:设置新生代垃圾的最大年龄
- -XX:+PrintGCDetails:输出详细的GC处理日志
- 打印gc简要信息:1. -XX:+PrintGC 2. -verbose:gc
9. 逃逸分析技术
- 如何将堆上的对象分配到栈,需要使用逃逸分析手段
- 这是一种可以有效减少Java程序中同步负载和内存堆分配压力的跨函数全局数据流分析算法
- 通过逃逸分析,Java Hotspot编译器能够分析出一个新的对象的引用的使用范围从而决定是否要将这个对象分配到堆上
- 逃逸分析的基本行为就是分析对象动态作用域
- 当一个对象在方法中被定义后,对象只在方法内部使用,则认为没有发生逃逸
- 当一个对象在方法中被定义后,它被外部方法所引用,则认为发生逃逸。例如作为调用参数传递到其他地方中
public void my_method() {
V v =new V();
// use v
// ......
v = null;
}
没有发生逃逸的对象,则可以分配到栈上,随着方法执行的结束,栈空间就被移除
注意:-server:启动server模式,因为在server模式下,才可以启用逃逸分析(64位电脑上默认就是server模式)
使用逃逸分析,编译器可以对代码做如下优化
9.1 栈上分配
将堆分配转化为栈分配。如果一个对象在子程序中被分配,要使指向该对象的指针永远不会逃逸,对象可能是栈分配的候选,而不是堆分配。
- JIT编译器在编译器间根据逃逸分析的结果,发现如果一个对象没有逃逸出方法的话,就有可能优化成栈上分配。分配完成后,继续在调用栈内执行,最后线程结束,栈空间被回收,局部变量对象也被回收。这样就无须进行垃圾回收了。
public static StringBuffer createStringBuffer(String s1, String s2) {
StringBuffer sb = new StringBuffer();
sb.append(s1);
sb.append(s2);
return sb;
}
上诉代码如果想要StringBuffer sb不逃出方法,可以这样写
public static String createStringBuffer(String s1, String s2) {
StringBuffer sb = new StringBuffer();
sb.append(s1);
sb.append(s2);
return sb.toString();
}
9.2 同步省略
如果一个对象被发现只能从一个线程被访问到,那么对于这个对象的操作可以不考虑同步
- 线程同步的代价是相当高的,同步的后果是降低并发性和性能
- 在动态编译同步块的时候,JIT编译器可以借助逃逸分析来判断同步块所使用的锁对象是否只能够被一个线程访问而没有被发布到其他线程。如果没有,那么JIT编译器在编译这个同步块的时候就会取消对这部分代码的同步。这样就能大大提高并发性和性能。这个取消同步的过程就叫同步省略,也叫锁消除。
- 注意:字节码阶段还是会有锁监控,只是运行的时候会锁消除
9.3 分离对象或标量替换
有的对象可能不需要作为一个连续的内存结构存在也可以被访问到,那么对象的部分(或全部)可以不存储在内存,而是存储在CPU寄存器中。
**标量(Scalar)**是指一个无法再分解成更小的数据的数据。Java中的原始数据类型就是标量。
相对的,那些还可以分解的数据叫做聚合量(Aggregate),Java中的对象就是聚合量,因为可以分解成其他聚合量和标量。
在JIT阶段,如果经过逃逸分析,发现一个对象不会被外界访问的话,那么经过JIT优化,就会把这个对象拆解成若干个其中包含的若干个成员变量来替代。这个过程就是标量替换。
public static String main(String[] args) {
alloc();
}
private static void alloc(){
Point point = new Point(1, 2);
System.out.println("point.x="+point.x+";point.y"+point.y);
}
class Point{
private int x;
private int y;
}
以上代码,经过标量替换后,就会成为:
private static void alloc() {
int x = 1;
int y = 2;
System.out.println("point.x="+x+";point.y"+y);
}
可以看到,Point这个聚合量经过逃逸分析后,发现并没有逃逸,就被替换成两个标量了。标量替换后可以大大减少堆内存的占用,因为标量替换为栈上分配提供了很好的基础。
-XX:+EliminateAllocations:开启标量替换(默认打开),允许将对象打散分配在栈上
9.4 逃逸分析小结
-
逃逸分析并不成熟
-
根本原因是无法保证逃逸分析的性能消耗一定能高于他的消耗。虽然经过逃逸分析可以做标量替换、栈上分配和锁消除。但是逃逸分析自身也需要进行一系列复杂的分析,这也是一个相对耗时的过程。
-
虽然这项技术并不十分成熟,但是它也是即时编译器优化技术中一个十分重要的手段。
-
注意到有一些观点,认为通过逃逸分析,JVM会在栈上分配那些不会逃逸的对象,这在理论上是可行的,但是取决于JVM设计者的选择。据我所知,Oracle Hotspot JVM并未这么做,这一点在逃逸分析相关的文档里已经说明,所以可以明确所有对象的实例都是创建在堆上的。