一、JVM内存模型

内存空间(Runtime Data Area)中可以按照是否线程共享分为两块,线程共享的是方法区(Method Area)和堆(Heap),线程独享的是Java虚拟机栈(Java Stack),本地方法栈(Native Method Stack)和PC寄存器(Program Counter Register)。具体参见下图:

1.虚拟机栈

每个线程有一个私有的栈,随着线程的创建而创建。栈里面存放着一种叫做“栈帧”的东西,每个方法会创建一个栈帧,栈帧中存放了局部变量表(基本数据类型和对象引用)、操作数栈、方法出口等信息。栈的大小可以固定也可以动态扩展。当栈调用深度大于JVM所允许的范围,会抛出StackOverflowError的错误,不过这个深度范围不是一个恒定的值,我们通过下面这段程序可以测试一下这个结果:


  1. // 栈溢出测试源码
  2. package com.paddx.test.memory;
  3. /**
  4. * Created by root on 2/28/17.
  5. */
  6. public class StackErrorMock {
  7. private static int index = 1;
  8. public void call() {
  9. index++;
  10. call();
  11. }
  12. public static void main(String[] args) {
  13. StackErrorMock mock = new StackErrorMock();
  14. try {
  15. mock.call();
  16. } catch(Throwable e) {
  17. System.out.println("Stack deep: " + index);
  18. e.printStackTrace();
  19. }
  20. }
  21. }

运行三次,可以看出每次栈的深度都是不一样的,输出结果如下:

查看三张结果图,可以看出每次的Stack deep值都有所不同。究其原因,就需要深入到JVM的源码中才能探讨,这里不作赘述。

虚拟机栈除了上述错误外,还有另一种错误,那就是当申请不到空间时,会抛出OutOfMemoryError。这里有一个小细节需要注意,catch捕获的是Throwable,而不是Exception,这是因为StackOverflowError和OutOfMemoryError都不属于Exception的子类。

2.本地方法栈

这部分主要与虚拟机用到的Native方法相关,一般情况下,Java应用程序员并不需要关系这部分内容。

3.PC寄存器

PC寄存器,也叫程序计数器。JVM支持多个线程同时运行,每个线程都有自己的程序计数器。倘若当前执行的是JVM方法,则该寄存器中保存当前执行指令的地址;倘若执行的是native方法,则PC寄存器为空。

4.

堆内存是JVM所有线程共享的部分,在虚拟机启动的时候就已经创建。所有的对象和数组都在堆上进行分配。这部分空间可通过GC进行回收。当申请不到空间时,会抛出OutOfMemoryError。下面我们简单的模拟一个堆内存溢出的情况:


  1. package com.paddx.test.memory;
  2. import java.util.ArrayList;
  3. import java.util.List;
  4. /**
  5. * Created by root on 2/28/17.
  6. */
  7. public class HeapOomMock {
  8. public static void main(String[] args) {
  9. List<byte[]> list = new ArrayList<byte[]>();
  10. int i = 0;
  11. boolean flag = true;
  12. while(flag) {
  13. try {
  14. i++;
  15. list.add(new byte[1024 * 1024]); // 每次增加1M大小的数组对象
  16. }catch(Throwable e) {
  17. e.printStackTrace();
  18. flag = false;
  19. System.out.println("Count = " + i); // 记录运行的次数
  20. }
  21. }
  22. }
  23. }

首先配置运行时虚拟机的启动参数:

然后运行代码,输出结果如下:

注意,这里我们指定了堆内存的大小为16M,所以这个地方显示的Count=13(这个数字不是固定的),至于为什么会是13或其他数字,需要根据GC日志来判断。

5.方法区

方法区也是所有线程共享的。主要用于存储类的信息、常量池、方法数据、方法代码等。方法区逻辑上属于堆的一部分,但是为了与堆进行区分,通常又叫“非堆”。关于方法区的内存溢出问题会在下文中详细讨论。

二、PermGen(永久代)

