JVM虚拟机二（内存模型之程序计数器和虚拟机栈）

运行时数据区

程序计数器

• 又叫PC寄存器，(Program Counter Register),寄存器结构
• 作用：PC寄存器用来存储指向下一条指令的地址，也就是将要执行的指令代码。由执行引擎读取下一条指令。
• 是一块很小的内存空间，几乎可以忽略不记，也是运行速度最快的存储区域
• 每一个线程都拥有自己的程序计数器，是线程私有的，声明周期和线程的生命周期保持一致
• 任何时间一条线程都只有一个方法在执行，也就是当前方法，又叫当前栈帧，程序计数器会存储当前线程正在执行的java方法的JVM指令地址；如果是在执行本地方法，则是undefined;
• 它是程序控制流的指示器，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。
• 字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。
• 是唯一一个在java虚拟机中不存在**OOM（OutOfMemoryError）**的区域。
  
• 为什么要使用PC寄存器存储字节码指令地址？

因为CPU需要不停的切换各个线程，这时候切换回来以后，就得知道接着从哪开始继续执行。
JVM字节码解释器就需要通过改变PC寄存器的值来明确下一条应该执行什么样的字节码指令。

虚拟机栈

• 之前在总结JVM时曾提到过因为java的跨平台性，所以java的指令只能用基于栈的指令集结构，不能设计为基于寄存器的。零地址指令(不用地址)更加紧凑，8位对齐，这样指令集小。
• 虚拟机栈是什么？

早期叫做java栈，这是一个线程私有的栈结构，每一个线程创建之后都会创建一个虚拟机栈，其内部保存着一个个的栈帧，一个栈帧对应一个java方法。
其生命周期和线程一致，线程创建时它创建，线程消亡时它消亡。
它的作用时主管java程序的运行，保存了一个个方法的局部变量、结果。并且直接参与方法的调用和返回。

• 栈的存储方式快速高效且简单，只有方法执行时的入栈和方法结束后的出栈操作。简单高效。且因为伴随线程创建和消亡，不存在垃圾回收问题。
• 但是可能存在OOM问题。

栈中可能出现的异常

• java虚拟机规范java虚拟机栈的大小可以是动态的也可以是固定不变的

动态大小 OOM （内存溢出）

空间如果不够了，尝试扩展的时候无法申请到足够的内存，或者是在创建线程时没有足够的内存去跟着创建虚拟机栈，就会报OOM异常。

固定不变 StackOverflowError （栈溢出）

如果采用固定大小的虚拟机栈，每个线程在创建时可以设定虚拟机栈的容量大小（可以通过VM options设置其栈大小 -Xss1024k），如果线程申请的栈的内存容量超过java虚拟机栈的最大容量设置值，java虚拟机就会报StackOverflowError异常

栈内部结构

每个线程都有自己的栈，栈中的数据都是以栈帧的格式存在。线程中的每个方法对应一个栈帧。

栈帧

• JVM直接对java栈的操作只有两个，就是对栈帧的压栈和出栈，遵循先进后出的原则。
• 且在一个栈中，同一时间点上有且只有一个活动的栈帧，也就是当前栈顶的这个栈帧是有效的，这个栈帧叫做当前栈帧，与这个当前栈帧对应的方法叫做当前方法，定义这个方法的类叫做当前类。
• 执行引擎运行的所有字节码指令只针对当前栈帧进行操作。
• 但是如果当前栈帧对应的方法又调用了其他的一个方法，那么新的方法所对应的栈帧就会被创建出来，放在栈的顶端，成为新的当前栈帧。
• 注意：

不同线程的栈帧是不允许相互引用的。一个栈帧不可能引用其他线程的栈帧。

栈帧内部结构

内部结构有：局部变量表，操作数栈，动态链接，方法返回地址，和一些附加信息

局部变量表

• 定义为一个数字数组，主要用来存储方法参数（形参）和定义在方法体内的局部变量和对象引用。这些数据类型包括各类基本数据类型、对象引用。
• 局部变量表所需的容量大小是在编译期就确定下来的，在方法运行期间不会改变局部变量表的大小
• 局部变量表中的变量只在当前方法调用中有效。在方法执行时，虚拟机通过使用局部变量表完成参数值到参数变量列表的传递过程。当方法调用结束后，随着方法栈帧的销毁，局部变量表也会随之销毁。

Slot（槽）

• 是局部变量表的最基本的存储单位
• 其中，32位以内的类型只占用一个slot
• byte,short,char在存储前转化为int,
• boolean也被转换为int,0代表 false，非0代表 true。

当一个实例方法被调用时，它的方法参数和方法体内部定义的局部变量将会按照顺序复制到局部变量表的每一个slot上。

• 而64位的long和double则占据两个slot。

占用两个槽，那么只需要第一个索引就可以表示这个slot

