JVM运行时数据区

1 概述

The Java Virtual Machine defines various run-time data areas that are used during execution of a program. Some of these data areas are created on Java Virtual Machine start-up and are destroyed only when the Java Virtual Machine exits. Other data areas are per thread. Per-thread data areas are created when a thread is created and destroyed when the thread exits.

JVM定义了多种运行时数据区用于执行一个Java程序，有的区域随着JVM的启动而创建，仅在JVM退出时销毁，其他数据区是每个线程独有的，在线程创建时创建数据区，在线程销毁时销毁数据区。

2 概览图

3 区域介绍

3.1 程序计数器（Program Counter Register）

每个Java虚拟机线程都有其自己的程序计数器，在任何时候，每个Java虚拟机线程都在执行单个方法的代码，即该线程的当前方法。如果该方法不是本地方法（native），那么PC寄存器保存当前线程正在执行的字节码指令的地址。如果线程当前执行的方法为本地方法，则PC寄存器的值为undefined。

3.2 虚拟机栈（Java Virtual Machine Stacks）

虚拟机栈为每个Java虚拟机线程独有。在整个线程执行过程中，每个方法在执行的同时会创建一个栈帧，方法调用对应着一个栈帧的入栈，方法执行结束对应着一个栈帧的出栈。对于执行引擎来说，只有栈顶的栈帧是有效的，称为当前栈帧，当前栈帧所关联的方法称为当前方法，执行引擎所进行的所有字节码指令都只针对当前栈帧进行操作。

该区域可能发生的异常：
当线程请求的栈深度超过最大值，会抛出StackOverflowError异常；
栈进行动态拓展时如果无法申请到足够的内存，会抛出OutOfMemoryError异常。

3.3 本地方法栈（Native Method Stacks）

本地方法栈与虚拟机栈相似，虚拟机栈为虚拟机执行Java方法，本地方法栈为虚拟机执行Native方法（非Java语言编写）

3.4 堆（Heap）

堆是JVM里最大的一块内存区域，被所有线程共享，在虚拟机启动时创建，该区域主要存储对象实例以及数组，对象永远不会主动释放，需要依赖垃圾收集器进行对垃圾对象的回收，堆也是垃圾收集器主要管理空间，也称GC堆。

以下异常情况与堆相关联：
如果计算需要的堆多于JVM可以提供的堆，则Java虚拟机将引发OutOfMemoryError。

3.5 方法区（Method Area/ Metadata）

方法区为所有线程共享的一块内存区域，主要存储虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。

以下异常条件与方法区域相关联：
如果方法区无法提供足够内存来满足分配请求，则Java虚拟机将引发OutOfMemoryError。

3.6 栈帧(Frames)

用于存储局部变量表、操作数栈、动态链接、方法出口等信息，其生命周期与方法一致，随着方法调用而创建，随着方法结束或异常而销毁。

3.6.1 局部变量表(Local Variables)

局部变量表用于存储方法参数以及方法内定义的局部变量，其长度在编译过程中确认，运行时不会改变变量表长度。单个局部变量可以保存以下类型的值：boolean, byte, char, short, int, float, reference（对象引用指针）以及returnAddress（字节码指令的地址），long/double需要使用一对局部变量进行表示。
局部变量表中保存方法定义的参数，如果是类方法，那么它的参数依次从0开始的位置传递到局部变量表，如果是实例方法，则第0位存储的是当前对象的引用（this），从1开始传递实例方法参数，因此可以在实例方法中调用this。
虚拟机通过索引定位局部变量表中的数据，默认从0开始，由于long和double占用两个连续的局部变量，只能用较小索引来代表该变量的索引，例如存储在局部变量表位置n的long类型，实际上占据着索引为n和n+1的局部变量。

3.6.2 操作数栈(Operand Stacks)

操作数栈为一个后进先出（LIFO）堆栈，其最大深度在编译时确定，并写入到Code属性的max_locals数据项中，操作数栈中的类型可以是任意的java数据类型，32位数据类型所占的栈容量为1，64位数据类型所占的栈容量为2。
当一个方法开始执行时，操作数栈为空，JVM提供了将局部变量或常量加载到操作数栈的指令，同时提供另外的指令从栈顶获取操作数进行操作，操作完毕将结果压回栈顶，

3.6.3 动态链接(Dynamic Linking)

每个栈帧中都包含一个指向运行时常量池中该栈帧所属方法的引用，这个引用在运行期间转化为直接引用，来获取方法的元信息。

3.6.4 方法出口

一个方法运行结束后应该会到的位置地址，方法执行开始后，只有两种形式可以退出，一种是正常退出，返回方法调用的位置，此时调用者的PC寄存器的值可以作为返回地址，一种是异常退出，如果不进行异常捕获，那么将不会返回到调用的位置。

4 资料

JVM官方文档