绝大部分Java程序员应该都见过“java.lang.OutOfMemoryError: PremGen space”异常。这里的“PermGen space”其实指的就是方法区。不过方法区和“PermGen space”又有着本质的区别。前者是JVM的规范,而后者则是JVM规范的一种实现,并且只有HotSpot才有“PermGen space”,而对于其他类型的虚拟机,如JRockit(Oracle)、J9(IBM)并没有“PermGen space”。由于方法区主要存储类的相关信息,所以对于动态生成类的情况比较容易出现永久代的内存溢出。最典型的场景就是,在JSP页面比较多的情况,容易出现永久代内存溢出。我们现在通过动态生成类来模拟“PermGen
space”的内存溢出:


  1. package com.paddx.test.memory;
  2. import java.io.File;
  3. import java.net.URL;
  4. import java.net.URLClassLoader;
  5. import java.util.ArrayList;
  6. import java.util.List;
  7. public class PermGenOomMock {
  8. public static void main(String[] args) {
  9. URL url = null;
  10. List<ClassLoader> classLoaderList = new ArrayList<ClassLoader>();
  11. try {
  12. url = new File("/tmp").toURI().toURL();
  13. URL[] urls = {url};
  14. while(true) {
  15. ClassLoader loader = new URLClassLoader(urls);
  16. classLoaderList.add(loader);
  17. loader.loadClass("com.paddx.test.memory.Test");
  18. }
  19. }catch(Exception e) {
  20. e.printStackTrace();
  21. }
  22. }
  23. }


  1. package com.paddx.test.memory;
  2. public class Test {}

运行结果如下:

本例中使用的JDK版本是1.7,指定的PermGen区的大小为8M。通过每次生成不同URLClassLoader对象加载Test类,从而生成不同的类对象,这样就能看到我们熟悉的“java.lang.OutOfMemoryError: PermGen space”异常了。这里之所以采用JDK 1.7,是因为在JDK 1.8中,HotSpot已经没有“PermGen space”这个区间了,取而代之是一个叫做Metaspace(元空间)的东西。下面我们就来看看Metaspace与PermGen space的区别。

三、Metaspace(元空间)

其实,移除永久代的工作从JDK 1.7就开始了。JDK 1.7中,存储在永久代的部分数据就已经转移到Java Heap或者Native Heap。但永久代仍存在于JDK 1.7中,并没有完全移除,譬如符号引用(Symbols)转移到了native heap;字面量(interned strings)转移到了Java heap;类的静态变量(class statics)转移到了Java heap。我们可以通过一段程序来比较JDK 1.6、JDK 1.7与JDK 1.8的区别,以字符串常量为例:


  1. package com.paddx.test.memory;
  2. import java.util.ArrayList;
  3. import java.util.List;
  4. public class StringOomMock {
  5. static String base = "string";
  6. public static void main(String[] args) {
  7. List<String> list = new ArrayList<String>();
  8. for (int i = 0; i < Integer.MAX_VALUE; i++) {
  9. String str = base + base;
  10. base = str;
  11. list.add(str.intern());
  12. }
  13. }
  14. }

这段程序以2的指数级不断的生成新的字符串,这样可以比较快速的消耗内存。我们通过JDK 1.6、JDK 1.7和JDK 1.8分别运行:

JDK 1.6的运行结果:

JDK 1.7的运行结果:

JDK 1.8的运行结果:

从上述结果可以看出,JDK 1.6下,会出现“PermGen space”的内存溢出,而在JDK 1.7和JDK 1.8中,会出现堆内存溢出,并且JDK 1.8中参数PermSize和MaxPermSize已经失效。因此,可以大致验证JDK 1.7和JDK 1.8中将字符串常量由永久代转移到堆中,并且JDK 1.8中已经不存在永久代的结论。现在我们来看一看元空间到底是一个什么东西?

JDK1.8对JVM架构的改造将类元数据放到本地内存中,另外,将常量池和静态变量放到Java堆里。HotSpot
VM将会为类的元数据明确分配和释放本地内存。在这种架构下,类元信息就突破了原来-XX:MaxPermSize的限制,现在可以使用更多的本地内存。这样就从一定程度上解决了原来在运行时生成大量类造成经常Full GC问题,如运行时使用反射、代理等。所以升级以后Java堆空间可能会增加。