面试题：为什么一个类的静态方法内部不能调用this.呢？
答：因为静态方法的局部变量表中没有this这个对象引用，只有构造方法和实例方法创建的栈帧，才会把对象引用this存放在index为0的slot处。

• Slot的重复利用

栈帧中的局部变量表的槽位可以重复利用，如果一个局部变量过了其作用域，例如在代码块中，代码块之后其占用的槽位就会被复用。从而达到节省资源的目的。

• 局部变量必须显示赋值，因为放到局部变量表中时，局部变量表不会进行系统初始化。没有值的话，就没办法占用一个槽，也就会编译失败。
• 在栈帧中，与性能调优关系最为密切的就是局部变量表，在方法执行时，虚拟机使用局部变量表完成方法的传递。原因：

局部变量表中存储的是基本数据类型和堆空间中对象的引用，如果其中的一个变量不存在了，那么对于堆空间的一个引用就不存在了，这个垃圾就要被回收。但是如果栈帧的局部变量表中一直有一个对象的直接或者间接的引用，那么这个对象就一定不会被回收！！

所以局部变量表中的变量也是重要的垃圾回收根节点！

操作数栈

• 栈帧内部的一个先进后出的操作数栈，在方法执行的过程中，根据字节码指令，往栈中写入数据或提取数据，即入栈出栈。
• 比如：求和，某些字节码指令把两个值压入操作数栈，其余的字节码指令把操作数出栈，求和，再把求出的和压入栈。
• 如果被调用的方法带有返回值的话，其返回值将会被压入当前栈帧的操作数栈中。
• 操作数栈中元素的数据类型必须与字节码指令的序列严格匹配，这由编译器在编译期间进行验证，同时在类加载过程中的类检验阶段的数据流分析阶段要再次验证。
• 而java虚拟机的解释执行就是基于操作数栈的执行引擎。
• 操作数栈，主要用于保存计算过程的中间结果，同时作为计算过程中变量临时的存储空间
• 操作数栈是JVM执行引擎的一个工作区，当一个方法刚开始执行的时候，一个新的栈帧也会随之被创建出来，这个方法的操作数栈是空的。
• 每一个操作数栈都会拥有一个明确的栈深度用于存储数值，其所诉的最大深度在编译期就定义好了，保存在方法的code属性中，为max_stack的值。
• 栈中的任何一个元素都是可以任意的java数据类型。
• 32位的类型占用一个栈深度，64位的类型占用两个栈深度。
• 操作数栈并非采用访问索引的方式来进行数据访问的，而是通过标准的入栈和出栈操作来完成一次数据访问。

栈顶缓存技术

• 因为java虚拟机时基于栈式架构的零地址指令，零地址就是不用地址指令，因为纯用栈的入栈和出栈操作。所以不需要地址。而使用零地址指令更加紧凑，但是完成一个操作就需要很多的入栈和出栈操作，同时也需要更多的指令分配次数和内存读写次数。
• 因此为了避免这种多指令分配和多内存读写的压力。JVM虚拟机设计者提出了栈顶缓存技术
• 栈顶缓存技术：将栈顶元素全部缓存在物理CPU的寄存器中，以此提升内存的读写速度，提升执行引擎的执行效率

动态链接（指向运行时常量池的方法引用）

• 每个class文件都会在运行时常量池（constant pool），此时还没运行起来，这个常量池是在class文件中的。
• 常量池的作用就是为了提供一些符号和常量，方便了指令的识别和方法的调用。
• 这个运行时常量池是class文件中的，当程序真正运行起来时，就会把运行时常量池中的信息存放到方法区，形成运行时常量池
• 其中左边的 #1 #2 #3 就是符号引用，右边对应的就是它真实对应的结构。
• 在java源文件被编译位class字节码文件中时，所有的变量和方法的引用都会作为一个符号引用保存在class文件的常量池中。
• 运行时常量池保存了一个方法的引用
• 而每个栈帧内部保存了一个指向上面运行时常量池中对应方法的引用的地址
• 这个引用的目的就是为了支持当前方法的代码能够实现动态链接
• 比如一个方法调用了另外的其他方法时，就是通过常量池中指向方法的符号引用来表示的
• 动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。

方法返回地址

• 存放的就是该方法的PC寄存器的值
• 这个区域存在的目的就是为了回到调用此方法的那个方法调用此方法时的那个位置，然后继续执行那个方法
• 如果方法A调用的方法B，调用时这一行的PC寄存器的值被保存到B栈帧的方法返回地址中。然后当前栈帧为B，当B所对应的方法执行完毕的时候，把B方法的方法返回地址中保存的PC寄存器的值返回回去，给执行引擎，让执行引擎知道在A栈帧中执行到了哪一步，然后继续执行A。
• 而如果方法出现未处理的异常，然后退出的，返回地址时要通过异常表来确定，栈帧中一般不会保存这部分信息。

附加信息

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