Java虚拟机的内存分配和运行机制（粗谈）

阅读量：3964 次

发布时间：2019-05-24

本文共 6666 字，大约阅读时间需要 22 分钟。

一、概述

1.1 虚拟机定义

定义：模拟某种计算机体系结构，执行特定指令集的软件

1.2 虚拟机分类

主要分为两大类：一种是系统虚拟机（Virtual Box、VMware），另一种是程序虚拟机（JVM、.NET CLR、P-Code）。

P-Code:由加州大学圣地亚哥分校（University of California, San Diego，UCSD）于1978年发布的高度可移植、机器无关的、运行Pascal语言的虚拟机

1.3 java虚拟机概述

Java语言虚拟机

可以执行 Java 语言的高级语言虚拟机。 Java 语言虚拟机并不一定就可以称为 JVM，譬如：Apache Harmony。

Java™ 虚拟机

必须通过 Java TCK（Technology Compatibility Kit）的兼容性测试的Java语言虚拟机才能称为

“Java™ 虚拟机”

Java™ 虚拟机并非一定要执行“Java”程序

业界三大商用 JVM：Oracle HotSpot 、 Oracle JRockit VM、IBM J9 VM

其他虚拟机：Google Dalvik VM、Microsoft JVM

Java虚拟机是整个Java平台的基石，是Java技术用以实现硬件无关与操作系统无关的关键部分，是Java语言生成出极小体积的编译代码的运行平台，是保障用户机器免于恶意代码损害的保护屏障。

Java虚拟机可以看作是一台抽象的计算机。如同真实的计算机那样，它有自己的指令集以及各种运行时内存区域。使用虚拟机来实现一门程序设计语言有许多合理的理由，业界中流传最为久远的虚拟机可能是UCSD Pascal的P-Code虚拟机。

第一个Java虚拟机的原型机是由Sun Microsystems公司实现的，它被用在一种类似PDA（Personal Digital Assistant，俗称掌上电脑）的手持设备上仿真实现Java虚拟机指令集。时至今日，Oracle已有许多Java虚拟机实现应用于移动设备、桌面电脑、服务器等领域。Java虚拟机并不局限于特定的实现技术、主机硬件和操作系统，Java虚拟机也不局限于特定的代码执行方式，它不强求使用解释器来执行程序，也可以通过把自己的指令集编译为实际CPU的指令来实现，它可以通过微代码（Microcode）来实现，或者甚至直接实现在CPU中。

Java虚拟机与Java语言并没有必然的联系，它只与特定的二进制文件格式——Class文件格式所关联，Class文件中包含了Java虚拟机指令集（或者称为字节码、Bytecodes）和符号表，还有一些其他辅助信息。

基于安全方面的考虑，Java虚拟机要求在Class文件中使用了许多强制性的语法和结构化约束，但任一门功能性语言都可以表示为一个能被Java虚拟机接收的有效的Class文件。作为一个通用的、机器无关的执行平台，任何其他语言的实现者都可以将Java虚拟机作为他们语言的产品交付媒介。

译者注：由加州大学圣地亚哥分校（University of California, San Diego，UCSD）于1978年发布的高度可移植、机器无关的、运行Pascal语言的虚拟机。

1.4 java虚拟机架构

在这里插入图片描述

Class Loader 类加载器

Execution Engine 执行引擎

Native Interface本地接口

Runtime data area运行时数据区

1.5 java虚拟机的具体实现

Oracle HotSpot 虚拟机

最初由名为“Longview Technologies”的小公司开发，后被 Sun 公司收购。最初并非面向 Java 语言开发，而是面向 Strongtalk 语言。

HotSpot 命名来自它的“热点代码探测”技术。

从 JDK 1.2 开始加入 Sun（Oracle）JDK，在 JDK 1.3 开始成为 Sun（Oracle）JDK 的默认实现，在1.4中成为唯一的虚拟机。

在2006年底开始开源，由此建立的 OpenJDK 项目。

本系列课程中所有的虚拟机实现，所指的都是 Oracle HotSpot 虚拟机。

公有设计,私有实现

前面所讲内存区域是在《Java 虚拟机规范》(JVMS)中定义的概念模型，但JVMS也同时声明这些概念不约束虚拟机的具体实现,只要求虚拟机实现的效果在外部看起来与规范描述一致即可。

比如：堆内存在规范中规定是需要自动内存管理的，但是如何管理是具体虚拟机实现。

二、Java 虚拟机运行时数据区【重点】

2.1 概述

Java 虚拟机运行时数据区

在《Java 虚拟机规范》中定义了若干种程序运行期间会使用到的存储不同类型数据的区域。

有一些区域是全局共享的，随着虚拟机启动而创建，随着虚拟机退出而销毁。

有一些区域是线程私有的，随着线程开始和结束而创建和销毁。

是所有 Java 虚拟机共同的内存区域概念模型。

2.2 基本架构

在这里插入图片描述

运行时数据区的划分

线程私有

程序计数器

Java 虚拟机栈

本地方法栈

线程共享

Java 堆

方法区

2.3 程序计数器

程序计数器（Program Counter Register）

一块较小的的内存空间，它的作用可以看作是当前线程所执行的字节码的行号指示器。

如果线程正在执行的是一个 Java 方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；

如果正在执行的是 Native 方法，这个计数器值则为空。

此内存区域是唯一一个在 Java 虚拟机规范中没有规定任何OutOfMemoryError情况的区域。

在虚拟机的概念模型里，字节码解释器工作时就是通过在改变这个计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。
由于Java虚拟机的多线程是通过线程轮流切换，分配处理器执行时间的方式来实现的，在任何一个确定的时刻，一个处理器都只会执行一条线程中的指令。因此为了线程切换后能恢复到正确的执行位置，每条线程都需要有一个独立的程序计数器，各条线程之间计数器互不影响，独立存储。

