一. JVM基本理论知识

一. JVM基本理论知识

1. 为什么要了解虚拟机

JVM 不单单只支持 Java 语言，也支持其他语言（Scala、Kotlin、Groovy 等等） 区块链 2.0–以太坊(比特币是区块链 1.0) 中提供了 EVM 的虚拟机，它的实现和 JVM 类似，基于栈、生成脚本编译成字节码来执行。知 识通用。（理论大于实际）

2. 虚拟机历史

解释执行和编译执行（针对字节码的执行）

解释执行就是边翻译为机器码边执行

即时编译(Just-in-time compilation)（编译执行）就是先将一个方法中的所有字节码全部编译成机器码之后再执行。

Hotspot 采用的是先解释执行，到了一定时机后热点代码（多次执行、循环等）再翻译成机器码 非热点代码解释执行, 热点代码即时编译执行

热点代码探测技术（通过执行计数器找到最有编译价值的代码，如果代码用得非常频繁，就会把这些代码编译成本地代码）。

JRockit 采取的方法是在执行 class 时直接编译为机器码（Java 程序启动速度会比较慢）

J9 和 Hotspot 比较接近，主要是用在 IBM 产品（IBM WebSphere 和 IBM 的 AIX 平台上），华为有的项目用的 J9。

谷歌：Google Android Dalivk VM：使用的寄存器架构，执行 dex（Dalvik Executable）通过 class 转化而来。

3. 未来的 Java 技术

模块化:OSGI（动态化、模块化），应用层面就是微服务，互联网的发展方向

混合语言：多个语言都可以运行在 JVM 中，Google 的 Kotlin 成为了 Android 的官方语言。Scala(Kafka)

多核并行：CPU 从高频次转变为多核心，多核时代。JDK1.7 引入了 Fork/Join，JDK1.8 提出 lambda 表达式(函数式编程天生适合并行)

**丰富语法：**JDK5 提出自动装箱、泛型(并发编程讲到)、动态注解等语法。JDK7 二进制原生支持。try-catch-finally 至 try-with-resource

64 **位：**虽然同样的程序 64 位内存消耗比 32 位要多一点，但是支持内存大，所以虚拟机都会完全过渡到 64 位，32 位的 JVM 有 4G 的堆大小限制。

更强的垃圾回收器（现在主流 CMS、G1）：JDK11 –ZGC（暂停时间不超过 10 毫秒，且不会随着堆的增加而增加，TB 级别的堆回收）:有色指针、加载屏障。JDK12 支持并发类卸载，进一步缩短暂停时间 JDK13(计划于 2019 年 9 月)将最大堆大小从 4TB 增加到 16TB

4. Java SE 体系架构

JavaSE(Standard Edit)，Java 平台标准版，为 Java EE 和 Java ME 提供了基础。

JDK(Java Develop Kit)：Java 开发工具包，JDK 是 JRE 的超集，包含 JRE 中的所有内容，以及开发程序所需的编译器和调试程序等工具。

JRE(Java Runtime Environment)：Java SE 运行时环境 ，提供库、Java 虚拟机和其他组件来运行用 Java 编程语言编写的程序。主要类库，包括：程序部署发布、用户界面工具类、继承库、其他基础库，语言和工具基础库

JVM(Java Virtual Machine)：java 虚拟机，负责 JavaSE 平台的硬件和操作系统无关性、编译执行代码（字节码）和平台安全性

5. JVM的体系结构

程序计数器(线程独享)

虚拟机栈(线程独享)

本地方法栈(线程独享)

堆(线程共享)

方法区(线程共享)

运行时数据区域

这个是抽象概念，内部实现依赖寄存器、高速缓存、主内存（具体要分析 JVM 源码 C++语言实现）

计算机的运行=指令+数据，指令用于执行方法的，数据用于存放数据和对象的。

虚拟机栈: 执行 java 方法

本地方法栈: 执行本地方法

程序计数器: 程序执行的计数器 (和操作系统的指令计数器类似, 只不过这个是软件实现的)

Java 中的数据：变量、常量、对象、数组相关

1. 程序计数器(不会出现OOM ERROR)

较小的内存空间，当前线程执行的字节码的行号指示器；各线程之间独立存储，互不影响（面试可能问到为什么需要）

如果线程正在执行的是一个 Java 方法，则指明当前线程执行的代字节码行数

如果正在执行的是 Natvie 方法，这个计数器值则为空（Undefined）

此内存区域是唯一一个不会出现 OutOfMemoryError 区域。

2. 虚拟机栈

操作指令	说明
iload_1	第二个 int 型局部变量进栈
bipush	将一个 byte 型常量值推送至栈顶
isub	栈顶两 int 型数值相减，并且结果进栈
istore_1	将栈顶 int 型数值存入第二个局部变量

栈：

数据结构的特点和 java 中方法中调用方法的特性一致。（为什么 JVM 使用栈?）

异常：

线程请求的栈深度大于虚拟机所允许的深度：StackOverflowError(SOF)

JVM 动态扩展时无法申请到足够的内存时：OutOfMemoryError (OOM)

虚拟机栈：

每个线程私有的，线程在运行时，在执行每个方法的时候都会打包成一个栈帧，存储了局部变量表，操作数栈，动态链接，方法出口等信息，然后放入栈。每个时刻正在执行的当前方法就是虚拟机栈顶的栈桢。方法的执行就对应着栈帧在虚拟机栈中入栈和出栈的过程。栈的大小缺省为 1M，可用参数 –Xss 调整大小，例如**-Xss256k**

