【JVM系列1】深入分析Java虚拟机堆和栈及OutOfMemory异常产生原因

堆是Java虚拟机所管理内存中最大的一块，在虚拟机启动时创建，被所有线程共享。

堆在虚拟机启动时创建，用于存储所有的对象实例和数组(在某些特殊情况下不是)。

堆中的对象永远不会显式地释放，必须由GC自动回收。所以GC也主要是回收堆中的对象实例，我们平常讨论垃圾回收主要也是回收堆内存。

堆可以处于物理上不连续的内存空间，可以固定大小，也可以动态扩展，通过参数-Xms和Xmx两个参数来控制堆内存的最小和最大值。

堆可能存在如下异常情况：

• 如果计算需要的堆比自动存储管理系统提供的堆多，将抛出OutOfMemoryError错误。

模拟堆内OutOfMemoryError

为了方便模拟，我们把堆固定一下大小，设置为：

-Xms20m -Xmx20m

然后新建一个测试类来测试一下：

package com.zwx.jvm.oom;

import java.util.ArrayList;

import java.util.List;

public class Heap {

public static void main(String[] args) {

List list = new ArrayList<>();

while (true){

list.add(99999);

}

}

}

输出结果为（后面的Java heap space，表示堆空间溢出）：

Exception in thread “main” java.lang.OutOfMemoryError: Java heap space

at java.util.Arrays.copyOf(Arrays.java:3210)

at java.util.Arrays.copyOf(Arrays.java:3181)

注意：堆不能设置的太小，太小的话会启动失败，如上我们把参数大小都修改为2m，会出现下面的错误：

Error occurred during initialization of VM

GC triggered before VM initialization completed. Try increasing NewSize, current value 1536K.

Method Area(方法区)

---

方法区是各个线程共享的内存区域，在虚拟机启动时创建。它存储每个类的结构，比如：运行时常量池、属性和方法数据，以及方法和构造函数的代码，包括在类和实例初始化以及接口初始化中使用的特殊方法。

方法区在逻辑上是堆的一部分，但是它却又一个别名叫做Non-Heap(非堆)，目的是与Java堆区分开来。

方法区域可以是固定大小，也可以根据计算的需要进行扩展，如果不需要更大的方法区域，则可以收缩。方法区域的内存不需要是连续的。

方法区中可能出现如下异常：

• 如果方法区域中的内存无法满足分配请求时，将抛出OutOfMemoryError错误。

Run-Time Constant Pool(运行时常量池)

运行时常量池是方法区中的一部分，用于存储编译生成的字面量和符号引用。类或接口的运行时常量池是在Java虚拟机创建类或接口时构建的。

字面量

在计算机科学中，字面量(literal)是用于表达源代码中一个固定值的表示法(notation)。几乎所有计算机编程语言都具有对基本值的字面量表示，诸如：整数、浮点数以及字符串等。在Java中常用的字面量就是基本数据类型或者被final修饰的常量或者字符串等。

String字符串去哪了

字符串这里值得拿出来单独解释一下，在jdk1.6以及之前的版本，Java中的字符串就是放在方法区中的运行时常量池内，但是在jdk1.7和jdk1.8版本(jdk1.8之后本人没有深入去了解过，所以不讨论)，将字符串常量池拿出来放到了堆(heap)里。

我们来通过一个例子来演示一下区别：

package com.zwx;

public class demo {

public static void main(String[] args) {

String str1 = new String(“lonely”) + new String(“wolf”);

System.out.println(str1==str1.intern());

}

}

这个语句的运行结果在不同的JDK版本中输出的结果会不一样：

JDK1.6中会输出false：

JDK1.7中输出true：

JDK1.8中也会输出true：

intern()方法

• jdk1.6及之前的版本中：

调用String.intern()方法，会先去常量池检查是否存在当前字符串，如果不存在，则会在方法区中创建一个字符串，而new String(“”)方法创建的字符串在堆里面，两个字符串的地址不相等，故而返回false。

• 在jdk1.7及1.8版本中：

字符串常量池从方法区中的运行时常量池移到了堆内存中，而intern()方法也随之做了改变。调用String.intern()方法，首先还是会去常量池中检查是否存在，如果不存在，那么就会创建一个常量，并将引用指向堆，也就是说不会再重新创建一个字符串对象了，两者都会指向堆中的对象，所以返回true。

不过有一点还是需要注意，我们把上面的构造字符串的代码改造一下：

String str1 = new String(“ja”) + new String(“va”);

System.out.println(str1==str1.intern());

这时候在jdk1.7和jdk1.8中也会返回false。

这个差异在《深入理解Java虚拟机》一书中给出的解释是java这个字符串已经存在常量池了，所以我个人的推测是可能初始化的时候jdk本身需要使用到java字符串，所以常量池中就提前已经创建好了，如果理解错了，还请大家指正，感谢！

new String(“lonely”)创建了几个对象

上面的例子中我用了两个new String(“lonely”)和new String(“wolf”)相加，而如果去掉其中一个new String()语句的话，那么实际上jdk1.7和jdk1.8中返回的也会是false，而不是true。

