学习笔记（第2-5天）JVM-运行时数据区（上）

前言

加油努力，不积跬步无以至千里，不积小流无以成江海。

运行时数据区

方法区和堆区随着虚拟器的启动/退出而创建/销毁，与进程一一对应。而虚拟机栈，本地方法栈，PC寄存器则与线程一一对应，随着线程开始/结束而创建/销毁。

每个线程独立包括PC寄存器，栈，本地栈，线程间共享堆，堆外内存。

Java类中的Runtime实例(采用饿汉式单例模式)就是运行时数据区的对象。

栈是运行时的单位，堆是存储的单位。

1.PC寄存器（程序计数器）

注：JVM中的PC寄存器只是物理PC寄存器的一种抽象模拟，并非广义上的物理寄存器

(1)作用
PC寄存器用来存储指令指向下一条指令的地址，也就是将要执行的指令代码，由执行引擎读取下一条指令。

(2)介绍
a.它是一块很小的内存空间（几乎可忽略不记），是运行速度最快的存储区域。

b.任何时间一个线程都只有一个方法在执行，即所谓的当前方法。PC寄存器会存储当前线程正在执行的Java方法的JVM指令地址。
若是在执行native方法，则是为指定值（undefined）。

c.它是程序控制流的指示器，分支、循环、跳转、异常处理和线程恢复等基础功能都需要依赖其完成。

d.字节码解释器通过改变PC寄存器的值来选取下一条需要执行的字节码指令。

e.是唯一一个在Java虚拟器规范中没有规定任何OutOfMemoryError情况的区域，没有垃圾回收机制。

2.虚拟机栈

(1)Java虚拟机栈是什么？其作用为？
每个线程在创建时都会创建一个虚拟机栈，其内部保存一个个的栈帧，对应着一次次的Java方法调用。

其作用为主管Java程序的运行，保存方法的局部变量（8种基本数据类型、对象的引用地址）和部分结果，并参与方法的调用和返回。

虚拟机栈是线程私有，生命周期与线程一致。

对于栈来说不存在垃圾回收问题，但会报异常，比如栈溢出。

(2)栈中可能出现的异常
Java虚拟机规范运行Java栈的大小是动态的或者是固定不变的。根据不同情况可分为两种异常。

a.StackOverflowError异常（栈溢出）：若采用固定大小的Java虚拟机栈，每一个线程的Java虚拟机容量可以在线程创建时独立选定，如果线程请求分配的栈容量超过Java虚拟机栈的最大容量，Java虚拟机就会抛出该异常。

b.OutOfMemoryError异常（内存溢出）：若采用动态扩展的Java虚拟机栈，在尝试扩展时无法申请到足够的内存，或者在创建新的线程时没有足够的内存去创建对应的虚拟机栈，Java虚拟机就会抛出该异常。

(3)如何设置栈内存的大小
可以使用参数 -Xss选项（如-Xss256k）设置线程的最大栈空间，栈的大小直接决定了函数调用的最大可大深度。

(4)栈帧内部结构
a.局部变量表（本地变量表）
特点和概念
1）定义为以一个数字数组，主要存储方法参数和定义在方法体内的局部变量。包括各类基本数据类型，对象引用以及returnAddress（即返回值）类型。

2）局部变量表是建立在线程的栈上，是线程的私有数据，因此不存在数据安全问题。

3）局部变量表所需的容量大小是在编译期确定下来的，并保存在方法Code属性的maximum local variables数据项中。在方法运行期间是不会改变局部变量表的大小。

4）局部变量表中的变量只在当前方法调用中有效。当方法调用结束时，随着方法栈帧的销毁，局部变量表也随之销毁。

5）局部变量表中最基本的存储单元是Slot（变量槽）。32位以内的类型只占一个slot（包括returnAddress类型），64位的类型占用两个slot。

6）如果当前帧是由构造方法或实例方法创建，那么该对象引用this将会存放在index为0的slot处，其余参数按顺序存放。

7）局部变量表中的槽位是可以重用的。若一个局部变量超过了其作用域。在其作用域后申明的新的局部变量很有可能会复用国企局部变量的槽位。可达到节省资源的目的。

8）局部变量表中的变量是重要的垃圾回收根节点，只要被局部变量表中直接或间接引用的对象都不会被回收。

b.操作数栈（表达式栈）
特点和概念
1）主要用于保存计算过程的中间结果，同时作为计算过程中变量临时的存储空间。

