核心概述

一个JVM实例只存在一个堆内存,堆也是Java内存管理的核心区域。

Java堆区在JVM启动的时候即被创建,其空间大小也就确定了。是JVM管理的最大1块内存空间。堆内存的大小是可以调节的。-Xms、-Xmx表示初识堆空间大小和最大堆空间大小。

《Java虚拟机规范》规定,堆可以处于物理上不连续的内存空间中,但在逻辑上它应该被视为连续的。

所有的线程共享Java堆,在这里还可以划分线程私有的缓冲区(Thread Local Allocation Buffer, TLAB) 。

《Java虚拟机规范》中对Java堆的描述是:几乎所有的对象实例以及数组都应当在运行时分配在堆上。“几乎”所有的对象实例都在这里分配内存,———从实际使用角度看的。

数组和对象可能永远不会存储在栈上,因为栈帧中保存引用,这个引用指向对象或者数组在堆中的位置。

方法结束后,堆中的对象不会马上被移除,仅仅在垃圾收集的时候才会被移除

堆,是GC ( Garbage Collection,垃圾收集器)执行垃圾回收的重点区域。

代码演示

一个JVM实例只存在一个堆内存

image-20201012091533893

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
/**
* -Xms10m -Xmx10m
*
*/
public class HeapDemo {
public static void main(String[] args) {
System.out.println("start...");
try {
Thread.sleep(1000000);
} catch (InterruptedException e) {
e.printStackTrace();
}

System.out.println("end...");
}

}

HeapDemo设置-Xms10m -Xmx10m,HeapDemo1设置-Xms20m -Xmx20m,两个堆内存分别是10M,和20M。

image-20201006203731230

image-20201006203635323

设置完成后启动两程序。后在终端输入jvisualvm

image-20201006203902038

工具->插件 选择下载

image-20201006204413185

image-20201006205129844

image-20201006204422318

image-20201006204440059

image-20201006205046759

image-20201006205239596

image-20201006205322055

栈堆关系

虚拟机栈(Java栈)

image-20201012092852541

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
public class SimpleHeap {
private int id;//属性、成员变量

public SimpleHeap(int id) {
this.id = id;
}

public void show() {
System.out.println("My ID is " + id);
}
public static void main(String[] args) {
SimpleHeap sl = new SimpleHeap(1);
SimpleHeap s2 = new SimpleHeap(2);

int[] arr = new int[10];

Object[] arr1 = new Object[10];
}
}

img

内存细分

现代垃圾收集器大部分都基于分代收集理论设计,堆空间细分为:

image-20201012093506585

堆空间

同样我们可以通过jvisualvm查看

image-20201012095623024

新生代+老年区的内存就等于我们设置的堆内存大小10M。

img

我们也可以通过代码来查看效果。SimpleHeap类加上参数-XX:+PrintGCDetails

image-20201012100325886

image-20201012100428481

JDK8中可以看到堆中是源空间MetaSpace,将JDK改成7,再次运行程序。

image-20201012101125574

JDK7中可以看到堆中是永久代

设置堆内存大小与OOM

查看堆内存大小

Java堆区用于存储Java对象实例,那么堆的大小在JVM启动时就已经设定好了,可以通过选项”-Xmx”和” -Xms”来进行设置。

  • “-Xms” 用于表示堆区的起始内存(年轻代和老年代),等价于-XX: InitialHeapSize

  • “-Xmx” 则用于表示堆区的最大内存(年轻代和老年代),等价于-XX :MaxHeapSize
    一旦堆区中的内存大小超过“-Xmx”所指定的最大内存时,将会抛出OutOfMemoryError异常。

通常会将-Xms 和- -Xmx两个参 数配置相同的值,其目的是为了能够在java垃圾回收机制清理完堆区后不需要重新分隔计算堆区的大小,从而提高性能。

默认情况下,初始内存大小:物理电脑内存大小/ 64,最大内存大小:物理申脑内存大小/4

