文章目录
虚拟机栈出现的背景
- 由于跨平台的设计,Java指令都是根据栈来设计的。不同平台的CPU架构不同,所以不能设计为基于寄存器的
- 优点是跨平台、指令集少、编译器容易实现,缺点是性能下降、实现同样的功能需要更多的指令
内存中的栈和堆
- 栈是运行时的单位,堆是存储的单位
- 栈是解决程序的运行问题,即程序如何执行,或者说如何处理数据。堆解决的问题是数据存储问题,数据怎么放,放在哪
虚拟机栈的基本内容
Java虚拟机栈(Java Virtual Machine Stack),早期也叫Java栈
每个线程在创建的时候都会创建一个虚拟机栈,其内部保存的一个个栈帧(Stack Frame)对应的一次次方法调用。线程私有
生命周期:和线程一致
作用:主管Java程序的运行,保存方法的局部变量(8种基本数据类型、对象的引用地址)、部分结果。参与方法的调用和返回
栈的优点
栈是一种快速有效的分配存储方式,访问速度仅次于程序计数器
JVM直接对Java栈的操作只有2个
- 每个方法执行,伴随着进栈(入栈、出栈)
- 执行结束后的出栈工作
对于栈来说不存在垃圾回收问题:无GC、有OOM
栈中可能出现的异常
Java虚拟机规范运行Java栈的大小是动态的或者固定不变的
- 如果采用固定大小的Java虚拟机栈,那每一个线程的Java虚拟机栈容量可以在线程创建的时候独立选定,如果请求超过虚拟机栈的最大容量,Java虚拟机将会抛出StackOverflowError异常
- 如果Java虚拟机栈可以动态扩展,并且在尝试扩展的时候无法申请到足够的内存,或者在创建新的线程时,没有足够的内存去创建虚拟机栈,那么Java虚拟机将会抛出OutOfMemoryError异常
// StackOverflowError
public class InvokeSelf {
public static void main(String[] args) {
main(args);
}
}
设置栈内存的大小
栈内存大小:-Xss 以字节为单位,单位是可以调节的
栈中存储什么
- 每个线程都有自己的栈,栈中数据都是以栈帧(Stack Frame)格式存在
- 在这个线程上正在执行的每个方法都各自对应一个栈帧(Stack Frame)
- 栈帧是一个内存区块,是一个数据集,维系着方法执行过程中的各种数据信息
栈运行原理
-
JVM直接对Java栈的操作只有两个,就是对栈帧的压栈和出栈,遵循先进后出原则
-
在一条活动的线程中,一个时间点上,只会有一个活动栈帧。即只有当前正在执行的方法的栈帧(栈顶栈帧)是有效的,这个栈帧被称为当前栈帧(Current Frame),与当前栈帧想对应的方法就是当前方法(Current Methd),定义这个方法的类就是当前类(Current Class)
-
执行引擎运行所有的字节码指令只针对当前栈帧进行操作
-
如果在该方法中调用了其他方法,对应的新的栈帧会被创建出来,放在栈的顶端,成为新的当前栈帧
-
实例代码
public class InvokeMethodFrame { public static void main(String[] args) { System.out.println("InvokeSelf.main 开始执行..."); method1(); System.out.println("InvokeSelf.main 执行结束..."); } public static void method1() { method2(); System.out.println("InvokeSelf.method1"); } public static void method2() { method3(); System.out.println("InvokeSelf.method2"); } public static void method3() { method4(); System.out.println("InvokeSelf.method3"); } public static void method4() { System.out.println("InvokeSelf.method4"); } }
-
结果
InvokeSelf.main 开始执行... InvokeSelf.method4 InvokeSelf.method3 InvokeSelf.method2 InvokeSelf.method1 InvokeSelf.main 执行结束...
-
不同的的线程中所包含的栈帧是不允许存在相互引用的,即不可能在一个栈帧之中引用另外一个线程的栈帧
-
如果当前方法调用了其他方法,方法返回之际,当前栈帧会传回次方法的执行结果给前一个栈帧,接着虚拟机会丢弃当前栈帧,使得前一个栈帧重新成为当前栈帧
-
Java方法有两种返回函数的方式:正常返回,return指令;抛出异常。两种方式都会导致栈帧被弹出
栈帧的内部结构
-
局部变量表(Local Variables)
-
操作数栈(Operand Stack)
-
动态链接(Dynamic Linking)(或指向运行时常量池的引用)
-
方法返回地址(Return Address)(或方法正常退出或异常退出的定义)
-
一些附加信息
局部变量表(Local Variables)
- 局部变量表也被称为局部变量数组或本地变量表
- 定义一个数字数组,主要用于存储方法参数和定义在方法体内的局部变量,数据类型包括各类型的基本数据类型、对象引用、returnAddress类型
- 由于局部变量表是建立在线程的栈上,是线程的私有数据,因此不存在数据不安全问题
- 局部变量表所需的容量大小是编译器确定的,保存在方法的Code属性的maximum local variables数据项中,在方法运行期间是不会改变局部变量表的大小
- 方法嵌套调用的次数由栈大小决定,一般来说,栈越多,方法嵌套调用次数越多。对于一个函数而言,它的参数和局部变量越多,使得局部变量表膨胀,它的栈帧就越大,满足方法调用所需传递的信息增加的需求。进而函数调用就会占用更多的栈空间,而导致其嵌套调用的次数就会减少
- 局部变量表中的变量只在当前方法中调用有效,在方法执行的时候,虚拟机通过使用局部变量表完成参数值到参数列表的传递过程。当方法调用结束时,随着方法栈帧的销毁,局部变量表也会随之销毁
字节码中方法内部结构的剖析
![](https://i-blog.csdnimg.cn/blog_migrate/7226d4c1f4e54eaf491c3a37264e6375.png)
![](https://i-blog.csdnimg.cn/blog_migrate/8bc64192a1bebf8cfe58b8a1b9d1cd80.png)
![](https://i-blog.csdnimg.cn/blog_migrate/5b3c5c6f219796cb97b05dd6a7e88206.png)
![](https://i-blog.csdnimg.cn/blog_migrate/0393466a83b2d88593d980a3b797d3cb.png)
关于Slot的理解
-
参数值的存放总是在局部变量数组的index0开始,到数组长度-1的索引结束
-
局部变量表,最基本的存储单元是Slot(变量槽)
-
局部变量表中存放编译器可知的各种基本数据类型(8种),引用类型(reference),returnAddress类型变量
-
在局部变量表中,32位以内的类型只占用一个Slot(包括returnAddress类型),64位类型(long和double)占用2个Slot
- byte、short、char在存储之前被转换为int,boolean也被转为int,0代表false
- long和double则占据两个slot
-
JVM会为局部变量表中的每一个Slot都分配一个访问索引,通过这个索引即可称为访问到局部变量表中指定的局部变量值
-
当一个实例方法被调用时,它的方法参数和方法体内部定义的局部变量将会按照顺序被赋值到局部变量表中的每一个Slot上
-
如果需要访问局部变量表中的一个64bit的局部变量值时,只需要使用前一个索引即可
-
如果当前帧是由构造方法或者实例方法创建,那么该对象引用this将会存放在index为0的Slot处,其余的参数按照参数表顺序排列
-
现在我们就可解释为什么静态方法中无法使用this调用:this变量不存在于当前方法的局部变量表中
-
Slot的重复利用:栈帧中的局部变量表中的槽位是可以重用的,如果一个局部变量过了其作用域,那么在其他作用域只会申明新的局部变量就很有可能会复用过期局部变量的槽位,从而达到节省资源的目的
静态变量于局部变量对比
数据类型:基本数据类型、引用数据类型
- 在类中的位置
- 成员变量:在使用时有默认初始化值
- 被static修饰:类变量 - linking的perpare阶段 - 给类变量默认赋值 -> initial,给类变量显示赋值(静态代码块中)
- 没有被static修饰:实例变量 - 随着对象创建,会在堆空间进行分配实例变量空间,并进行默认赋值
- 局部变量:没有默认初始化值,在使用之前必须初始化
补充说明
- 在栈帧中,与性能调优关系最密切的就是前面提到的局部变量表,在方法执行时,虚拟机使用局部变量表完成方法传递
- 局部变量表中的变量也是重要的垃圾回收根节点,只要被局部变量表中直接或者间接引用的对象都不会被回收
操作数栈
栈可以使用数组、链表来实现
-
每一个独立的栈帧中除了包含局部变量表以外,还包含一个后进先出的操作数栈。也可称为表达式栈
-
操作数栈,在方法执行过程中,根据字节码指令,往栈中写入数据或者提取数据,即入栈/出栈
-
某些字节码指令将值压如操作数栈,其余的字节码指令将操作数取出栈,使用它们后再把结果压入栈
-
比如:执行复制、交换、求和等操作
-
-
如果被调用的方法带有返回值的话,其返回值将会被压如当前栈帧的操作数栈中,并更新PC寄存器的下一条需要执行的字节码指令
-
操作数栈中元素的数据类型必须与字节码指令的序列严格匹配,这由编译器在编译期间进行验证,同时在类加载中类检验阶段的数据流分析阶段再次验证
-
我们说的Java虚拟机的解释引擎是基于栈的执行引擎,其中栈指的是操作数栈
-
操作数栈,主要用来保存计算过程中的中间结果,同时作为计算过程中变量的临时存储空间
-
操作数栈就是JVM执行引擎的一个工作区,当一个方法刚开始执行时,一个新栈也随之被创建处理,这个方法的操作数栈为空
-
每一个操作数栈都拥有一个明确的栈深度用于存储数值,其所需的最大深度在编译器就定义好了,保存在方法的Code属性中,为max_stack的值
-
栈中的任何一个元素都可以是任意的Java数据类型
- 32bit的类型占用一个栈单位深度
- 64bit的类型占用两个栈单位深度
-
操作数栈并发采用访问索引的方式进行数据访问,通过标准的入栈和出栈操作来完成一次数据访问
代码追踪
public class JvmStackTest {
public static void main(String[] args) {
}
public void testAddOperation() {
byte i = 15;
int j = 8;
int k = i + j;
}
}
public void testAddOperation();
descriptor: ()V
flags: ACC_PUBLIC
Code:
// 栈的最大深度为2 局部变量表大小为4 其中非静态方法还有个this在index=0的位置
stack=2, locals=4, args_size=1
0: bipush 15
2: istore_1
3: bipush 8
5: istore_2
6: iload_1
7: iload_2
8: iadd
9: istore_3
10: return
LineNumberTable:
line 16: 0
line 17: 3
line 18: 6
line 19: 10
LocalVariableTable:
Start Length Slot Name Signature
0 11 0 this Lcn/icanci/jvm/jmm/JvmStackTest;
3 8 1 i B
6 5 2 j I
10 1 3 k I
}
SourceFile: "JvmStackTest.java"
i++和++i问题
public void testIadd() {
int i = 1;
i++;
int j = 1;
++j;
}
![](https://i-blog.csdnimg.cn/blog_migrate/6099f0e1ec17ab8bfe601cfb384f430e.png)
栈顶缓存技术
- 基于栈式架构的虚拟机所使用的零地址指令更加紧凑,但是完成一项操作的时候必然需要使用更多的入栈、出栈指令,意外着需要更多的指令分配次数和内存读写次数
- 操作数存于内存,频繁的执行内存读写操作必然会影响执行速度。为了解决这个问题,Hotspot JVM的设计者们提高了栈顶缓存技术(Top-of-Stack Cashing,Tos),将栈顶元素全部缓存在物理的CPU的寄存器中,以降低对内存的读写次数,提升执行引擎的执行效率
动态链接
![](https://i-blog.csdnimg.cn/blog_migrate/3db2b078ecf5e3935120eb32f558d0f4.png)
- 每一个栈帧内部都包含一个指向运行时常量池,该栈帧所属方法的引用,包含这个引用的目的是为了支持当前方法的代码能够实现动态链接,比如involvedynamic指令
- 在Java源文件被编译到字节码文件时,所有变量和方法引用都作为符号保存在class文件的常量池中。比如:描述一个方法调用了另外其他方法的时,就是通过常量池中指向方法的符号引用来表示,那么动态链接的作用就是将这些符号引用转换为调用方法的直接引用
![](https://i-blog.csdnimg.cn/blog_migrate/7368dea0ff21920e73e4a8a194039b35.png)
常量池的作用:提供一些符号和常量,便于指令识别
方法调用
在JVM中,将符号引用转换为调用方法的直接引用与方法的绑定机制相关
直接引用
- 静态链接:当一个字节码文件被装载到JVM内部时,如果被调用的目标方法在编译器可知,且在运行期保持不变时,这种情况下调用方法的符号引用转换为直接引用的过程叫做静态链接
- 动态链接:如果被调用的方法在编译期间无法被确定,也就是说,只能够在程序运行期将调用方法的符号引用转换为直接引用,由于这种引用转换过程具备动态性,因此也就称之为动态链接
对应方法的绑定机制:绑定一个字段、方法或者类在符号引用替换为直接引用的过程,仅仅发生一次
- 早期绑定:调用的目标方法在编译期间可知,在运行期保持不变。即可将这个方法与所属的类型进行绑定,明确了被调用的目标方法是哪一个,因此可以使用静态链接的方式将符号引用转换为直接引用
- 晚期绑定:被调用的方法在编译期无法被确定下来,只能够在程序运行期间根据实际的类型绑定相关方法
虚方法与非虚方法:Java中任意一个普通方法都具备虚函数特征,如果某个方法不想用于虚函数特征时,可以使用final关键字来标记
-
非虚方法:方法在编译期就确定了具体的调用版本,版本在运行时不可变。
(静态方法、私有方法、final方法、实例构造器、父类方法都是非虚方法)
-
虚方法:除了非虚方法都是虚方法
虚拟机中提供的方法调用指令
普通调用指令
- invokestatic:调用静态方法,解析阶段确定唯一方法版本
- invokespecial:调用init方法,私有以及父类方法、解析阶段确定唯一方法方法版本
- invokevirtual:调用所有虚方法
- invokeinterface:调用接口方法
动态调用指令
- invokedynamic:动态解析出需要调用的方法,然后执行
前四条指令固化在虚拟机内部,方法的执行调用不可认为干涉,而nvokedynamic指令则支持用户确定方法版本,其中 invokestatic指令和invokespecial指令调用的方法称为非虚方法。其余的(final修饰的除外)称为虚方法
关于involvedynamic指令
- JVM字节码指令集一直比较稳定,Java7中增加了了一个invokedynamic指令,这是Java为了实现[动态类型语言]支持而做的一种表达方式
- Java没有提供直接生成involvedynamic指令的方法,需要借助ASM这种底层字节码工具来生成involvedynamic指令。直到Java8的Lambda表达式出现,involvedynamic指令才有直接的生成方式
动态类型语言和静态类型语言
动态类型语言和静态类型语言的区别是对类型的检查,在编译期还是在运行期,满足前者是静态型,后者是动态类型
- 动态类型:判断变量值信息,变量没有类型信息,变量值才有类型信息
- 静态类型:判断变量自身的类型信息
方法重写本质
- 找到操作数栈顶的第一个元素随执行的对象的实际类型,记做 C
- 在类型C中找到与常量中的描述符合简单都相符的方法,则进行访问权限校验,如果通过则返回这方法的直接引用,查找过程结束;如果不通过,返回java.lang.IllegalAccessError异常
- 否则,按照继承关系从下往上依次对 C 的各个父类进行第2步的搜索和验证过程
- 如果始终没有找到,就抛出java.lang.AbstractMethodError异常
- java.lang.IllegalAccessError异常:程序试图访问一个属性或者调用一个方法时,这个属性或者方法没有权限进行访问
虚方法表
在面向对象的编程中,会很繁琐的使用动态分派,每次动态分派多的过程中都要重新在类的方法元数据中搜索合适的目标的话,就可能影响到执行效率。为了提高性能,JVM采用类的方法区建立一个虚方法表(virtual method table)(非虚方法不会出现在表中)来实现,使用索引表来代替查找
每个类都有一个虚方法表,表中存放着各个方法的实际入口
在类加载的链接阶段被创建并开始初始化,类的变量初始值准备完成之后,JVM会把该类的方法表初始化
![](https://i-blog.csdnimg.cn/blog_migrate/ad777328a7ae05aebe547aea66c4f257.png)
方法返回地址
存放着调用该方法的PC寄存器的值
一个方法的结束,有两种方式:正常处理;出现未处理的异常,非正常退出
无论通过哪种方式退出,在方法退出后都返回到该方法被调用的位置,方法正常退出时,调用者的PC寄存器的值作为返回地址,即调用该方法的指令的下一条指令地址。通过异常退出,返回的地址要通过异常表来确定,栈帧中一般不会保持这部分的信息
本质上,方法的退出是当前栈帧出栈的过程。此时,需要回复上层方法的局部变量表、操作数栈、返回值调用栈帧的操作数栈、设置PC寄存器值等
正常完成出口和异常完成出口的区别在于:通过异常出口完成退出不会给它上次调用者产生任何返回值
再字节码指令中,返回指令包括 ireturn (返回值是boolean、byte、char、short和int类型时使用),lreturn、freturn、dreturn、areturn,另外还有一个return指令共声明void方法、实例化初始方法、类和接口的初始方法使用
在方法执行过程中遇到了异常,并且这个异常没有在方法内进行处理,也就是只要在本地方法异常表没有搜索到匹配的异常处理器,就会导致方法退出,检查异常完成出口。异常处理才能出在异常处理表中
public class JvmExceptionTest {
public static void main(String[] args) {
try {
test1();
} catch (NoSuchMethodException e) {
} catch (ClassNotFoundException e) {
} catch (Exception e) {
e.printStackTrace();
}
}
public static void test1() throws NoSuchMethodException, ClassNotFoundException, Exception {
}
}
Exception table:
from to target type
0 3 6 Class java/lang/NoSuchMethodException
0 3 10 Class java/lang/ClassNotFoundException
0 3 14 Class java/lang/Exception
栈的相关面试题
- 举例栈溢出的情况?
- 递归调用深度太深 (StackOverflowError)
- 通过 -Xss 设设置大小
- 整个内存不足了就会出现 OOM问题
- 调整栈的大小,就能保证不出现溢出吗?
- 不能,只是可以延迟栈溢出的时间
- 有可能可以解决栈内存溢出问题
- 分配的栈内存越大越好吗?
- 并不是,内存空间是有限的,栈内存变大了,其他的空间就少了
- 垃圾回收是否会设计到虚拟机栈?
- 不会的 会涉及到局部变量
- 方法中定义的局部变量是否线程安全?
- 具体问题具体分析 如下
/**
* 内部产生,内部消亡的,就是安全的,否则就是不安全的
* 这里没有共享变量的问题,除非是返回非安全的,或者有传入参数的
*/
public class StringBuilderTest {
/**
* 此时是线程安全的
*/
public static void method1() {
// StringBuilder 线程不安全的
StringBuilder sb = new StringBuilder();
sb.append("a");
sb.append("b");
try {
TimeUnit.SECONDS.sleep(1);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println(sb.toString());
}
/**
* 不是线程安全的
*
* @param sb
*/
public static void method2(StringBuilder sb) {
sb.append("a");
sb.append("b");
}
/**
* 线程不安全的 可能有多个线程枪 sb
*
* @return
*/
public static StringBuilder method3() {
StringBuilder sb = new StringBuilder();
sb.append("a");
sb.append("b");
return sb;
}
/**
* 是线程安全的
*
* @return
*/
public static String method4() {
StringBuilder sb = new StringBuilder();
sb.append("a");
sb.append("b");
return sb.toString();
}
public static void main(String[] args) {
for (int i = 0; i < 100; i++) {
new Thread(() -> {
method1();
}).start();
}
System.out.println();
}
}