虚拟机栈(java stack)
百度图片搜索里的
动图搜索功能不错，可以搜索一些动图，展示操作数栈的操作过程，比较形象。这点google差点意思
虚拟机栈(jvm stacks)是线程独占的
里面是多个栈帧(frame)或叫方法帧(class里的每个方法独占一个栈帧，所以也可以称之为方法帧)
每个栈帧里包含：局部变量区/操作数栈/动态链接/方法的返回地址
示例
-
文件SimpleExample.java
1 class SimpleExample {
2 public static void main(String[] args) {
3 int result = add(2,3);
4 System.out.println(result);
5 }
6 public static int add(int a, int b) {
7 return a+b;
8 }
9 } -
编译源代码生产字节码文件SimpleExample.class
-g Generates all debugging information, including local variables. By default, only line number and source file information is generated.
作用是反编译的时候产生局部变量表
javac -g SimpleExample.java -
反编译
javap -v -l -p SimpleExample.classman -a javap查看帮助信息
-l Prints line and local variable tables.
-v Prints stack size, number of locals and arguments for methods.
-p Shows all classes and members.
➜ myJavaDir javap -v -l -p SimpleExample
Classfile /Users/xxxx/myJavaDir/SimpleExample.class
Last modified Oct 29, 2019; size 642 bytes
// 字节码的md5值
MD5 checksum e54540b1d2c0620b7e4eb555a8192a78
Compiled from "SimpleExample.java"
class SimpleExample
minor version: 0
major version: 52
flags: ACC_SUPER
//class常量池
Constant pool:
#1 = Methodref #6.#26 // java/lang/Object."<init>":()V
#2 = Methodref #5.#27 // SimpleExample.add:(II)I
#3 = Fieldref #28.#29 // java/lang/System.out:Ljava/io/PrintStream;
#4 = Methodref #30.#31 // java/io/PrintStream.println:(I)V
#5 = Class #32 // SimpleExample
#6 = Class #33 // java/lang/Object
#7 = Utf8 <init>
#8 = Utf8 ()V
#9 = Utf8 Code
#10 = Utf8 LineNumberTable
#11 = Utf8 LocalVariableTable
#12 = Utf8 this
#13 = Utf8 LSimpleExample;
#14 = Utf8 main
#15 = Utf8 ([Ljava/lang/String;)V
#16 = Utf8 args
#17 = Utf8 [Ljava/lang/String;
#18 = Utf8 result
#19 = Utf8 I
#20 = Utf8 add
#21 = Utf8 (II)I
#22 = Utf8 a
#23 = Utf8 b
#24 = Utf8 SourceFile
#25 = Utf8 SimpleExample.java
#26 = NameAndType #7:#8 // "<init>":()V
#27 = NameAndType #20:#21 // add:(II)I
#28 = Class #34 // java/lang/System
#29 = NameAndType #35:#36 // out:Ljava/io/PrintStream;
#30 = Class #37 // java/io/PrintStream
#31 = NameAndType #38:#39 // println:(I)V
#32 = Utf8 SimpleExample
#33 = Utf8 java/lang/Object
#34 = Utf8 java/lang/System
#35 = Utf8 out
#36 = Utf8 Ljava/io/PrintStream;
#37 = Utf8 java/io/PrintStream
#38 = Utf8 println
#39 = Utf8 (I)V
{
// 默认构造函数，即使我们不写，也会自动产生
SimpleExample();
descriptor: ()V
flags:
Code:
// 栈帧的操作数栈里有一个元素，栈帧的局部变量表里有一个变量(为this即SimpleExample对象)，构造方法有一个入参(this),构建方法的第一个参数(和默认参数)是this
stack=1, locals=1, args_size=1
// 把局部变量表(数组结构)里的索引为0的数据(this对象)放入操作数栈
0: aload_0
// 调用(this)父类(这里是Object)的构造方法
1: invokespecial #1 // Method java/lang/Object."<init>":()V
// 返回,清空操作数栈和局部变量表
4: return
// 源代码和字节码指令序号的映射表
LineNumberTable:
// 代码的第一行("class SimpleExample {")对应的指令为0: aload_0
line 1: 0
// 局部变量表
LocalVariableTable:
// 变量名字是this，长度为5个字节。局部变量表第一项是个reference（引用），它指定的就是对象本身的引用，也就是我们常用的this,但是在静态方法中，没这个引用
Start Length Slot Name Signature
0 5 0 this LSimpleExample; public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
// 方法修饰符public static
flags: ACC_PUBLIC, ACC_STATIC
Code:
// 栈帧里的操作数栈为2，局部变量数量为2，参数个数为1
stack=2, locals=2, args_size=1
// 把常量池里的整数2压入操作数栈
0: iconst_2
// 把常量池里的整数3压入操作数栈
1: iconst_3
// 调用class常量池里的#2即静态方法add，返回结果入栈顶。由于该方法需要两个整数做参数，所以invokestatic从操作数栈中弹出两个元素，并将它们传给由JVM为add()创建的新栈帧，保存在add方法帧的局部变量表里。main()的操作数栈此时是空的。
2: invokestatic #2 // Method add:(II)I
// 把操作数栈的栈顶的一个整数元素取出，存入局部变量表的索引为1的位置，也就是result的值
5: istore_1
// getstatic将类型为java/io/PrintStream的静态字段java/lang/System.out压入栈中
6: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
// iload_1将局部变量表(数组结构)里的索引位置为1处的变量（就是result的值，现在等于5）压入到操作数栈中。所以此时栈保存了两个值：out字段和值5
9: iload_1
// 现在invokevirtual准备调用PrintSteam.println()方法。它从栈中弹出两个元素：第一个元素是对将要调用println()方法的对象的引用。第二个元素是一个要传递给println()方法的整型参数，它只需要一个参数。这是main()方法打印相加的结果的地方
10: invokevirtual #4 // Method java/io/PrintStream.println:(I)V
// return命令完成该方法。主帧被丢弃，JVM进程结束
13: return
LineNumberTable:
// 源代码第3行(int result = add(2,3);)对应字节码指令(0: iconst_2,1: iconst_3, 2: invokestatic #2,5: istore_1)直到（line 4: 6）
line 3: 0
line 4: 6
line 5: 13
LocalVariableTable:
// main方法栈帧的局部变量变里有两个变量args、result。静态方法，没有this引用，第一个变量就不再是this
Start Length Slot Name Signature
0 14 0 args [Ljava/lang/String;
6 8 1 result I public static int add(int, int);
// (II)I表示方法add为两个int的入参数，返回类型为int
descriptor: (II)I
flags: ACC_PUBLIC, ACC_STATIC
Code:
// 栈帧里的操作数栈为2，局部变量数量为2，参数个数为2
stack=2, locals=2, args_size=2
// 把add方法帧局部变量表里索引为0的元素值(这里为整数2)压入add方法帧的操作数栈
0: iload_0
// 把add方法帧局部变量表里索引为1的元素值(这里为整数3)压入add方法帧的操作数栈
1: iload_1
// 把操作数栈的栈顶的2个整数从操作数栈里取出，然后相加，最后把结果再次存入操作数栈
2: iadd
// 正常情况下，当前帧操作数栈的栈顶值出栈，压入调用方法的操作上栈的栈顶，丢弃当前帧操作数栈的其他值，销毁了add方法帧。恢复到调用方法帧，调用方法(invoker)继续执行
3: ireturn
LineNumberTable:
// 源代码的第7行(return a+b;)对应上面的字节码指令(0: iload_0)及后续指令
line 7: 0
LocalVariableTable:
// 栈帧里的局部变量表里有2个变量a和b,类型为int，大小都为4个字节，在局部变量表里的索引位置为0和1
Start Length Slot Name Signature
0 4 0 a I
0 4 1 b I
}
SourceFile: "SimpleExample.java"
示例：
package com.demo3;
public class Test {
public static void foo() {
int a = 1;
int b = 2;
int c = (a + b) * 5;
}
public static void main(String[] args) {
foo();
}
}
基于栈的Hotspot的执行过程如下：