元空间的本质和永久代类似,都是对JVM规范中方法区的实现。不过元空间与永久代之间的最大区别在于:元空间并不在虚拟机中,而是使用本地内存。因此,默认情况下,元空间的大小仅受本地内存限制,但可以通过以下参数指定元空间的大小:

-XX:MetaspaceSize,初始空间大小,达到该值就会触发垃圾收集进行类型卸载,同时GC会对改值进行调整:如果释放了大量的空间,就适当降低该值;如果释放了很少的空间,那么在不超过MaxMetaspaceSize时,适当提高该值。

-XX:MaxMetaspaceSize,最大空间,默认是没有限制的。

除了上面的两个指定大小的选项外,还有两个与GC相关的属性:

-XX:MinMetaspaceFreeRatio,在GC之后,最小的Metaspace剩余空间容量的百分比,减少为分配空间所导致的垃圾收集。

-XX:MaxMetaspaceFreeRatio,在GC之后,最大的Metaspace剩余空间容量的百分比,减少为释放空间所导致的垃圾收集。

现在我们在JDK 1.8重新运行一下上面第二部分(PermGen(永久代))的代码,不过这次不再指定PermSize和MaxPermSize。而是制定MetaspaceSize和MaxMetaspaceSize的大小。输出结果如下:

从输出结果,我们可以看出,这次不再出现永久代溢出,而是出现元空间的溢出。

四、总结

通过上面的分析,大家应该大致了解了JVM的内存划分,也清楚了JDK 1.8中永久代向元空间的转换。不过大家应该有一个疑问,就是为什么要做这个转换?以下为大家总结几点原因:

  1. 字符串在永久代中,容易出现性能问题和内存溢出。
  2. 类及方法的信息等比较难确定大小,因此对于永久代的大小指定比较困难,太小容易出现永久代溢出,太大则容易出现老年代溢出。
  3. 永久代会为GC带来不必要的复杂度,并且回收效率偏低。
  4. Oracle可能会将HotSpot与JRockit合二为一。

五、参考:

