一览JVM所管理的运行时数据区

运行时数据区总览

在《Java 虚拟机规范》(下文简称《规范》)的规定下，JVM管理的内存划分为5大部分：

• 程序计数器
• 虚拟机栈
• 本地方法栈
• 方法区
• 堆

其中，程序计数器、虚拟机栈、本地方法栈是线程私有的，而方法区和堆是各线程共享的。

当然，《规范》只是起到了一个指导性的作用，运行时数据区的具体实现还得看具体的虚拟机，不同型号或版本的虚拟机的实现是不一样的。

程序计数器

PC作用

程序计数器(PC)的作用类似于我们在操作系统中所学的程序计数器，在JVM中，字节码解释器根据PC指向的字节码指令地址来取得字节码指令，进而解释和执行指令。所以我们可以抽象地将PC看做用于指向某条字节码指令的游标，通过”挪动“游标，让程序有顺序执行、分支跳转等执行逻辑。

在多线程并发的情况下，每个线程都要在切换时保存自己的执行现场，那么线程之间共享一个PC的设计肯定是行不通的，因此每个线程都要有一个自己的程序计数器空间，即程序计数器是线程私有的。

注意点

如果线程正在执行的是一个Java方法，程序计数器记录的是正在执行的虚拟机字节码指令的地址；如果正在执行的是本地方法，那么程序计数器的值为空（Undefined）。
程序计数器是在《规范》中唯一没有规定任何OOM情况的区域。

虚拟机栈

虚拟机栈是线程私有的，如下图所示， 线程中的每个方法被调用时，将会创建一个栈帧并压入该线程的虚拟机栈，当该方法执行结束，则相应的栈帧出栈。关于局部变量表和操作数栈，将会在下文详细介绍。

局部变量表

局部变量表所需的内存空间是在编译期间完成分配的，在运行期间不会发生改变。表中存储着Java基本数据类型(boolean、byte、char、short、int、float、double、long)与引用类型，表中的中的存储空间按照slot来划分，除了64位的double和long占用两个slot，其余的类型均占用1个slot。

StackOverFlowError与OutOfMemoryError演示

产生StackOverFlowError的原因是线程请求 的栈的深度超出范围，说直白点就是要压入的栈帧超出了数量，如果栈空间不允许动态扩展，那么就会StackOverFlowError。
而产生OutOfMemoryError的前提是栈空间可以扩展，当扩展到无法申请足够的内存时，则会发生OutOfMemoryError。

由于HotSpot虚拟机不支持栈的动态扩展，所以它不会产生OutOfMemoryError，下面的程序将演示产生StackOverFlowError的情况：

/**
 * 演示虚拟机栈的StackOverflow现象
 *
 * VM参数: -Xss32k
 * */
public class SO {

    public static long depth = 0;

    public static void m(){
        ++depth;
        m();
    }

    public static void main(String[] args) {
        try{
            m();
        }catch (Error error) {
            System.out.println("深度: " + depth);
            error.printStackTrace();
        }
    }
}

结果如下：

本地方法栈

本地方法栈与虚拟机栈起到的作用相似，区别在于本地方法栈为执行本地方法服务，虚拟机栈是为执行Java方法服务。
所以本地方法栈同样也是线程私有且有可能出现StackOverFlowError和OutOfMemoryError的。

堆

堆是线程共享的，用于存放对象实例与数组，从JDK1.8开始，字符串常量池、静态变量也存放在堆中。但要注意，并不是所有的对象实例都存放在堆中，对象实例也可能分配在栈中。

堆的分代

《规范》并未指定堆的分代，但是由于堆被垃圾收集器所管理，在一些垃圾收集器的设计中就将堆进行分代，如HotSpot虚拟机的垃圾收集器就将堆划分为新生代和老年代，其中新生代又分为1个Eden区和2个Suvivor区。

OutOfMemoryError演示

下面这个程序演示了堆中产生OOM的情况

/**
 *-Xms10m -Xmx20m
 * -Xms与-Xmx设置成一样可以避免堆自动扩展
 * */

public class OOM {

    public static class A{
    }

    public static void main(String[] args) {
        ArrayList<A> list = new ArrayList<>();
        while(true){
            A a = new A();
            list.add(a);
        }
    }
}

结果如下：

方法区

方法区是线程共享的，用于存放被虚拟机加载的类型信息、常量、静态变量、即时编译后的代码缓存等数据。

方法区的实现

在JDK1.8之前，HotSpot的收集器使用永久代(Permanent Generation)来实现方法区 ，从JDK1.8开始，使用的是元空间(Meta Space)来实现方法区