JVM自用笔记 —— 虚拟机栈

为了实现跨平台性，java的指令都是根据栈来设计的。栈是虚拟机运行时的单位，而堆是存储的单位

一.虚拟机栈

 虚拟机栈主管Java程序的运行，保存方法的局部变量（8种基本数据类型和对象的引用地址）、部分结果和方法的调用与返回。在虚拟机中，一个线程对应一个虚拟机栈。一个方法对应一个栈帧，不同线程的栈帧是不允许互相引用的，无论是方法正常结束还是抛出未处理异常，都会导致栈帧被弹出。

 访问速度仅次于程序计数器。与程序计数器既不存在GC也不存在OOM的特性相比，栈仅仅不存在GC。

二.虚拟机栈常见异常

 根据虚拟机规范，栈的大小是动态的或者固定不变（通过-Xss 设定大小）的。针对这两种情况，有两种异常：

• 固定不变时内存溢出: StackOverFlowError
• 动态可扩展时无法再分配内存:OutOfMemoryErrror

三.栈帧的内部结构

1. 局部变量表

• 局部（本地）变量表 *是一个数字（基本数据类型+对象引用地址+返回值类型）数组，用于存储方法参数和方法内的局部变量。
• 线程私有，故多线程场景安全。 所需容量大小是在编译期就可以确定的。且后续不可变。
• 局部变量表中的变量只在当前方法调用中有效。当方法调用结束后，随着方法帧的销毁局部变量表随之销毁。
• 局部变量表的基本单位是slot（槽）。32位数据只占一个slot，64位数据（long、double）占两个slot。
• 当该帧是构造方法或非静态方法创建，那么会将对象引用this存放在index为0的slot中，而静态方法不会这样做，这也是静态方法内无法使用this的原因。
• 当对应的局部变量或方法参数超出作用范围时，slot是可以被回收且重复利用的。
• 局部变量表中的变量是GC ROOT。
• 局部变量表中的数据未必是线程安全的，这取决于对方法参数的逃逸分析，即形参是其他方法的返回值或者被其他方法调用。

2. 操作数栈

• 主要用于保存每个操作的中间结果，可以看作是一种逆波兰计算器 。通过数组实现，在编译期确定栈的深度。

3. 动态链接
   在编译为字节码文件时，所有的变量和方法引用都作为符号引用保存在常量池中。类被加载之后，Class文件中的常量池会被复制一份到方法区，成为“运行时常量池”。栈帧中存在指向方法区中的运行时常量池的引用。如一个方法调用了另外的其他方法时，就是通过常量池指向方法的符号引用来表示的，那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。

如果在编译期间就能确定调用的目标方法，且运行期保存不变，那么就可以通过静态链接（早期绑定）转换为直接引用。从多态的角度理解，如果一个方法在编译器就能确定，那么就是非虚方法。如静态方法、父类方法、私有方法、final方法、实例构造器。由此衍生出jvm的几种方法调用指令：

final方法是个特殊，它通过invokevirtual调用。但它是个非虚方法。（为啥呢？很奇怪的设计）为了更快的判断一个方法是否是虚方法（防止不停的访问父类），jvm在类的方法区建立了一个虚方法表。在类加载的链接阶段完成虚方法表的创建。

4. 方法返回地址
   存储调用该方法的地方的PC寄存器的值。以便被调用方法正常执行结束后，能正确返回执行位置。对于异常退出，栈帧一般不保存返回地址，而是通过异常表来确定返回地址。

5. 一些附加信息

四.栈顶缓存技术

 相较于寄存器方式处理指令，栈的方式处涉及到数据的压入和弹出，指令多，性能相对较低。同时，栈的大小受到内存限制，对于大量数据的处理可能会导致栈溢出。因此JVM将栈顶元素全部缓存到物理CPU寄存器中，以降低内存读写次数，提升引擎的执行效率。

参考

• 尚硅谷宋红康JVM全套教程 P44 - P62