在编译程序代码的时候，栈帧中需要多大的局部变量表，多深的操作数栈都已经完全确定了，并且写入到方法表的 Code 属性之中，因此一个栈帧需要分配多少内存，不会受到程序运行期变量数据的影响，而仅仅取决于具体的虚拟机实现。

局部变量表:顾名思义就是局部变量的表，用于存放我们的局部变量的。首先它是一个 32 位的长度，主要存放我们的 Java 的八大基础数据类型，一般 32位就可以存放下，如果是 64 位的就使用高低位占用两个也可以存放下，如果是局部的一些对象，比如我们的 Object 对象，我们只需要存放它的一个引用地址即可。（基本数据类型、对象引用、returnAddress 类型）

操作数据栈：存放我们方法执行的操作数的，它就是一个栈，先进后出的栈结构，操作数栈，就是用来操作的，操作的的元素可以是任意的 java 数据类型，所以我们知道一个方法刚刚开始的时候，这个方法的操作数栈就是空的，操作数栈运行方法是会一直运行入栈/出栈的操作

动态连接:Java 语言特性多态（需要类加载、运行时才能确定具体的方法）

返回地址:正常返回（调用程序计数器中的地址作为返回(下一个需要执行的位置)）

三步曲： 恢复上层方法的局部变量表和操作数栈、 把返回值（如果有的话）压入调用者栈帧的操作数栈中、 调整 PC 计数器的值以指向方法调用指令后面的一条指令、 异常的话（通过异常处理器表<非栈帧中的>来确定）

3. 本地方法栈

各虚拟机自由实现，本地方法栈 native 方法调用 JNI 到了底层的 C/C++(c/c++可以触发汇编语言，然后驱动硬件)

线程共享的区域

类信息：

类的完整有效名、返回值类型、修饰符（public，private…）、变量名、方法名、方法代码、这个类型直接父类的完整有效名(除非这个类型是 interface 或是 java.lang.Object，两种情况下都没有父类)、类的直接接口的一个有序列表

4. 方法区/永久代

jdk1.7 及以前：-XX:PermSize；-XX:MaxPermSize；

jdk1.8 以后：-XX:MetaspaceSize； -XX:MaxMetaspaceSize

jdk1.8 以后大小就只受本机总内存的限制, 如：-XX:MaxMetaspaceSize=3M

5. 堆

几乎所有对象都分配在这里，也是垃圾回收发生的主要区域，可用以下参数调整：

-Xms：堆的最小值； (Memory Small)

-Xmx：堆的最大值； (Memory Max)

-Xmn：新生代的大小； (Memory New)

-XX:NewSize；新生代最小值；

-XX:MaxNewSize：新生代最大值；

例如- Xmx256m

运行时常量池

1. 符号引用（一个概念）

一个 java 类（假设为 People 类）被编译成一个 class 文件时，如果 People 类引用了 Tool 类，但是在编译时 People 类并不知道引用类的实际内存地址，因此只能使用符号引用来代替。

而在类装载器装载 People 类时，此时可以通过虚拟机获取 Tool 类的实际内存地址，因此便可以既将符号 org.simple.Tool 替换为 Tool 类的实际内存地址，及直接引用地址。

即在编译时用符号引用来代替引用类，在加载时再通过虚拟机获取该引用类的实际地址.

以一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局是无关的，引用的目标不一定已经加载到内存中。

2. 字面量(不是变量的都是字面量, 声明为final的是一种特殊的字面量)

文本字符串 String a = “abc”,这个 abc 就是字面量

八种基本类型 int a = 1; 这个 1 就是字面量

声明为 final 的常量

3. 常量池的变化

各版本之间的变化

4. 直接内存

使用 Native 函数库直接分配堆外内存(NIO)

并不是 JVM 运行时数据区域的一部分，但是会被频繁使用(可以通过-XX:MaxDirectMemorySize 来设置（默认与堆内存最大值一样,也会出现 OOM 异常)

避免了在 Java 堆和 Native 堆中来回复制数据，能够提高效率

设置 JVM 参数-Xmx100m，运行异常，因为如果没设置**-XX:MaxDirectMemorySize**，则默认与-Xmx 参数值相同，分配 128M 直接内存超出限制范围

5. 站在线程角度来看

虚拟机栈、本地方法栈、程序计数器三个区域的生命周期和线程相同。 线程共享区域：就复杂多了

6. 深入辨析堆和栈

• 功能

  以栈帧的方式存储方法调用的过程，并存储方法调用过程中基本数据类型的变量（int、short、long、byte、float、 double、boolean、char 等）以及对象的引用变量，其内存分配在栈上，变量出了作用域就会自动释放；

  而堆内存用来存储 Java 中的对象。无论是成员变量，局部变量，还是类变量，它们指向的对象都存储在堆内存中；

• 线程独享还是共享

  栈内存归属于单个线程，每个线程都会有一个栈内存，其存储的变量只能在其所属线程中可见，即栈内存可

  以理解成线程的私有内存。 堆内存中的对象对所有线程可见。堆内存中的对象可以被所有线程访问。

• 空间大小

  栈的内存要远远小于堆内存

栈溢出

参数：-Xss256k

java.lang.StackOverflowError 一般的方法调用是很难出现的，如果出现了要考虑是否有无限递归。

虚拟机栈带给我们的启示：方法的执行因为要打包成栈桢，所以天生要比实现同样功能的循环慢，所以树的遍历算法中：递归和非递归(循环来实现)都有存在的意义。递归代码简洁，非递归代码复杂但是速度较快。

OutOfMemoryError：不断建立线程。