Java 虚拟机栈与栈帧结构详解
虚拟机栈是线程私有的内存区域，生命周期与线程一致。它描述的是 Java 方法执行的线程内存模型：每调用一个方法，就创建一个栈帧压入栈顶；方法返回时栈帧出栈。方法调用的深度，决定了栈的深度。
栈与栈帧
┌────────────────────────────┐
│ 栈帧：methodC() ← 栈顶 │ ← 当前正在执行的方法
│ 栈帧：methodB() │
│ 栈帧：methodA() │
│ 栈帧：main() ← 栈底 │
└────────────────────────────┘栈帧是虚拟机栈的基本单位，一次方法调用对应一个栈帧。栈帧大小由编译期决定，主要由局部变量表和操作数栈的深度决定。一个线程栈的大小通过 -Xss 配置，默认值随平台而异（通常 512KB ~ 1MB）。
栈帧的四要素
一个栈帧包含四部分内容：局部变量表、操作数栈、动态链接、方法出口。
局部变量表（Local Variable Table）
存放方法参数和局部变量，以 Slot（变量槽） 为单位，每个 Slot 可存 32 位以内的数据。
public static int add(int a, int b) {
int c = a + b; // 栈帧建立时先分配参数槽位
return c;
}long/double占用 2 个 Slot，其余类型占用 1 个- 对象引用（reference）也占 1 个 Slot
- 局部变量表的索引从 0 开始，
this（实例方法）占第 0 位 - 槽位可复用：超出作用域的变量，其 Slot 会被后续变量复用，这也是局部变量能否被 GC 回收的隐藏因素
操作数栈（Operand Stack）
字节码指令的操作数存放区。大多数指令从操作数栈取数、运算、再压回。
java
int c = a + b;对应的字节码（简化示意）：
iload_0 // 将局部变量表下标 0 的 a 压入操作数栈
iload_1 // 将 b 压入操作数栈
iadd // 弹出两个操作数相加，结果压回栈
istore_2 // 弹出结果存入局部变量表下标 2（即变量 c）操作数栈的深度在编译期确定，栈帧中为其预留空间。它不参与方法间通信，只服务于当前方法内部的运算。
动态链接（Dynamic Link）
每个栈帧都持有一个指向运行时常量池中该方法的引用，用于支持方法调用。运行期解析的符号引用称为动态链接，与编译期静态解析相对。
- 静态解析：编译期确定的目标方法（private、static、final 等），在类加载解析阶段完成
- 动态解析：多态调用需要运行时根据实际对象类型确定目标方法（invokevirtual）
方法出口（Return Address）
记录方法正常返回时主调方法的执行位置，或异常处理时的入口。方法退出有两种方式：
- 正常返回：执行到 return 指令，将返回值（若有）压入主调方法操作数栈
- 异常抛出：异常未被捕获时，通过异常处理表找到对应入口，无则层层上抛
无论哪种方式退出，栈帧都会弹出，把控制权交还给主调方法。
StackOverflowError 分析
触发条件
栈帧入栈速度大于出栈速度，或栈深度超过 -Xss 上限，就会抛出 StackOverflowError。最常见原因是无限递归。
java
public class StackOverflowDemo {
static int depth = 0;
static void recurse() {
depth++;
recurse(); // 永不返回，栈帧持续入栈
}
public static void main(String[] args) {
try {
recurse();
} catch (StackOverflowError e) {
System.out.println("栈溢出，深度：" + depth);
}
}
}-Xss 越小，可递归深度越小；调大 -Xss 只是缓解症状，治本要消除递归或改用迭代。
排查思路
- 检查线程栈顶方法（
jstack输出的第一段），栈顶即递归入点 - 确认递归是否有正确的终止条件
- 排查深层调用链：深度遍历树/图、XML 解析、JSON 反序列化等容易产生深调用
- 确认是否每个线程都占满栈空间导致线程创建失败（伴随 OOM: unable to create native thread）
与 OOM 的区分
| 异常 | 触发点 | 原因 |
|---|---|---|
| StackOverflowError | 栈深度不足 | 递归过深、单帧过大 |
| OutOfMemoryError | 动态扩展失败 | 线程数过多、栈总内存耗尽 |
栈内存也计入进程内存。-Xss 设置过大会降低可创建的线程数上限，生产环境通常不轻易调大。