深入理解Java虚拟机之JVM内存布局篇

===============

​ 栈（Stack）是一个先进后出的数据结构，先进后出怎么理解？类似于我们平时打羽毛球时，装羽毛球的球筒，第一个先放进去的往往最后一个才能拿出来，最后放进去的一个最先拿出来。

​ 相对于基于寄存器的运行环境来说，JVM是基于栈结构的运行环境。因为栈结构移植性更好，可控性更强。JVM的虚拟机栈是描述Java方法执行的内存区域，并且是线程私有的。栈中的元素用于支持虚拟机进行方法调用，每个方法从开始调用到执行完成的过程，就是栈帧从入帧到出帧的过程。在活动线程中，只有位于栈顶的帧才是有效的，称为当前栈帧。正在执行的方法称为当前方法，栈帧是方法运行的基本结构。在执行引擎运行时，所有指令都只能针对当前栈帧进行操作。而StackOverflowError表示请求的栈溢出，导致内存耗尽，通常出现在递归方法中。如果把JVM当做一个棋盘，虚拟机栈就是棋盘上的将/帅，当前方法的栈帧就是棋子能走的区域，而操作栈就是每一个棋子。操作栈的压栈和出栈如下图所示：

​ 虚拟机栈通过压栈和出栈的方式，对每个方法对应的活动栈帧进行运算处理，方法正常执行结束，肯定会跳转到另外一个栈帧上。在执行的过程中，如果出现异常，会进行异常回溯，返回地址通过异常处理表确定。栈帧在整个JVM体系中的地位颇高，包括局部变量表、操作栈、动态连接、方法返回地址等。

​ 下面对栈帧的各个活动栈帧进行简要的分析

​ （1）局部变量表

​ 局部变量表是存放方法参数和局部变量的区域。我们都知道，类属性变量一共要经历两个阶段，分为准备阶段和初始化阶段，而局部变量是没有准备阶段，只有初始化阶段，而且必须是显示的。如果是非静态方法，则在index[0]位置上存储的是方法所属对象的实例引用，随后存储的是参数和局部变量。字节码指令中的STORE指令就是将操作栈中计算完成的局部变量写回局部变量表的存储空间内。

​ （2）操作栈

​ 操作栈是一个初始状态为空的桶式结构栈。在方法执行过程中，会有各种指令往栈中写入和提取信息。JVM的执行引擎是基于栈的执行引擎，其中的栈指的就是操作栈。字节码指令集的定义都是基于栈类型的，栈的深度在方法元信息的stack属性中，下面就通过一个例子来说明下操作栈与局部变量表的交互：

public int add() {

int x = 10;

int y = 20;

int z = x + y;

return z;

}

字节码操作顺序如下：

public int add();

Code:

0: bipush 10 // 常量 10 压入操作栈

2: istore_1 // 并保存到局部变量表的 slot_1 中 （第 1 处）

3: bipush 20 // 常量 20 压入操作栈

5: istore_2 // 并保存到局部变量表的 slot_2 中

6: iload_1 // 把局部变量表的 slot_1 元素（int x）压入操作栈

7: iload_2 // 把局部变量表的 slot_2 元素（int y）压入操作栈

8: iadd // 把上方的两个数都取出来，在 CPU 里加一下，并压回操作栈的栈顶

9: istore_3 // 把栈顶的结果存储到局部变量表的 slot_3 中

10: iload_3

11: ireturn // 返回栈顶元素值

​ 第 1 处说明：局部变量表就像一个快递柜，有着很多的柜子，依次编号为1,2,3，…，n，字节码指令 istore_1 就代表打开了 1 号柜子，再把栈顶中的值 10 存进去。栈就好如一个桶，任何时候只能对桶口的元素进行操作，所以数据只能在栈顶进行存取。部分指令可以直接在柜子里面直接进行，比如 iinc指令，直接对抽屉里的数值进行 +1操作。我们经常遇到的 i++ 和 ++i，通过字节码对比起来，答案一下子就一目了然了。如下表格所示：

​ 左列中，iload_1 从局部变量表的第1号柜子取出一个数，压入栈顶，下一步直接在柜子里实现 + 1的操作，而这个操作时对栈顶元素的值没有任何影响，所以 istore_2 只是把栈顶元素赋值给 a，而右列，它是先在柜子里面进行 +1的操作，然后再通过 iload_1 把第1号柜子里的数压入栈顶，所以istore_2赋给a的值是 +1 之后的值。扩展下，i++ 并非是原子操作。即使通过volatile关键字来修饰，多线程情况下，还是会出现数据互相覆盖的情况。

​ （3）动态连接

​ 每个栈帧中包含一个在常量池中对当前方法的引用，目的是支持方法调用过程的动态连接。

​ （4）方法返回地址

​ 方法执行时有两种退出情况：第一，正常退出，即正常执行到任何方法的返回字节码指令，如 RETURN、IRETURN、ARETURN等；第二，异常退出。无论何种退出情况，都将返回方法当前被调用的位置。方法退出的过程相当于弹出当前栈帧，而退出可能有三种方式：

• 返回值压入上层调用栈帧。

• 异常信息抛给能够处理的栈帧。

总结

总体来说，如果你想转行从事程序员的工作，Java开发一定可以作为你的第一选择。但是不管你选择什么编程语言，提升自己的硬件实力才是拿高薪的唯一手段。

如果你以这份学习路线来学习，你会有一个比较系统化的知识网络，也不至于把知识学习得很零散。我个人是完全不建议刚开始就看《Java编程思想》、《Java核心技术》这些书籍，看完你肯定会放弃学习。建议可以看一些视频来学习，当自己能上手再买这些书看又是非常有收获的事了。

散。我个人是完全不建议刚开始就看《Java编程思想》、《Java核心技术》这些书籍，看完你肯定会放弃学习。建议可以看一些视频来学习，当自己能上手再买这些书看又是非常有收获的事了。

[外链图片转存中…(img-JZn7NeEM-1720118024031)]