image-20201012104017831

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
/**
* 1. 设置堆空间大小的参数
* -Xms 用来设置堆空间(年轻代+老年代)的初始内存大小
* -X 是jvm的运行参数
* ms 是memory start
* -Xmx 用来设置堆空间(年轻代+老年代)的最大内存大小
*
* 2. 默认堆空间的大小
* 初始内存大小:物理电脑内存大小 / 64
* 最大内存大小:物理电脑内存大小 / 4
* 3. 手动设置:-Xms600m -Xmx600m
* 开发中建议将初始堆内存和最大的堆内存设置成相同的值。
*
* 4. 查看设置的参数:方式一: jps / jstat -gc 进程id
* 方式二:-XX:+PrintGCDetails
*/
public class HeapSpaceInitial {
public static void main(String[] args) throws InterruptedException {

//返回Java虚拟机中的堆内存总量
long initialMemory = Runtime.getRuntime().totalMemory() / 1024 / 1024;
//返回Java虚拟机试图使用的最大堆内存量
long maxMemory = Runtime.getRuntime().maxMemory() / 1024 / 1024;

System.out.println("-Xms : " + initialMemory + "M");
System.out.println("-Xmx : " + maxMemory + "M");

System.out.println("系统内存大小为:" + initialMemory * 64.0 / 1024 + "G");
System.out.println("系统内存大小为:" + maxMemory * 4.0 / 1024 + "G");

try {
Thread.sleep(1000000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}

堆大小分析

设置堆大小为600m-Xms600m -Xmx600m,打印出的结果为575m,这是因为幸存者区S0和S1各占据了25m,但是他们始终有一个是空的,存放对象的是伊甸园区和一个幸存者区

image-20201012104606934

image-20201012105207579

OOM说明

我们首先设置-Xms600m -Xmx600m

image-20201012105544722

image-20201012105600562

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
/**
* -Xms600m -Xmx600m
*/
public class OOMTest {
public static void main(String[] args) {
ArrayList<Picture> list = new ArrayList<>();
while(true){
try {
Thread.sleep(20);
} catch (InterruptedException e) {
e.printStackTrace();
}
list.add(new Picture(new Random().nextInt(1024 * 1024)));
}
}
}

class Picture{
private byte[] pixels;

public Picture(int length) {
this.pixels = new byte[length];
}
}

image-20201012110723278

伊甸园区和老年区的数据满了,在往堆里添加数据,导致OOM。

年轻代和老年代

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

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

  • Java堆区进一步细分的话, 可以划分为年轻代(YoungGen)和老年代(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
几乎所有的Java对象都是在Eden区被new出来的。绝大部分的Java对象的销毁都在新生代进行了。(IBM公司的专门研究表明,新生代中80%的对象都是“朝生夕死”的。)可以使用选项”-Xmn”设置新生代最大内存大小,这个参数一般使用默认值就可以了

-Xms600m -Xmx600m

image-20201013092023625

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
/**
* -Xms600m -Xmx600m
*
* -XX:NewRatio : 设置新生代与老年代的比例。默认值是2.
* -XX:SurvivorRatio :设置新生代中Eden区与Survivor区的比例。默认值是8
* -XX:-UseAdaptiveSizePolicy :关闭自适应的内存分配策略 (暂时用不到)
* -Xmn:设置新生代的空间的大小。 (一般不设置)
*/
public class EdenSurvivorTest {
public static void main(String[] args) {
System.out.println("我只是来打个酱油~");
try {
Thread.sleep(1000000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}

image-20201013093315732

由图可知新生代和老年代的占比为1:2,但是伊甸园区和幸存者1,2的比例却不是8:1:1!!

-XX:-UseAdaptiveSizePolicy :关闭自适应的内存分配策略 。设置了还是没用,只能使用-XX:SurvivorRatio显示设置为8。

image-20201013094613063

image-20201013094634220

-XX:NewRatio : 设置新生代与老年代的比例。默认值是2.

-Xmn:设置新生代的空间的大小。 (一般不设置)

当我们同时使用这两个参数分别设置时?新生代代大小以谁为准呢??

image-20201013095235477

image-20201013095219206

可以看出同时设置时,以具体设置新生代大小为准!!。

对象分配过程

为新对象分配内存是一件非 常严谨和复杂的任务,JVM的设计者们不仅需要考虑内存如何分配、在哪里分配等问题,并且由于内存分配算法与内存回收算法密切相关,所以还需要考虑GC执行完内存回收后是否会在内存空间中产生内存碎片。

  1. new的对象先放伊甸园区。此区有大小限制。
  2. 当伊甸园的空间填满时,程序又需要创建对象,触发JVM的垃圾回收器将对伊甸园区进行垃圾回收(Minor GC或者Young GC)survivor区满的时候不会触发,但是并不是说不会进行垃圾回收,只是说当eden区满触发GC时会将eden和survivor区一起进行垃圾回收,survivor区是被动的进行而已),将伊甸园区中的不再被其他对象所引用的对象进行销毁。再加载新的对象放到伊甸园区。
  3. 然后将伊甸园中的剩余对象移动到幸存者0区。
  4. 如果再次触发垃圾回收,此时不仅会对eden区进行判断,还会对上次幸存下来的放到幸存者0区的对象进行判断,如果没有被回收,就会放到幸存者1区。如果再次经历垃圾回收,此时会重新放回幸存者0区,接着再去幸存者1区……(每个对象分配有一个年龄计数器,存放区换(复制)一次值就加一),S0和S1有个别名是from和to区,这里说的是在GC过后(上一次复制之后),这两个区中那个为空那个就是to区另一个就是from区,表示下次GC时eden区的对象应该往哪里放。(复制之后有交换,谁空谁是to)(Eden区的对象经过GC后总是将对象放入to区的)
  5. 啥时候能去养老区呢?可以设置次数(最大进入老年的阈值)。默认是15次。可以设置参数: -XX;MaxTenuringThreshold=进行设置。当年龄计数器大于等于这个值时,如果这个对象还没被销毁就会存放到老年区中了。
  6. 在养老区,相对悠闲。当养老区内存不足时,再次触发GC: Major GC,进行养老区的内存清理
  7. 若养老区执行了Major GC之后发现依然无法进行对象的保存,就会

所谓朝生夕死产生OOM异常:java. lang. OutOfMemoryError: Java heap space 关于垃圾回收:频繁在新生区收集,很少在养老区收集,几乎不在永久区/元空间收集。

对象分配过程

针对幸存者s0,s1区:复制之后有交换,谁空谁是to
关于垃圾回收:频繁在新生区收集,很少在养老区收集,几乎不再永久区/元空间收集

注意:每次Minor GC或者Young GC后eden区应该是空的,因为是垃圾对象就被回收了,不是垃圾对象就被放入to区了。
如果此时再往eden区放一个超大对象发现放不下,就会直接放到老年代区,如果老年代也放不下,可能原因老年代空间不足或者就是老年代空间直接小于这个超大对象,这是会出现majorGC或fullGC,如果majorGC或fullGC后还存不下该对象,且此jvm实例不会自动调整内存空间(jvm实际上是有自动调整内存空间机制的),就会出现OOM。

同理Minor GC或者Young GC(eden区和survivor都进行了垃圾回收)后,eden区的对象在放入to区时,如果放不下时,就会把把对象放入老年代区,也有可能survivor1和survivor0在被动的进行GC时发现对象的年龄计数器大于最大进入老年区阈值时也会直接晋升老年区。

对象分配特殊情况

image-20201013111858459

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
/**
* -Xms600m -Xmx600m
*/
public class HeapInstanceTest {
byte[] buffer = new byte[new Random().nextInt(1024 * 200)];

public static void main(String[] args) {
ArrayList<HeapInstanceTest> list = new ArrayList<HeapInstanceTest>();
while (true) {
list.add(new HeapInstanceTest());
try {
Thread.sleep(10);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
}

image-20201013111818482

GC分类

Java中Stop-The-World机制简称STW,是在执行垃圾收集算法时,Java应用程序的其他所有线程都被挂起(除了垃圾收集帮助器之外)。Java中一种全局暂停现象,全局停顿,所有Java代码停止,native代码可以执行,但不能与JVM交互;这些现象多半是由于gc引起。GC时的Stop the World(STW)是大家最大的敌人。

JVM在进行GC时,并非每次都对新生代、老年代、方法区(1.7之前叫永久代,1.8后叫元空间)一起回收的,大部分时候回收的都是指新生代(80%对象是朝生夕死)。.
针对HotSpot VM的实现,它里面的GC按照回收区域又分为两大种类型:一种是部分收集(Partial GC),一种是整堆收集(Full GC)

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

  1. 新生代收集(Minor GC / Young GC) :只是新生代的垃圾收集
  2. 老年代收集(Major GC / 0ld GC) :只是老年代的垃圾收集。目前,只有CMS GC会单独收集老年代的行为。注意,很多时候Major GC会和Full GC混淆使用,需要具体分辨是老年代回收还是整堆回收。这里如果别人提到了majorGC就可以问问他:你说的majorGC值的就是老年代的GC还是整堆的GC了
  3. 混合收集(Mixed GC): 收集整个新生代以及部分老年代的垃圾收集。目前,只有G1 GC会有这种行为

整堆收集(Fu11 GC):收集整个java堆和方法区的垃圾收集。

MinorGC

年轻代GC(Minor GC)触发机制:

  • 当年轻代空间不足时,就会触发Minor GC,这里的年轻代满指的是Eden代满,Survivor满不会引发GC。(每次 Minor GC会清理年轻代(eden和surviv or)的内存。)
  • 因为Java对象大多都具备朝生夕灭的特性,所以Minor GC非常频繁,一般回收速度也比较快。这一定义既清晰又易于理解。
  • Minor GC会引发STW, 暂停其它用户的线程,等垃圾回收结束,用户线程才恢复运行。Minor GC频率虽然很高,但是其执行速度很快,而且年轻代空间较小,所有对用户线程影响其实不是多大

MajorGC

老年代GC (Major GC/Fu1l GC)触发机制:

  • 指发生在老年代的GC,对象从老年代消失时,我们说“Major GC”或“Fu1l GC”发生了。
  • 出现了Major GC,经常会伴随至少一次的Minor GC (但非绝对的,在Parallel Scavenge收集器的收集策略里就有直接进行Major GC的策略选择过程)。也就是在老年代空间不足时,会先尝试触发Minor GC。如果之后空间还不足,则触发Major GC
  • Major GC的速度一般会比Minor GC慢10倍以 上,STW的时间更长。老年代空间比年轻代大一些。
  • 如果Major GC后,内存还不足,就报OOM了。

FullGC

Fu11 GC触发机制: ( 后面细讲)
触发Full GC执行的情况有如下五种:

(1) 调用System.gc()时,系统建议执行Full GC,但是不必然执行
(2) 老年代空间不足(老年代空间不足,在不GC就OOM,这其实可能是Major GC会和Full GC混淆使用情况)
(3) 方法区空间不足
(4) 通过Minor GC后进入老年代的平均大小大于老年代的可用内存
(5) 由Eden区、survivor space0 (From Space) 区向survivor space1 (To Space)区复制时,对象大小大于To Space可用内存,则把该对象转存到老年代,且老年代的可用内存小于该对象大小,其实也就是老年代空间不足的情况而已。

说明: full gc是开发或调优中尽量要避免的。这样暂停时间会短一些。(方法区的回收包括不用的类回收和类加载器回收等,使stw时间增长)

堆空间分代思想

为什么需要把Java堆分代?不分代就不能正常工作了吗?

其实不分代完全可以,分代的唯一理由就是优化GC性能。如果没有分代,那所有的对象都在一块,就如同把一个学校的人都关在一个教室。GC的时候要找到哪些对象没用这样就会对堆的所有区域进行扫描。

而很多对象都是朝生夕死的,如果分代的话,把新创建的对象放到某一地方, 当GC的时候先把这块存储“朝生夕死”对象的区域进行回收,这样就会腾出很大的空间出来

内存分配策略

  • 如果对象在Eden出生并经过第一次Minor GC后依然存活,并且能被Survivor容纳的话,将被移动到Survivor空间中,把那个将对象年龄设为1.对象在Survivor区中每熬过一次MinorGC,年龄就增加一岁,当它的年龄增加到一定程度(默认15岁,其实每个JVM、每个GC都有所不同)时,就会被晋升到老年代中
    • 对象晋升老年代的年龄阈值,可以通过选项 -XX:MaxTenuringThreshold来设置
  • 针对不同年龄段的对象分配原则如下:
    • 优先分配到Eden
    • 大对象直接分配到老年代
      • 尽量避免程序中出现过多的大对象
    • 长期存活的对象分配到老年代
    • 动态对象年龄判断
      • 如果Survivor区中相同年龄的所有对象大小的总和大于Survivor空间的一半,年龄大于或等于该年龄的对象可以直接进入到老年代。无需等到MaxTenuringThreshold中要求的年龄
    • 空间分配担保
      • -XX: HandlePromotionFailure

TLAB

为什么有TLAB(Thread Local Allocation Buffer)

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

TLAB:( Thread Local Allocation Buffer ) 从内存模型而不是垃圾收集的角度,对Eden区域继续进行划分,JVM为每个线程分配了一个私有缓存区域,它包含在Eden空间内

  • 多线程同时分配内存时,使用TLAB可以避免一系列的非线程安全问题,同时还能够提升内存分配的吞吐量,因此我们可以将这种内存分配方式称之为快速分配策略。据了解貌似所有openJDK衍生出来的JVM都提供了TLAB的设计。

  • 尽管不是所有的对象实例都能够在TLABR成功分配内存,但JVM确实是将TLAB作为内存分配的首选。在程序中,开发人员可以通过选项“-XX:UseTLAB”设置是否开启TLAB空间,默认是开启。

  • 默认情况下,TLAB空间的内存非常小,仅占有整个Eden空间的1%,当然我们可以通过选项“-XX: TLABWasteTargetPercent”设置TLAB空间所占用Eden空间的百分比大小。

  • 一旦对象在TLAB空间分配内存失败时,JVM就会尝试着通过使用加锁机制确保数据操作的原子性,从而直接在Eden空间中分配内存。

TLAB

image-20201013150847146

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
/**
* 测试-XX:UseTLAB参数是否开启的情况:默认情况是开启的
*
*/
public class TLABArgsTest {

public static void main(String[] args) {
System.out.println("我只是来打个酱油~");
try {
Thread.sleep(1000000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}

使用jps查看进程号,再使用jinfo -flag UseTLAB 进程号查看。

image-20201013150947609

默认是使用TLAB的。

TLAB流程图

堆空间的参数设置

官网说明:
https://docs.oracle.com/javase/8/docs/technotes/tools/unix/java.html
-XX: +PrintFlagsInitial : 查看所有的参数的默认初始值I

-XX: +PrintFlagsFinal : 查看所有的参数的最终值(可能会存在修改,不再是初始值)

-Xms:初始堆空间内存( 默认为物理内存的1/64)

-Xmx:最大堆空间内存(默认为物理内存的1/4)

-Xmn:设置新生代的大小。(初始值及最大值)

-XX: NewRatio:配置新生代与老年代在堆结构的占比

-XX:SurvivorRatio:设置新生代中Eden和s0/s1空间的比例

-XX:MaxTenuringThreshold:设置新生代垃圾的最大年龄

-XX:+PrintGCDetails:输出详细的GC处理日志

打印Igc简要信息:①-Xx:+PrintGC ②- verbose:gc
-XX:HandlePromotionFailure:是否设置空间分配担保

说明

-XX:HandlePromotionFailure:是否设置空间分配担保

在发生Minor Gc之前,虚拟机会检查老年代最大可用的连续空间是否大于新生代所有对象的总空间。

  • 如果大于,则此次Minor GC是安全的
  • 如果小于,则虚拟机会查看-XX:HandlePromotionFailure设置值是否允许担保失败。(JDK 7以后的规则HandlePromotionFailure可以认为就是true)
    • 如果HandlePromotionFailure=true,那么会继续检查老年代最大可用连续空间是否大于历次晋升到老年代的对象的平均大小。
      • √如果大于,则尝试进行一次Minor GC,但这次Minor GC依然是有风险的;
      • √如果小于,则改为进行一次Fu11 GC。
    • √如果HandlePromotionFailure=false,则改为进行一次Fu11 GC。

在JDK6 Update24之后(JDK7),HandlePromotionFailure(true)参数不会再影响到虚拟机的空间分配担保策略,观察openJDK中的源码变化,虽然源码中还定义了HandlePromotionFailure参数,但是在代码中已经不会再使用它。JDK6 Update24之后的规则变为只要老年代的连续空间大于新生代对象总大小或者历次晋升的平均大小就会进行Minor GC,否则将进行Full GC。

小结

  • 年轻代是对象的诞生、生长、消亡的区域,一个对象在这里产生、应用、最后被垃圾回收器收集、结束生命
  • 老年代放置长生命周期对象,通常都是从Survivor区域筛选拷贝过来的Java对象。当然,也有特殊情况,我们知道普通的对象会被分配在TLAB上,如果对象较大,JVM会试图直接分配在Eden其他位置上;如果对象较大,完全无法在新生代找到足够长的连续空闲空间,JVM就会直接分配到老年代
  • 当GC只发生在年轻代中,回收年轻对象的行为被称为MinorGC。当GC发生在老年代时则被称为MajorGC或者FullGC。一般的,MinorGC的发生频率要比MajorGC高很多,即老年代中垃圾回收发生的频率大大低于年轻代