Java虚拟机定义了在程序执行期间使用的各种运行时数据区域。其中一些数据区域是在Java虚拟机启动时创建的，仅在Java虚拟机退出时销毁。其他数据区域是属于每个线程，线程数据区域是在线程退出时创建和销毁线程时创建的。
1.程序计数器
Java虚拟机可以同时支持许多执行线程。每个Java虚拟机线程都有自己的 pc（程序计数器）寄存器。在任何时候，每个Java虚拟机线程都在执行单个方法的代码，即该线程的当前方法。如果不是该方法 native，则pc寄存器包含当前正在执行的Java虚拟机指令的地址。如果线程当前正在执行该方法native，则Java虚拟机pc 寄存器的值未定义。
2.Java虚拟机堆栈（堆栈）
每个Java虚拟机线程都有一个私有Java虚拟机堆栈，与线程同时创建。Java虚拟机堆栈存储的是帧。Java虚拟机堆栈类似于传统语言的堆栈，例如C：它保存局部变量和部分结果，并在方法调用和返回中起作用。由于除了推送和弹出帧之外，永远不会直接操作Java虚拟机堆栈，因此可以对堆进行堆分配。Java虚拟机堆栈的内存不需要是连续的。
在第一版中的Java ®虚拟机规范，Java虚拟机堆被称为Java堆栈。
此规范允许Java虚拟机堆栈具有固定大小或根据计算的需要动态扩展和收缩。如果Java虚拟机堆栈具有固定大小，则可以在创建该堆栈时独立选择每个Java虚拟机堆栈的大小。
Java虚拟机实现可以为程序员或用户提供对Java虚拟机堆栈的初始大小的控制，以及在动态扩展或收缩Java虚拟机堆栈的情况下，控制最大和最小大小。
-
如果可以动态扩展Java虚拟机堆栈，并且尝试进行扩展但可以使内存不足以实现扩展，或者可以使内存不足以为新线程创建初始Java虚拟机堆栈，则Java Virtual机器抛出一个
OutOfMemoryError。
2-1.栈帧
帧 用于存储数据和部分结果，以及执行动态链接，对方法和调度异常返回值。
每次调用方法时都会创建一个新帧。当方法调用完成时，框架将被销毁，无论该完成是正常还是突然（它会抛出未捕获的异常）。帧是从创建帧的线程的Java虚拟机堆栈中分配的。每个帧都有自己的局部变量数组，它自己的操作数堆栈，以及对当前方法类的运行时常量池的引用。
可以使用附加的特定于实现的信息来扩展帧，例如调试信息。
局部变量数组和操作数堆栈的大小在编译时确定，并与与帧相关的方法的代码一起提供。因此，帧数据结构的大小仅取决于Java虚拟机的实现，并且可以在方法调用上同时分配这些结构的存储器。
只有一个帧（执行方法的帧）在给定控制线程中的任何点处都是活动的。该帧被称为当前帧，并且其方法被称为当前方法。定义当前方法的类是当前类。局部变量和操作数堆栈的操作通常参考当前帧。
如果当前的方法调用另一个方法或其方法完成，则方法将不再是当前方法。调用方法时，会创建一个新帧，并在控制转移到新方法时变为当前帧。在方法返回时，当前帧将其方法调用的结果（如果有）传递回前一帧。然后当前一帧成为当前帧时丢弃当前帧。
请注意，由线程创建的帧对于该线程是本地的，并且不能被任何其他线程引用。
2-1-1.局部变量
每个帧包含一个称为局部变量的变量数组。帧的局部变量数组的长度在编译时确定，并以类或接口的二进制表示形式提供，同时提供与帧相关的方法的代码。
单个本地变量可以保存类型的值boolean，byte，char，short，int， float，reference，或returnAddress。一对局部变量可以包含类型long或值double。
通过索引来解决局部变量。第一个局部变量的索引为零。当且仅当该整数在0到1之间且小于局部变量数组的大小时，整数才被认为是局部变量数组的索引。
类型long或类型的值double占用两个连续的局部变量。只能使用较小的索引来处理这样的值。例如，double存储在索引n的局部变量数组中的类型值 实际上占用索引为n和 n + 1 的局部变量; 但是，无法加载索引n +1 处的局部变量。它可以存储到。但是，这样做会使局部变量n的内容无效。
Java虚拟机不要求 n是偶数。直观地讲，的类型的值long而 double不必是局部变量阵列中的64位对齐的。实现者可以使用为该值保留的两个局部变量自由决定表示此类值的适当方法。
Java虚拟机使用局部变量在方法调用上传递参数。在类方法调用中，任何参数都在从局部变量0开始的连续局部变量中传递。在实例方法调用中，局部变量0始终用于传递对调用实例方法的对象的引用（this使用Java编程语言）。随后，任何参数都在从局部变量1开始的连续局部变量中传递。
2-1-2.操作数堆栈
每个帧包含一个后进先出（LIFO）堆栈，称为其操作数堆栈。帧的操作数堆栈的最大深度在编译时确定，并与用于与帧相关的方法的代码一起提供。
在上下文清楚的地方，我们有时会将当前帧的操作数堆栈简称为操作数堆栈。
当创建包含它的帧时，操作数堆栈为空。Java虚拟机提供指令以将局部变量或字段中的常量或值加载到操作数堆栈上。其他Java虚拟机指令从操作数堆栈中获取操作数，对它们进行操作，并将结果推回操作数堆栈。操作数堆栈还用于准备要传递给方法和接收方法结果的参数。
例如，IADD 指令（ IADD）将两个int值加在一起。它要求int要添加的值是操作数堆栈的前两个值，由前面的指令推送到那里。这两个int值都从操作数堆栈中弹出。它们被添加，它们的总和被推回到操作数堆栈上。子计算可以嵌套在操作数堆栈上，从而产生可以由包含计算使用的值。
操作数堆栈上的每个条目都可以包含任何Java虚拟机类型的值，包括类型long或类型的值 double。
必须以适合其类型的方式操作操作数堆栈中的值。例如，不可能推送两个int值，然后将它们视为a long或推送两个float值，然后使用iadd指令添加它们。少数的Java虚拟机指令（DUP指令（DUP）和交换（CHANGE））将运行时数据区域作为原始值进行操作，而不考虑其特定类型; 这些指令的定义方式使它们不能用于修改或分解单个值。操作数堆栈操作的这些限制是通过class文件验证强制执行的。
在任何时间点，操作数堆栈具有相关联的深度，其中类型的值long或 double贡献两个单位的深度和任何其他类型的值贡献一个单位。
2-1-3.动态连接
每个帧包含对运行时常量池的引用，用于支持方法代码的动态链接的当前方法的类型。该class方法的文件代码是指要调用的方法和要通过符号引用访问的变量。动态链接将这些符号方法引用转换为具体的方法引用，根据需要加载类以解析尚未定义的符号，并将变量访问转换为与这些变量的运行时位置相关联的存储结构中的适当偏移。
方法和变量的这种后期绑定使得方法使用的其他类中的更改不太可能破坏此代码。
3.堆
Java虚拟机具有在所有Java虚拟机线程之间共享的堆。堆是运行时数据区，从中分配所有类实例和数组的内存。
堆是在虚拟机启动时创建的。对象的堆存储由自动存储管理系统（称为垃圾收集器）回收 ; 对象永远不会被显式释放。Java虚拟机假设没有特定类型的自动存储管理系统，可以根据实现者的系统要求选择存储管理技术。堆可以具有固定大小，或者可以根据计算的需要进行扩展，并且如果不需要更大的堆，则可以收缩。堆的内存不需要是连续的。
Java虚拟机实现可以为程序员或用户提供对堆的初始大小的控制，以及如果可以动态扩展或收缩堆，则控制最大和最小堆大小。
4.方法区
Java虚拟机具有在所有Java虚拟机线程之间共享的方法区域。方法区域类似于传统语言的编译代码的存储区域或类似于操作系统进程中的“文本”段。它存储每类结构，例如运行时常量池，字段和方法数据，以及方法和构造函数的代码，包括类和实例初始化以及接口初始化中使用的特殊方法。
方法区域是在虚拟机启动时创建的。虽然方法区域在逻辑上是堆的一部分，但是简单的实现可能选择不垃圾收集或压缩它。此版本的Java虚拟机规范不强制方法区域的位置或用于管理已编译代码的策略。方法区域可以是固定大小的，或者可以根据计算的需要进行扩展，并且如果不需要更大的方法区域，则可以缩小方法区域。方法区域的内存不需要是连续的。
Java虚拟机实现可以提供程序员或用户对方法区域的初始大小的控制，以及在变大小方法区域的情况下，控制最大和最小方法区域大小。
4-1.运行时常量池
运行时间常数池是的每个类或每个接口的运行时表示constant_pool在表class文件。它包含几种常量，从编译时已知的数字文字到必须在运行时解析的方法和字段引用。运行时常量池提供类似于传统编程语言的符号表的功能，尽管它包含比典型符号表更宽范围的数据。
每个运行时常量池都是从Java虚拟机的方法区域中分配的。当Java虚拟机创建类或接口时，将构造类或接口的运行时常量池。
5.本地方法堆栈
Java虚拟机的实现可以使用常规堆栈（俗称“C堆栈”）来支持native方法（用Java编程语言以外的语言编写的方法）。本机方法堆栈也可以通过以诸如C语言的Java虚拟机的指令集的解释器的实现来使用。无法加载native 方法并且本身不依赖于传统堆栈的Java虚拟机实现不需要提供本机方法堆栈。如果提供，则通常在创建每个线程时为每个线程分配本机方法堆栈。
Java虚拟机实现可以为程序员或用户提供对本机方法堆栈的初始大小的控制，以及在不同大小的本机方法堆栈的情况下，控制最大和最小方法堆栈大小。
下面贴一张自己画的内存图，如有补充，请下方留言：
以上内容摘抄自https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-2.html
扫一扫
190
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