这是为什么？看下面(我们假设一开始字符串常量池没有任何字符串)：

• 只执行一个new String(“lonely”)会产生2个对象，1个在堆，1个在字符串常量池

这时候执行了String.intern()方法，String.intern()会去检查字符串常量池，发现字符串常量池存在longly字符串，所以会直接返回，不管是jdk1.6还是jdk1.7和jdk1.8都是检查到字符串存在就会直接返回，所以str1==str1.intern()得到的结果就是都是false，因为一个在堆，一个在字符串常量池。

• 执行new String(“lonely”)+new String(“wolf”)会产生5个对象，3个在堆，2个在字符串常量池

好了，这时候执行String.intern()方法会怎么样呢，如果在jdk1.7和jdk1.8会去检查字符串常量池,发现没有lonelywolf字符串，所以会创建一个指向堆中的字符串放到字符串常量池：

而如果是jdk1.6中，不会指向堆，会重新创建一个lonelywolf字符串放到字符串常量池，所以才会产生不同的运行结果。

注意：+号的底层执行的是new StringBuild().append()语句，所以我们再看下面一个例子：

String s1 = new StringBuilder(“aa”).toString();

System.out.println(s1==s1.intern());

String s2 = new StringBuilder(“aa”).append(“bb”).toString();

System.out.println(s2==s2.intern());//1.6返回false,1.7和1.8返回true

这个在jdk1.6版本全部返回false，而在jdk1.7和jdk1.8中一个返回false,一个返回true。多了一个append相当于上面的多了一个+号，原理是一样的。

符号引用

符号引用在下篇讲述类加载机制的时候会进行解释，这里暂不做解释，感兴趣的可以关注我，留意我的JVM系列下一篇文章。

jdk1.7和1.8的实现方法区的差异

方法区是Java虚拟机规范中的规范，但是具体如何实现并没有规定，所以虚拟机厂商完全可以采用不同的方式实现方法区的。

在HotSpot虚拟机中：

• jdk1.7及之前版本

方法区采用永久代(Permanent Generation)的方式来实现，方法区的大小我们可以通过参数-XX:PermSize和-XX:MaxPermSize来控制方法区的大小和所能允许最大值。

• jdk1.8版本

移除了永久代，采用元空间(Metaspace)来实现方法区，所以在jdk1.8中关于永久代的参数-XX:PermSize和-XX:MaxPermSize已经被废弃却代之的是参数-XX:MetaspaceSize和-XX:MaxMetaspaceSize。元空间和永久代的一个很大的区别就是元空间已经不在jvm内存在，而是直接存储到了本地内存中。

如下，我们再jdk1.8中设置-XX:PermSize和-XX:MaxPermSize会给出警告：

Java HotSpot™ 64-Bit Server VM warning: ignoring option PermSize1m; support was removed in 8.0

Java HotSpot™ 64-Bit Server VM warning: ignoring option MaxPermSize1m; support was removed in 8.0

模拟方法区OutOfMemoryError

jdk1.7及之前版本

因为jdk1.7及之前都是永久代来实现方法区，所以我们可以通过设置永久代参数来模拟内存溢出：

设置永久代最大为2M:

-XX:PermSize=2m -XX:MaxPermSize=2m

然后执行如下代码：

package com.zwx;

import java.util.ArrayList;

import java.util.List;

public class demo {

public static void main(String[] args) {

List list = new ArrayList<>();

int i = 0;

while (true){

list.add(String.valueOf(i++).intern());

}

}

}

最后报错OOM：PermGen space（永久代溢出）。

Error occurred during initialization of VM

java.lang.OutOfMemoryError: PermGen space

at sun.misc.Launcher$ExtClassLoader.getExtClassLoader(Launcher.java:141)

at sun.misc.Launcher.(Launcher.java:71)

at sun.misc.Launcher.(Launcher.java:57)

先自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数初中级Java工程师，想要提升技能，往往是自己摸索成长或者是报班学习，但对于培训机构动则近万的学费，着实压力不小。自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《Java开发全套学习资料》送给大家，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频

如果你觉得这些内容对你有帮助，可以扫码领取！

总结

我们总是喜欢瞻仰大厂的大神们，但实际上大神也不过凡人，与菜鸟程序员相比，也就多花了几分心思，如果你再不努力，差距也只会越来越大。实际上，作为程序员，丰富自己的知识储备，提升自己的知识深度和广度是很有必要的。

Mybatis源码解析

GbRY0-1711475127891)]

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频

如果你觉得这些内容对你有帮助，可以扫码领取！

总结

我们总是喜欢瞻仰大厂的大神们，但实际上大神也不过凡人，与菜鸟程序员相比，也就多花了几分心思，如果你再不努力，差距也只会越来越大。实际上，作为程序员，丰富自己的知识储备，提升自己的知识深度和广度是很有必要的。

Mybatis源码解析

[外链图片转存中…(img-Jgf6TPh0-1711475127891)]

[外链图片转存中…(img-AHurV9Dc-1711475127891)]

需要更多Java资料的小伙伴可以帮忙点赞+关注，点击传送门，即可免费领取！