2.4 Java 虚拟机栈

Java 虚拟机栈的特征

线程私有

后进先出（LIFO）栈

存储栈帧，支撑 Java 方法的调用、执行和退出

可能出现 OutOfMemoryError 异常和 StackOverflowError 异常

2.5 本地方法栈

本地方法栈的特征

线程私有

后进先出（LIFO）栈

作用是支撑 Native 方法的调用、执行和退出

可能出现 OutOfMemoryError 异常和 StackOverflowError 异常

有一些虚拟机（如 HotSpot）将 Java 虚拟机栈和本地方法栈合并实现

2.6 栈帧

2.6.1 概述

在这里插入图片描述

每一个线程的启动，在内存中创建一个对应的JVM栈，用于存储“栈帧”

执行机制

(1)一个方法对应一个栈帧结构

(2)一个方法从调用起到执行完毕的过程，就对应一个栈帧在JVM中从入栈到出栈的过程。

当main方法调用A方法，A方法中调用B方法，B方法调用C方法，则执行后，C执行完毕出栈，然后B，然后A，最后main方法。

2.6.2 栈帧结构

在这里插入图片描述

栈帧的概念和特征：

Java 虚拟机栈中存储的内容，它被用于存储数据和部分过程结果的数据结构，同时也被用来处理动态连接、方法返回地址和异常完成信息。

一个完整的栈帧包含：局部变量表、操作数栈、动态连接、方法返回地址和异常完成信息。

2.6.3 栈帧结构-局部变量表

局部变量表概念和特征

由若干个 Slot（槽）组成，长度由编译期决定，Code属性的max_locals指定。

单个Slot可以存储一个类型为 boolean、byte、char、short、int、float、reference 和returnAddress（已过时）的数据，两个Slot可以存储一个类型为long或double的数据。

局部变量表用于方法间参数传递，以及方法执行过程中存储基础数据类型的值和对象的引用

2.6.4 栈帧结构-操作数栈

操作数栈的概念和特征

是一个后进先出栈，由若干个 Entry 组成，长度由编译期决定、由Code属性的max_stacks指定。

单个 Entry 即可以存储一个 Java 虚拟机中定义的任意数据类型的值，包括 long和 double 类型，但是存储 long 和 double 类型的 Entry 深度为2，其他类型的深度为1。

在方法执行过程中，操作数栈用于存储计算参数和计算结果；在方法调用时，操作数栈也用来准备调用方法的参数以及接收方法返回结果。

通过一个具体例子来演示栈帧的局部变量表和操作数栈的工作方式

public class add {
   	public int calc() {
   		int a = 100;		int b = 200;		int c = 300;		return (a + b) * c;	}}

在这里插入图片描述

程序计数器负责记录【偏移值】，即程序运行到了第几步

局部变量表中，当创建的对象是static属性，则对应为args，普通类则为this

bipush，将100放入栈顶

istore_1，将100从栈顶存入局部变量表的1位置

依次执行3、4步骤，存入200和300

iload_1，将1位置的值（100）放入栈顶，然后继续将200也放入

iadd，执行加操作，300放入栈顶，然后将另一个300入栈，执行乘法，最后返回结果

Java 虚拟机栈和本地方法栈可能发生如下异常情况：

如果线程请求分配的栈容量超过 Java 虚拟机栈允许的最大容量时，Java 虚拟机将会抛出一个 StackOverflowError 异常。

如果 Java 虚拟机栈可以动态扩展，并且扩展的动作已经尝试过，但是目前无法申请到足够的内存去完成扩展，或者在建立新的线程时没有足够的内存去创建对应的虚拟机栈，那 Java 虚拟机将会抛出一个 OutOfMemoryError 异常。

调整栈空间大小：-Xss1m

在jdk1.5之前栈默认大小为256k,jdk1.5之后为1m。

2.6.5 栈帧结构-动态连接

每个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用。

每一次方法调用时,动态的将符号引用转成直接引用（入口地址），支持多态。

2.6.6 栈帧结构-方法返回地址

方法结束有正常结束和异常结束

正常结束：当前栈帧承担着恢复调用者状态的责任,其中包括恢复调用者的局部变量表和操作数栈、正确递增程序计数器、将返回值压入调用者的操作数栈。

异常结束：如果当前方法中没有处理此种异常、当前栈帧恢复调用者状态的同时，不会返回任何值，而是通过athrow指令将当前异常抛给调用者。

2.7 堆（heap）

2.7.1 特征和参数

Java 堆的特征：

全局共享

通常是 Java 虚拟机中最大的一块内存区域

作用是做为 Java 对象或数组的主要存储区域

JVMS 明确要求该区域需要实现自动内存管理，即常说的 GC，但并不限制采用哪种算法和技术去实现

可能出现 OutOfMemoryError 异常

相关配置和参数：

由JVM自动管理的线程共享区域，在JVM启动时创建。

堆可以处于逻辑上连续、物理上不连续的空间当中。既可以实现固定大小的，也可以实现为可扩展的，当前主流虚拟机实现都是可扩展的，可通过相关的参数进行配置。

Java堆相关参数:
-Xms：初始堆大小
-Xmx：最大堆大小
-XX:+PrintGC:打印查看GC日志
-XX:+PrintGCDetails:查看日志详情
-XX:+PrintCommandLineFlags:打印虚拟机的参数
-XX: 对于系统级别（JVM）的配置，-X对程序的设置参数
非-XX基本是对应用层面的设置
+ 表示启动
- 表示禁用