Java字节码执行引擎是基于栈的解释执行系统，通过栈帧在虚拟机栈中压入/弹出实现方法调用与返回，所有运算依托操作数栈和局部变量表协作完成，指令紧凑、跨平台性强但执行步数较多。
Java 源码编译后生成字节码，真正驱动它运行的是 JVM 的字节码执行引擎——一个基于栈的解释执行系统。它的核心动作不是靠寄存器调度，而是靠栈帧在虚拟机栈中“压入”和“弹出”来配合方法调用与返回，所有计算都围绕操作数栈展开。
字节码执行引擎是基于栈的解释器
JVM 不直接执行 Java 源码，也不生成机器码（除非 JIT 编译介入），而是逐条读取 .class 文件中的字节码指令，用“操作数栈 + 局部变量表”协作完成运算。比如：
- iload_1：把局部变量表第 1 号槽位的 int 值推入操作数栈顶；
- iadd：从栈顶弹出两个 int 值相加，再把结果压回栈顶；
- istore_3：把栈顶值弹出，存入局部变量表第 3 号槽位。
整个过程不涉及显式寄存器寻址，所有中间值都暂存在操作数栈里，指令紧凑、跨平台性强，但需要更多指令步数完成等价计算。
栈帧是方法执行的最小内存单元
每次方法调用，JVM 就在当前线程的虚拟机栈中分配一个栈帧（Stack Frame）。这个帧不是运行时动态决定大小的，而是在编译阶段就写死在方法的 Code 属性里——包括局部变量表容量、操作数栈最大深度。
立即学习“Java免费学习笔记（深入）”；
- 局部变量表：按槽（slot）编号存储参数和局部变量，long/double 占两槽，其余占一槽；
- 操作数栈：初始为空，随指令执行不断压栈/出栈，深度在编译期已知；
- 动态链接：指向运行时常量池，支撑多态调用（如 invokevirtual 查找实际方法）；
- 方法返回地址：记录调用者下一条指令位置，用于方法结束时恢复执行流。
压栈与出栈对应方法生命周期
栈帧的入栈与出栈严格绑定方法的开始与结束：
- 遇到 invokestatic 或 invokevirtual 等调用指令时，JVM 创建新栈帧并压入虚拟机栈顶，成为“当前栈帧”；
- 当前方法执行中，所有字节码指令只操作该帧的局部变量表和操作数栈；
- 遇到 return、ireturn 或异常未被捕获时，当前栈帧立即出栈，控制权交还给上层栈帧（即调用者）；
- 若调用链很深（如递归过深），栈空间耗尽会抛出 StackOverflowError。
栈帧结构保障了线程隔离与执行安全
每个线程拥有独立的虚拟机栈，栈帧天然线程私有。这意味着：
- 局部变量不会被其他线程直接访问；
- 操作数栈的状态完全由当前方法字节码控制，无共享风险；
- 方法返回地址确保调用上下文可准确还原，支持嵌套、递归、异常传播等复杂流程。
这种设计让 JVM 在不依赖操作系统线程机制的前提下，实现了轻量、可控、可调试的方法执行模型。
