一、概述
- 每一个栈帧中除了包含局部变量表以外,还包含一个后进先出的操作数栈,也称为表达式栈。
- 操作数栈在方法执行的时候,根据字节码指令,往栈中写入数据或提取数据,即入栈(push)/出栈(pop)。
- 某些字节码指令将值压入操作数栈,其余的字节码指令将操作数取出栈。使用后再把结构压入栈。比如执行复制、交换、求和等操作。
二、操作数栈的作用
- 操作数栈主要是用于保存计算过程中间结果,同时作为计算过程中变量临时的存储空间。
- 操作数栈就是JVM执行引擎的一个工作区,当一个方法刚开始执行的时候,一个新的栈帧也会随之被创建出来,这个方法的操作数栈是空的。
- 每一个操作数栈都会拥有一个明确的栈深度用于存储数值,其所需的最大深度在编译期就是定义好了,保存在方法的code属性中,为max_stack的值。
- 32bit的类型只占一个栈单位深度,64bit的类型占两个栈单位深度。
- 操作数栈并非采用访问索引的方式来进行数据访问的,而是只能通过标准的入栈(push)/出栈(pop)操作完成一次数据访问。
- 如果被调用的方法代返回值的话,其返回值将会被压入当前栈帧的操作数栈中,并更新PC寄存器到下一条需要执行的字节码指令。
- 操作数栈中元素的数据类型必须要与字节码指令的序列严格匹配,这由编译期进行验证,同时在累加载的时候中的类检验阶段的数据流分析阶段再次验证。
- 另外,我们说Java虚拟机的解释引擎是基于栈的执行引擎,其中的栈指的就是操作数栈。
三、操作数栈中的字节码指令
- push:将值放入操作数栈中。
- store:将值从操作数栈中移到局部变量表中。
- load:将值从局部变量表中移到操作数栈中。
四、栈顶缓存技术
由于操作数是存储在内存中的,因此频繁地执行内存读/写操作必然会影响执行速度。为了解决这个问题,HotSpot JVM的设计者们提出栈顶缓存技术,将栈顶的元素全部缓存到物理CPU的寄存器上,以此降低对内存的读/写次数,提升引擎的执行效率。