Java虚拟机栈

Java虚拟机栈

• java虚拟机栈和程序计数器一样，也是线程私有，生命周期与线程相同。
• 虚拟机栈描述的是 Java 方法执行的线程内存模型：每个方法执行的时候，Java 虚拟机都会创建一个栈帧用于存储局部变量表、操作数栈、动态连接、方法出口等信息。每一个方法被调用直至执行完毕的过程，就对应着一个栈帧在虚拟机中从入栈到出栈的过程。

• 我们经常说的 Java 堆栈中的栈通常是指这里的虚拟机栈，或者说虚拟机栈中的局部变量表。

栈帧（Stack Frame）：用于虚拟机执行时方法调用和方法执行时的数据结构，它是虚拟栈的基本元素。每一个方法从调用到方法返回都对应着一个栈帧入栈出栈的过程。最顶部的栈帧称为当前栈帧，栈帧所关联的方法称为当前方法，定义这个方法的类称为当前类，该线程中，虚拟机有且也只会对当前栈帧进行操作。—> 简单点说，栈帧也可以理解为是指定方法的这个一个空间，在栈结构中，每执行一个方法，在栈中创建一个栈帧进行压栈，执行结束以后再进行出栈。栈帧存储了一些该方法的局部变量等信息。

• 下面是简单的调用逻辑：main() 方法入栈创建一个栈帧压入栈底 —> 调用 test1() 入栈，并存储变量10，—>调用 test2() 创建栈帧 —> test2() 中调用了 test3() 入栈并存储变量，然后由于栈是先进后出的模式：依次执行完毕 test3() —> test2() —> test1() —> main() 依次出栈

public static void main(String[] args) {
        test1(10);
        test2(20);
    }

    public static void test1(int i) {

    }

    public static void test2(int i) {
        test3(30);
    }

    public static void test3(int i) {

    }

• 递归的思想也就是根据方法的入栈和出栈的思想来设计的。

• 局部变量表

存放了编译期可知的各种 Java 虚拟机基本数据类型（boolean，byte，char，short，int，float，long，double）、对象引用类型和 returnAddress 类型（指向一条字节码指令的地址）。这些数据类型在局部变量表中存储空间以变量槽来表示，其中64位的long和double占用两个变量槽，其他占一个。局部变量表所需的内存空间在编译期完成分配，在执行一个方法时，这个方法在栈帧中大小是不会改变的（变量槽的数量）。一个变量槽占用多少个byte这完全是由虚拟机实现决定的。

• 异常情况：

如果线程请求栈深度大于虚拟机允许的最大深度，讲抛出 StackOverflowError；
如果Java虚拟机栈容量可以动态扩展，但是扩展时无法申请足够的内存，就会抛出 OutOfMemory 异常。

• 操作数栈

操作数栈是在创建栈帧的时候创建的一小的栈，在方法执行过程中，根据字节码指令，往栈中写入数据或提取数据，即入栈/出栈。主要用于保存计算过程中的结果，并且作为计算中变量的临时存储空间。它不是通过索引来访问，而是通过标准的栈操作—压栈和出栈—来访问的。
虚拟机把操作数栈作为它的工作区——大多数指令都要从这里弹出数据，执行运算，然后把结果压回操作数栈。

下面是一段代码

public static void main(String[] args) {
        int i = 0;
        i = i++;
        System.out.println(i);
}

先看一下局部变量表：第0个是传进来main的参数，第二个是变量 i

扩展：

上面的方法是静态方法，所以局部变量表中只有那两个变量，如果是非静态方法，调用方法时会引用this到局部变量表中。如下代码：
public static void main(String[] args) {
Hello hello = new Hello();
hello.test();
}
public void test() {

}

输出的结果是 0 分析一下原因，下面是执行的指令

 	   0: iconst_0 （将int常量入操作数栈顶，也就是0）
       1: istore_1  (将操作数栈顶int类型值出栈并保存到局部变量表1中。也就是把 0 给 i)
       2: iload_1  （从局部变量1中装载int类型值入栈。这里就是把 0 压入操作数栈）
       3: iinc          1, 1 （在局部变量表中+1，此时局部变量中 i 的值为 1，此时栈中的值还是0 ）
       6: istore_1  （将栈中栈顶的值出栈保存到局部变量表中，由于栈中的值是 0 ，所以此时 i = 0）
       <所以i是0>
       7: getstatic     #7
      10: iload_1
      11: invokevirtual #13 
      14: return

那么如果是 ++i 执行的指令是怎样的，可以看到，先执行了 iinc ，然后将 1 入栈 然后在出栈的，所以结果是 1

		 0: iconst_0
         1: istore_1
         2: iinc          1, 1
         5: iload_1
         6: istore_1
         7: getstatic     #7              
        10: iload_1
        11: invokevirtual #13       
        14: return

• 动态连接:(指向运行时常量池方法的引用;就是#7 #13这种)
  如下图：方法区存放的对象和我们要加载的方法（网络图），动态连接的作用就是方法对象的内存地址（方法区）
  实际上就是底层会存储这个class对象的所有方法到一个集合，动态连接就会找到这个方法的地址然后压入栈中。
  
  动态连接有两种实现思路：
  第一种是：句柄池 Handler
  第二种是：直接地址 （jvm采用的是直接地址的方式）
  

• 返回地址

两种执行引擎：
字节码解释器： java字节码 -> c++ -> 机器码
模版解释器 ： java字节码 -> 机器码

方法退出的过程实际上就等同于把当前栈帧出栈，因此退出时可能执行的操作有：恢复上层方法的局部变量表和操作数栈，把返回值（如果有的话）压入调用者栈帧的操作数栈中，调整程序计数器的值以指向方法调用指令后面的一条指令等