2）操作数栈就是JVM执行引擎的一个工作区，当一个方法刚开始执行的时候，一个新的栈帧也会随之被创建出来，这个方法的操作数栈是空的。

3）每一个操作数栈都会拥有一个明确的栈深度用于存储数值，其所需的最大深度在编译器就定义好了，保存在方法的Code属性中，为max_staCk的值。

4）栈中的任何一个元素都可以是任意的Java数据类型，32bit占一个栈单位深度，64bit为两个。

5）操作数栈并非采用访问索引的方式来进行数据访问，而是只能通过入栈/出栈操作来完成一次数据访问。

6）如果被调用的方法带有返回值，其返回值将会被压入当前栈帧的操作数栈中，并更新PC寄存器中下一条需要执行的字节码指令。

7）操作数栈中元素的数据类型必须与字节码指令的序列严格匹配，由编译器在编译期间进行验证，同时在类加载阶段中的类检验阶段的数据流分析阶段要再次验证。

c.动态链接（指向运行时常量池的方法引用）
每一个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用。包括这个引用的目的就是为了支持当前方法的代码能够实现动态链接。

在Java源文件被编译到字节码文件中时，所有的变量和方法引用都作为符号引用保存在class文件的常量池里。动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。

d.方法返回地址（方法正常退出或异常退出的定义）
概念和特点：
存放调用该方法的PC寄存器的值

方法的结束分为两种：①正常执行完成；②出现未处理异常，非正常退出。无论哪种方式，在方法退出后都返回该方法被调用的位置。方法正常退出时，调用者的PC计数器的值作为返回地址，即调用该方法的指令的下一条指令的地址。而通过异常退出的，返回地址要通过异常处理表来确定，栈帧一般不会保存这部分信息。

本质上，方法的退出就是当前栈帧出栈的过程。此时需要恢复上层方法的局部变量表，操作数栈，将返回值压入调用者栈帧的操作数栈，设置PC寄存器值等，让调用者方法继续执行下去。正常完成出口和异常完成出口的区别在于：通过异常完成出口退出的不会给它的上层调用者产生任何返回值。

e.一些附加信息
栈帧中还允许携带与Java虚拟机实现相关的一些附加信息。例如：对程序调试提供支持的信息。

3.本地方法栈

补充知识：
本地方法库/接口

1.什么是本地方法？
简单的说，**一个Native Method就是一个Java调用非Java代码的接口，一个Native Method的实现由非Java语言实现。**本地接口的作用是融合不同的编程语言为Java所用，它的初衷是融合C/C++程序。本地方法使用C语言实现的。

2.为什么要使用Native Method
为了与Java环境外交互，有些层次的任务用Java实现起来不容易。这是本地方法存在的主要原因。目前该方法使用越来越少，除非是与硬件有关的应用。

概念：
Java虚拟机栈用于管理Java方法的调用，而本地方法栈用于管理本地方法的调用。本地方法栈也是线程私有的。允许被实现成固定或者可动态扩展的内存大小（跟虚拟机栈一样，会出现栈溢出和内存溢出，没有垃圾回收）

具体做法是Native Method Stack中登记native方法，在Execution Engine执行时加载本地方法库。

当某个线程调用一个本地方法时，它就进入一个权限的且不再受虚拟机限制的世界。它和虚拟机拥有同样的权限。

本地方法可以通过本地方法接口来访问虚拟机内部的运行时数据区。甚至可以使用本地处理器中的寄存器。或是直接从本地内存的堆中分配任意数量的内存。

并不是所有的JVM都支持本地方法。因为Java虚拟机规范并没有明确要求本地方法栈的使用语言，具体实现方式，数据结构等。（在Hotspot JVM中，直接将本地方法栈和虚拟机栈合二为一）

知识点补充

一、JVM线程
1.JVM线程和操作系统系统本地线程
(1)JVM运行一个应用有多个线程并行执行。

(2)在HotSpot JVM里，每个线程都与操作系统的本地线程直接映射。当一个Java线程准备好执行后，操作系统的一个本地线程也同时创建。Java线程执行终止后，对应本地线程也会回收。

(3)操作系统负责所有线程的安排调度到任何一个可用的CPU上。一旦本地线程初始化成功，它就会调用Java线程中的run()方法。