1.JVM内存模型——永久代(PermGen)和元空间(Metaspace)(http://www.cnblogs.com/paddix/p/5309550.html)

2.阿里电面试题汇总(http://www.deanwangpro.com/2017/01/31/ali-interview/)

Java8内存模型的更多相关文章

  1. Java8内存模型—永久代(PermGen)和元空间(Metaspace)(转)

    Java8内存模型—永久代(PermGen)和元空间(Metaspace) 查看原文点击传送门:http://www.cnblogs.com/paddix/p/5309550.html 提示:本文做了 ...

  2. (转)Java8内存模型—永久代(PermGen)和元空间(Metaspace)

    背景:介绍java8中永久代到元空间的转变. Java8内存模型—永久代(PermGen)和元空间(Metaspace) 一.JVM 内存模型 根据 JVM 规范,JVM 内存共分为虚拟机栈.堆.方法 ...

  3. Java8内存模型—永久代(PermGen)和元空间(Metaspace)

    一.JVM 内存模型 根据 JVM 规范,JVM 内存共分为虚拟机栈.堆.方法区.程序计数器.本地方法栈五个部分. 1.虚拟机栈:每个线程有一个私有的栈,随着线程的创建而创建.栈里面存着的是一种叫“栈 ...

  4. Java虚拟机—Java8内存模型(整理版)

    1.概述 对于Java程序员来说,在虚拟机自动内存管理机制的帮助下,不再需要手动释放内存,不容易出现内存泄露和内存溢出问题.一旦出现内存泄露和溢出方面的问题,如果不了解虚拟机是怎样使用内存的,排查错误 ...

  5. 转:Java8内存模型—永久代(PermGen)和元空间(Metaspace)

    一.JVM 内存模型 根据 JVM 规范,JVM 内存共分为虚拟机栈.堆.方法区.程序计数器.本地方法栈五个部分. 1.虚拟机栈:每个线程有一个私有的栈,随着线程的创建而创建.栈里面存着的是一种叫“栈 ...

  6. (转)Java8内存模型-永久代(PermGen)和元空间(Metaspace)

    原文链接:https://www.cnblogs.com/paddix/p/5309550.html 一.JVM内存模型 根据jvm规范,jvm内存共分为虚拟机栈.堆.方法区.程序计算器.本地方法栈五 ...

  7. 内存模型学习-- Container Executor task之间的关系

    (分割线前的都是废话) java8内存模型: http://www.cnblogs.com/paddix/p/5309550.html http://www.cnblogs.com/dingyings ...

  8. Java-技术专区-虚拟机系列-内存模型(JMM)

           Java8内存模型—永久代(PermGen)和元空间(Metaspace) 一.JVM 内存模型 根据 JVM 规范,JVM 内存共分为虚拟机栈.堆.方法区.程序计数器.本地方法栈五个部 ...

  9. Java内存模型深度解读

    Java内存模型规范了Java虚拟机与计算机内存是如何协同工作的.Java虚拟机是一个完整的计算机的一个模型,因此这个模型自然也包含一个内存模型——又称为Java内存模型. 如果你想设计表现良好的并发 ...

随机推荐

  1. 7,NULL与nullptr对比

    #include <iostream> #include <array> using namespace std; void show(int num) { cout < ...

  2. C#程序集引入无效的解决方法

    在项目类库中已经引用了相关了类库,生成解决方案也没问题,但是到了后置代码,通过using引用其他类库的时候,再生成解决方案或者生成单个类库,就会报“未能找到类型或命名空间“xxx"(是否缺少 ...

  3. linux删除svn版本号库

    当使用了svn版本号控制系统后每一个文件夹下都会有一个.svn文件夹存在,开发完当交付产品或者上传到server时一般要把这些文件夹删除.事实上在linux删除这些文件夹是非常easy的,命令例如以下 ...

  4. [Spark源代码剖析] DAGScheduler划分stage

    转载请标明出处:http://blog.csdn.net/bigbigdata/article/details/47293263 本文基于Spark 1.3.1 先上一些stage相关的知识点: DA ...

  5. CSS伪元素与伪类的区别

    伪类和伪元素介绍 伪类:伪类选择元素基于的是当前元素处于的状态,或者说元素当前所具有的特性,而不是元素的id.class.属性等静态的标志.由于状态是动态变化的,所以一个元素达到一个特定状态时,它可能 ...

  6. JQ的核心原理以及扩展等

    jQuery核心原理 定义原型扩展和工具包扩展的方法 JQ的API中文速查: http://jquery.cuishifeng.cn/ JQ的原理:http://www.cnblogs.com/Sca ...

  7. HDU 2473 Junk-Mail Filter 并查集删除(FZU 2155盟国)

    http://acm.hdu.edu.cn/showproblem.php?pid=2473 http://acm.fzu.edu.cn/problem.php?pid=2155 题目大意: 编号0~ ...

  8. jemter--录制的脚本设置循环次数不起作用

    以下是比较jmeter线程组中设置循环次数和循环控制器中设置循环次数的区别 1.jmeter生成的脚本没有step1(循环控制器)控制器,故循环在线程组中设置   2.badboy录制的脚本有setp ...

  9. C# 泛型特化

    C# 泛型不是 C++ 的模板类,并不支持特化和偏特化,但是使用一些技巧可以在一定程度上达到相同的目的. 原文是 po 在 stackoverflow 上的一个回答:A: Generic indexe ...

  10. 2015,我的投资理财策略(股权众筹+P2P网贷+活期理财)

    纸币流行,尤其是当今中国的市场经济,纸币几乎是一直是贬值的,每个人的财富都在被不断地稀释,可能是被政府.如果你不注意保值增值,你就越来越穷.     当年的万元户,在今天看来就是一个笑话,其实不怎么好 ...