jvm 虚拟机栈 - 技术栈

JVM虚拟机栈是Java虚拟机中用于管理Java方法执行的内存模型的一部分。每个线程在JVM中运行时都会拥有自己的虚拟机栈，这个栈会随着方法调用和返回而动态变化。栈中的每一帧称为栈帧（Stack Frame），对应着每次方法调用。

特性和组成部分

局部变量表(Local Variables)：存储方法的参数和局部变量。
操作数栈(Operand Stack)：作为方法执行时的工作区，用于存放计算过程中的临时数据。
动态链接(Dynamic Linking)：每个栈帧都包含一个指向当前方法所属对象的运行时常量池的引用，用于支持方法调用过程中的动态链接。
方法出口(Return Address)：存储调用方法后返回位置的指针，确保方法执行完毕后可以返回到正确的调用位置。

源码级别的探讨

虚拟机栈的具体实现取决于JVM本身的实现细节。以OpenJDK为例，虚拟机栈的操作通常在C++层面实现。在HotSpot虚拟机中，每个线程的栈信息由JavaThread对象表示，栈帧由frame对象表示。

cpp 复制代码

// 以下是伪代码，用于说明JVM栈帧的概念：

class frame {
private:
    // 指向局部变量数组的指针
    u1* local_vars;
    // 指向操作数栈的指针
    Stack<Value> operand_stack;

public:
    // 栈帧操作的方法
    void push(Value value);
    Value pop();
    void store(int index, Value value);
    Value load(int index);
    // 其他栈操作方法...
};

class JavaThread {
private:
    // 线程的栈帧链表的头指针
    frame* top_frame;

public:
    // 线程栈操作的方法
    void push_frame(frame* frm);
    void pop_frame();
    // 其他线程栈操作方法...
};

在HotSpot虚拟机中，frame类及其相关方法的实现涉及到复杂的内存操作，这些源码可以在OpenJDK的官方仓库中找到。

代码演示（Java层面）

虽然我们不能直接在Java代码中访问或操作虚拟机栈，但是我们可以通过Java代码演示栈帧的行为。

java 复制代码

public class StackDemo {

    public static void a() {
        int i = 1; // 局部变量
        b(i);
    }

    public static void b(int j) {
        double d = 2.0; // 局部变量
        c(d);
    }

    public static void c(double e) {
        String str = "stack"; // 局部变量
        d(str);
    }

    public static void d(String f) {
        System.out.println(f);
        // 当此方法完成时,栈帧d将从虚拟机栈中弹出
    }

    public static void main(String[] args) {
        a(); // 调用方法a,开始构建栈帧
    }
}

在上面的示例中，每个方法调用会生成新的栈帧并将其压入当前线程的虚拟机栈中。当一个方法调用完成时，它的栈帧会被弹出栈，并且控制权返回到调用该方法的上一栈帧。

总结

JVM虚拟机栈是每个线程都拥有的内存区域，用于执行方法调用。在源码层面，虚拟机栈由复杂的C++实现控制，与Java开发者的日常工作关联不大。但是，理解虚拟机栈如何工作有助于开发者理解方法调用、递归调用的限制（比如StackOverflowError）和方法的局部变量如何被管理。在实际编程中，开发者需要注意栈帧的大小和深度，以避免栈溢出或内存泄露。