2.JVM系统线程
(1)虚拟机线程：该线程操作需要JVM达到安全点才会出现，这些操作必须在不同的线程中发生，因为他们都需要JVM达到安全点，这样堆次啊不会变化。该线程执行类型包括“stop-the-world”的垃圾手机，线程栈手机，线程挂机以及偏向锁撤销。

(2)周期任务线程：该线程是时间周期事件的体现（如中断），一般用于周期性操作的调度执行。

(3)GC线程：该线程对JVM里不同虫类的垃圾收集行为提供支持，该线程是守护线程。

(4)编译线程：该线程在运行时会将字节码编译成本地代码。

(5)信号调度线程：该线程接收信号并发送给JVM，在内部通过调用适当的方法进行处理。

3.静态变量和局部变量
变量的分类：
·按照数据类型分类：基本数据类型，引用数据类型

·按在类中声明的位置分类：
1．成员变量：在使用前，都经历过默认初始化赋值
1)类变量（静态变量）：在Linking中的prepare阶段默认赋值，在初始化阶段显式赋值。
2)实例变量：随着对象的创建，会在堆空间中分配实例变量空间并进行默认赋值。

2．局部变量：在使用前，必须进行显式赋值，否则编译失败

4、栈顶缓存技术
基于栈式结构的虚拟机所使用的零地址指令更加紧凑，但完成一项操作必然需要更多的入栈和出栈指令，也就意味着需要更多的指令分派次数和内存读/写次数。

栈顶缓存技术，即将栈顶元素全部缓存在物理CPU的寄存器中，以此降低对内存的读/写次数，提升执行引擎的执行效率

5、静态链接和动态链接/早期绑定和晚期绑定
在JVM中，将符号引用转换为调用方法的直接引用与方法的绑定机制相关。
静态链接：
当一个字节码文件被装载进JVM内部时，如果被调用的目标方法在编译期可知，且运行期保持不便时。这种情况下将调用方法的符号引用转换为直接引用的过程称之为静态链接。

动态链接：
如果被调用的方法在编译期无法被确定下来，即只能在程序执行期将调用的符号引用转换为直接引用。由于这种引用转换过程具备动态性，因此也就被称之为动态链接。

对应的方法的绑定机制为：早期绑定和晚期绑定。绑定是一个字段、方法或者类在符号引用被替换为直接引用的过程，这仅仅发生一次。
早期绑定：（对应静态链接）
早期绑定就是指被调用的目标方法如果在编译期可知，且运行期保持不变时，即可将这个方法与所属的类型进行绑定。

晚期绑定：（对应动态链接）
如果被调用的方法在编译期无法被确定下来，只能够 在程序运行期根据实际的类型绑定相关的方法，这种绑定 方式也就被称之为晚期绑定。

6、虚方法和非虚方法
非虚方法：
如果方法在编译期就确定了具体的调用版本，这个版本在运行时是不可变的，即为非虚方法。
静态方法，私有方法，final方法，实例构造器，父类方法都是非虚方法。

虚方法：
其他方法为虚方法

7、虚拟机的方法调用指令
普通调用指令：
1.invokestatic：调用静态方法，解析阶段确定唯一方法版本。
2.Invokespecial：调用方法，私有及父类方法，解析阶段确定唯一方法版本。
3.Invokevirtual：调用所有虚方法。
4.Invokeinterface：调用方法接口。

动态调用指令：
5.Invokedynamic：动态解析出需要调用的方法，然后执行。（Java7新增，但并没有提供直接生成该指令的方法）（直到Java8的Lambda表达式的出现，在Java中才有了直接的生成方式）

前四条指令固化在虚拟机内部，方法的调用执行不可人为干预，而Invokedynamic指令则支持由用户确定方法版本，其中Invokestatic指令和Invokespecial指令调用的方法为非虚方法，其余的（final修饰的除外）成为虚方法。

8、方法重写的本质
1.找到操作数栈顶的第一个元素所执行的对象的实际类型，记作C

2.如果在类型C中找到与常量中的描述符合简单名称都相符的方法，则进行访问权限校验，如果通过则返回这个方法的直接引用，查找过程结束，否则返回java.lang.IllegalAccessError异常。

3.否则，按照继承关系从下往上依次对C的各个父类进行第二步的搜索和验证过程。

4.如果始终没有合适的方法，则抛出java.lang.AbstractMethodError异常。

IllegalAccessError介绍：
程序试图访问或修改一个属性或调用一个方法，如果没有权限访问，一般会引起编译器异常。这个错误如果发生在运行时，就说明一个类发生了不兼容的改变。