虚拟机栈的概述
背景
由于跨平台性的设计需要,java的指令都是根据栈来设计的。不同平台CPU架构不同,所以不能设计为基于寄存器的。
栈结构的优点是跨平台,指令集小,编译器容易实现,缺点是性能下降,实现同样的功能需要更多的指令。
内存中的堆与栈
栈管运行,即程序如何执行,或者说如何处理数据。栈空间存放基本数据类型的局部变量,以及引用数据类型的对象的引用
堆管内存,即数据怎么放、放在哪儿。一般来讲,对象主要都是放在堆空间的,是运行时数据区比较大的一块
虚拟机栈
java虚拟机栈(Java Virtual Machine Stack),早期也叫 Java 栈。
每个线程在创建时都会创建一个虚拟机栈,其内部保存一个个的栈帧(Stack Frame),对应这个一次次的java方法调用。
它是线程私有的
生命周期:和线程是一致的
作用:主管java程序的运行,它保存方法的局部变量(8种基本数据类型、对象的引用地址)
栈的优点:
- 栈是一种快速有效的分配存储方式,访问速度仅次于PC寄存器(程序计数器)
- JVM直接对java栈的操作只有两个
- 每个方法执行,伴随着进栈(入栈,压栈)
- 执行结束后的出栈工作
- 对于栈来说不存在垃圾回收问题
栈中可能出现的异常
Java 虚拟机栈会出现两种错误:StackOverFlowError 和 OutOfMemoryError
-
StackOverFlowError: 若 Java 虚拟机栈的内存大小不允许动态扩展,那么当线程请求栈的深度超过当前 Java 虚拟机栈的最大深度的时候,就抛出 StackOverFlowError 错误。
/** * 演示栈中的异常,回调溢出 */ public class StackErrorTest { public static void main(String[] args) { main(args); } }
-
OutOfMemoryError: 若 Java 虚拟机栈的内存大小允许动态扩展,且当线程请求栈时内存用完了,无法再动态扩展了,此时抛出 OutOfMemoryError 错误。
设置栈的内存大小
可以使用参数-Xss选项来设置线程的最大栈空间,栈的大小直接决定了函数调用的最大可达深度。 (IDEA设置方法:Run-EditConfigurations-VM options 填入指定栈的大小-Xss256k)
栈的存储结构
栈的存储单位:栈帧
每个线程都有自己的栈,栈中的数据都是以**栈帧(Stack Frame)**的格式存在。
- 在这个线程上正在执行的每个方法都对应各自的一个栈帧。
- 栈帧是一个内存区块,是一个数据集,维系着方法执行过程中的各种数据信息。
- JVM直接对java栈的操作只有两个,就是对栈帧的压栈和出栈,遵循先进后出/后进先出的和原则。
当前栈帧(Current Frame) 与当前方法(Current Frame)
在一条活动线程中,一个时间点上,只会有一个活动的栈帧。即只有当前正在执行的方法的栈帧(栈顶栈帧)是有效的,这个栈帧被称为当前栈帧,与当前栈帧对应的方法就是当前方法
-
执行引擎运行的所有字节码指令只针对当前栈帧进行操作
-
如果在该方法中调用了其他方法,对应的新的栈帧会被创建出来,放在栈的顶端,成为新的当前栈帧。
/** * 栈帧 */ public class StackFrameTest { public static void main(String[] args) { StackFrameTest test = new StackFrameTest(); test.method1(); } public void method1(){ System.out.println("method1()开始执行。。。"); method2(); System.out.println("method1()执行结束。。。"); } public int method2(){ System.out.println("method2()开始执行。。。"); int i = 10; int m = (int) method3(); System.out.println("method2()执行结束。。。"); return i+m; } public double method3(){ System.out.println("method3()开始执行。。。"); double j = 20.0; System.out.println("method3()执行结束。。。"); return j; } } //输出 method1()和method2()都作为当前栈帧出现了两次,method3()一次 // method1()开始执行。。。 // method2()开始执行。。。 // method3()开始执行。。。 // method3()执行结束。。。 // method2()执行结束。。。 // method1()执行结束。。。
-
不同线程中所包含的栈帧是不允许相互引用的,即不可能在另一个栈帧中引用另外一个线程的栈帧
-
如果当前方法调用了其他方法,方法返回之际,当前栈帧会传回此方法的执行结果给前一个栈帧,接着,虚拟机会丢弃当前栈帧,使得前一个栈帧重新成为当前栈帧
-
Java方法有两种返回函数的方式,一种是正常的函数返回,使用return指令;另外一种是抛出异常。不管使用哪种方式,都会导致栈帧被弹出。
栈帧的内部结构
每个栈帧中存储着
-
局部变量表(Local Variables)
-
操作数栈(Operand Stack)(或表达式栈)
-
动态链接(Dynamic Linking)(或执行运行时常量池的方法引用)
-
方法返回地址(Return Adress)(或方法正常退出或者异常退出的定义)
-
一些附加信息
动态链接,方法返回地址,附加信息这三块区域也被称为帧数据区域
局部变量表(Local Variables)
- 局部变量表也被称之为局部变量数组或本地变量表,最基本的存储单元是Slot(变量槽)
- 定义为一个数字数组,主要用于存储方法参数和定义在方法体内的局部变量。
-
局部变量表所需的容量大小是在编译期确定下来的。容量保存在方法的Code属性的maximum local variables数据项中。在方法运行期间是不会改变局部变量表的大小的
-
**方法嵌套调用的次数由栈的大小决定。**一般来说,栈越大,方法嵌套调用次数越多。
对一个函数而言,他的参数和局部变量越多,使得局部变量表膨胀,它的栈帧就越大,以满足方法调用所需传递的信息增大的需求。进而函数调用就会占用更多的栈空间,导致其嵌套调用次数就会减少。
-
建立在线程的栈上,是线程私有的数据,因此不存在数据安全问题
-
**局部变量表中的变量只在当前方法调用中有效。**在方法执行时,虚拟机通过局部变量表完成参数值到参数变量列表的传递过程。当方法调用结束后,随着方法栈帧的销毁,局部变量表也会随之销毁。
变量槽slot
局部变量表是以一个数组形式存在的,最基本的存储单元是Slot(变量槽),参数值的存放总是在局部变量数组的index0开始,到数组长度-1的索引结束
-
局部变量表中存放编译期可知的各种基本数据类型(8种),引用类型(reference),returnAddress类型的变量。
-
在局部变量表里,32位以内的类型只占用一个slot(包括returnAddress类型),64位的类型(long和double)占用两个slot。
-
byte、short、char、float在存储前被转换为int,boolean也被转换为int,0表示false,非0表示true;
-
如果需要访问局部变量表中一个64bit的局部变量值时,只需要使用签一个索引即可。(比如:访问long或者double类型变量)
-
-
JVM会为局部变量表中的每一个slot都分配一个访问索引,通过这个索引即可成功访问到局部变量表中指定的局部变量值
-
当一个实例方法被调用的时候,它的方法参数和方法体内部定义的局部变量将会按照顺序被复制到局部变量表中的每一个slot上
-
如果当前帧是由构造方法或者实例方法创建的,那么该对象引用this将会存放在index为0的slot处,其余的参数按照参数表顺序排列。因此静态方法不能使用this
public class LocalVariablesTest { private int count = 1; public static void testStatic(){ //编译错误,因为this变量不存在与当前方法的局部变量表中!!! System.out.println(this.count); } }
-
slot的重复利用
栈帧中的局部变量表中的槽位是可以重复利用的,如果一个局部变量过了其作用域,那么在其作用域之后申明的新的局部变量就很有可能会复用过期局部变量的槽位,从而达到节省资源的目的。
private void test2() {
int a = 0;
{
int b = 0;
b = a+1;
}
//变量c使用之前以及经销毁的变量b占据的slot位置
int c = a+1;
}
与静态变量的对比
变量的分类:
-
按照数据类型分:
- 基本数据类型;
- 引用数据类型;
-
按照在类中声明的位置分:
-
成员变量:在使用前,都经历过默认初始化赋值
- static修饰(类变量):类加载linking的准备阶段给类变量默认赋值
- 不被static修饰(实例变量):随着对象的创建,会在堆空间分配实例变量空间,并进行默认赋值
-
局部变量:在使用前,必须要进行显式赋值的!否则,编译不通过
- 在栈帧中,与性能调优关系最为密切的部分就是局部变量表。在方法执行时,虚拟机使用局部变量表完成方法的传递
- 局部变量表中的变量也是重要的垃圾回收根节点,只要被局部变量表中直接或间接引用的对象都不会被回收
-
操作数栈(Operand Stack)
每一个独立的栈帧中除了包含局部变量表以外,还包含一个后进先出的操作数栈(表达式栈)。主要用于保存计算过程的中间结果,同时作为计算过程中变量临时的存储空间。
Java虚拟机的解释引擎是基于栈的执行引擎,其中的栈指的就是操作数栈。
-
操作数栈就是jvm执行引擎的一个工作区,栈中的任何一个元素都是可以任意的java数据类型
-
当一个方法开始执行的时候,一个新的栈帧也会随之被创建出来,这个方法的操作数栈是空的。每一个操作数栈都会拥有一个明确的栈深度用于存储数值,其所需的最大深度在编译器就定义好了,保存在方法的code属性中,为max_stack的值。
-
在方法执行过程中,操作数栈并非采用访问索引的方式来进行数据访问的,而是根据字节码指令,往栈中写入数据(入栈[push])或提取数据(出栈[pop])来完成一次数据访问
-
**如果被调用的方法带有返回值的话,其返回值将会被压入当前栈帧的操作数栈中,**并更新PC寄存器中下一条需要执行的字节码指令。
操作数栈中的元素的数据类型必须与字节码指令的序列严格匹配,这由编译器在编译期间进行验证,同时在类加载过程中的类验证阶段的数据流分析阶段要再次验证。
代码演示说明
参考代码
public void testAddOperation(){
byte i=15;
int j=8;
int k=i+j;
}
反编译为字节码文件
- 将byte型变量以int型15存储入栈(byte,short,char,boolean都以int型存储)
- 存储15,15进入局部变量表
- 同样处理int 变量 8
- 从局部变量表中把索引为1和2的是数据取出来,放到操作数栈
- iadd相加操作,8和15出栈,然后再将操作结果23入栈,最后将23存储在局部变量表索引为3的位置上
i++ 和 ++i 的不同
public void add() {
int i1 = 10;
i1++;
int i2 = 10;
++i2;
int i3 = 10;
int i4 = i3++;
int i5 = 10;
int i6 = ++i5;
int i7 = 10;
i7 = i7++;
int i8 = 10;
i8 = ++i8;
int i9 = 10;
i9 = i9++ + ++i9;
}
- i1++ 和 ++i2 是没区别的,都没有进入操作数栈中,直接进行了自增
- i4=i3++ 先将i3取出到操作数栈,然后i3内部自增1,i4的将取出在操作数栈的值存入局部变量表中
- i6=++i5 先将i5的自增,然后将i5存入取出到操作数栈,最后i6将值存入到局部变量表中
- i7先取出到操作数栈中,i7在局部变量表中自增1,将操作数栈中的i7在存入局部变量表中覆盖
- i8 先在局部标量表中自增1,然后取出到操作数栈,再将操作数栈中的值存入局部变量表中
- i9 先取出到操作数栈(10),然后自增2次,取出操作数栈(12),最后两者相加,存入操作数栈
栈顶缓存技术ToS(Top-of-Stack Caching)
基于栈式架构的虚拟机所使用的零地址指令更加紧凑,但完成一项操作的时候必然需要使用更多的入栈和出栈指令,这同时也就意味着将需要更多的指令分派(instruction dispatch)次数和内存读/写次数。由于操作数是存储在内存中的,因此频繁地执行内存读/写操作必然会影响执行速度。
为了解决这个问题,HotSpot JVM的设计者们提出了栈顶缓存技术,将栈顶元素全部缓存在屋里CPU的寄存器中(例如iadd操作),以此降低对内存的读/写次数,提升执行的执行效率
动态链接(Dynamic Linking)
每一个栈帧内部都包含一个指向运行时常量池或该栈帧所属方法的引用。包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接。(比如invokedynamic指令)。在Java源文件被编译成字节码文件中时,所有的变量和方法引用都作为符号引用(symbolic Refenrence)保存在class文件的常量池里。
比如:描述一个方法调用了另外的其他方法时,就是通过常量池中指向方法的符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。
方法的调用
在JVM中,将符号引用转换为调用方法的直接引用与方法的绑定机制相关
静态链接
当一个 字节码文件被装载进 JVM 内部时,如果被调用的目标方法在编译期可知,且运行期保持不变时。这种情况下将调用方法的符号引用转换为直接引用的过程称之为静态链接。
动态链接
如果被调用的方法在编译期无法被确定下来,也就是说,只能够在程序运行期将调用方法的符号引用转换为直接引用,由于这种引用转换过程具备动态性,因此也就被称之为动态链接。
对应的方法的绑定机制为:早起绑定(Early Binding)和晚期绑定(Late Bingding)。绑定是一个字段、方法或者类在符号引用被替换为直接引用的过程,这仅仅发生一次。
早期绑定
早期绑定就是指被调用的目标方法如果在编译期可知,且运行期保持不变时,即可将这个方法与所属的类型进行绑定,这样一来,由于明确了被调用的目标方法究竟是哪一个,因此也就可以使用静态链接的方式将符号引用转换为直接引用。
晚期绑定
如果被调用的方法在编译期无法被确定下来,只能够在程序运行期根据实际的类型绑定相关的方法,这种绑定方式也就被称之为晚期绑定。
支持封装,集成和多态等面向对象特性特性的这类语言,具备多态特性,也就是都有早期绑定和晚期绑定两种绑定方式。
Java中任何一个普通的方法其实都具备虚函数的特征,它们相当于C++语言中的虚函数(C++中则需要使用关键字virtual来显式定义)。如果在Java程序中不希望某个方法拥有虚函数的特征时,则可以使用关键字final来标记这个方法。
虚方法和非虚方法
非虚方法
- 如果方法在编译器就确定了具体的调用版本,这个版本在运行时是不可变的。这样的方法称为非虚方法
- 静态方法、私有方法、final方法、实例构造器、父类方法都是非虚方法
- 其他方法称为虚方法
字节码文件中invokestatic指令和invokespecial指令调用的方法称为非虚方法,其余的(final修饰的除外)称为虚方法。
虚拟机中提供了以下几条方法调用指令:
普通调用指令:
- invokestatic:调用静态方法,解析阶段确定唯一方法版本;
- invokespecial:调用方法、私有及弗雷方法,解析阶段确定唯一方法版本;
- invokevirtual调用所有虚方法;
- invokeinterface:调用接口方法;
动态调用指令:
6. invokedynamic:动态解析出需要调用的方法,然后执行 .
- JVM字节码指令集一直比较稳定,一直到java7才增加了一个invokedynamic指令,这是Java为了实现【动态类型语言】支持而做的一种改进
- 但是java7中并没有提供直接生成invokedynamic指令的方法,需要借助ASM这种底层字节码工具来产生invokedynamic指令.直到Java8的Lambda表达式的出现,invokedynamic指令的生成,在java中才有了直接生成方式
- Java7中增加的动态语言类型支持的本质是对java虚拟机规范的修改,而不是对java语言规则的修改,这一块相对来讲比较复杂,增加了虚拟机中的方法调用,最直接的受益者就是运行在java凭条的动态语言的编译器
解析调用中非虚方法、虚方法的演示
父类和接口
class Father {
public Father(){
System.out.println("Father默认构造器");
}
public static void showStatic(String s){
System.out.println("Father show static"+s);
}
public final void showFinal(){
System.out.println("Father show final");
}
public void showCommon(){
System.out.println("Father show common");
}
}
interface MethodInterface {
void methodA();
}
子类重写方法
public class Son extends Father{
public Son(){
super();
}
public Son(int age){
this();
}
public static void main(String[] args) {
Son son = new Son();
son.show();
}
//不是重写的父类方法,因为静态方法不能被重写
public static void showStatic(String s){
System.out.println("Son show static"+s);
}
private void showPrivate(String s){
System.out.println("Son show private"+s);
}
}
子类中调用方法的演示代码
public void show(){
//invokestatic
showStatic("子类方法");
//invokestatic
super.showStatic("父类方法");
//invokespecial
showPrivate("子类私有方法");
//invokespecial
super.showCommon();
//invokevirtual 因为此方法声明有final 不能被子类重写,所以也认为该方法是非虚方法
showFinal();
//虚方法如下
//invokevirtual
showCommon();//没有显式加super,被认为是虚方法,因为子类可能重写showCommon
info();
MethodInterface in = null;
//invokeinterface 不确定接口实现类是哪一个 需要重写
in.methodA(...);
}
方法重写的本质
-
找到操作数栈的第一个元素(this)所执行的对象的实际类型,记作C。
-
如果在类型C中找到与常量中的描述符合简单名称都相符的方法,则进行访问权限校验,如果通过则返回这个方法的直接引用,查找过程结束;如果不通过,则返回java.lang.IllegalAccessError异常。
-
否则,按照继承关系从下往上依次对c的各个父类进行第二步的搜索和验证过程。
-
如果始终没有找到合适的方法,则抛出java.lang.AbstractMethodError异常。
IllegalAccessError介绍 程序视图访问或修改一个属性或调用一个方法,这个属性或方法,你没有权限访问。一般的,这个会引起编译器异常。这个错误如果发生在运行时,就说明一个类发生了不兼容的改变。
虚方法表
在面向对象编程中,会很频繁期使用到动态分配,如果在每次动态分配的过程中都要重新在类的方法元数据中搜索合适的目标的话就可能影响到执行效率。因此,为了提高性能,jvm采用在类的方法区建立一个虚方法表(virtual method table)(非虚方法不会出现在表中)来实现。使用索引表来代替查找。
虚方法表会在类加载的链接.解析阶段被创建并开始初始化,类的变量初始值准备完成之后,jvm会把该类的方发表也初始化完毕。每个类中都有一个虚方法表,表中存放着各个方法的实际入口。
举例
接口
interface Friendly(){
void sayHello(){}
void sayGoodBye(){}
}
Dog 类和
class Dog{
public void sayHello(){}
public String toString(){return "Dog"}
}
方法表
Cat类
class Cat immplements Friendly {
public void eat()
public void sayHello(){}
public void sayGoodBye(){}
protected void finalize(){}
public String toString(){return "cat"}
}
Cat 类方法表
CockerSpaniel 类
class CockerSpaniel extents Dog immplements Friendly(){
public void sayHello(){super.sayHello}
public void sayGoodBye(){}
}
CockerSpaniel 类 方发表
方法返回地址(Return Address)
方法返回地址存放调用该方法的PC寄存器的值。
当一个方法开始执行后,只要两种方式可以退出这个方法:
-
执行引擎遇到任意一个方法返回的字节码指令(return),会有返回值传递给上层的方法调用者,简称正常完成出口;
- 一个方法在正常调用完成之后究竟需要使用哪一个返回指令还需要根据方法返回值的实际数据类型而定
- 在字节码指令中,返回指令包含ireturn(当返回值是boolena、byte、char、short和int类型时使用)、lreturn、freturn、dreturn以及areturn,另外还有一个return指令供声明为void的方法、实例初始化方法、类和接口的初始化方法使用
-
在方法执行的过程中遇到了异常(Exception),并且这个异常没有在方法内进行处理,也就是只要在本方法的异常表中没有搜素到匹配的异常处理器,就会导致方法退出,简称异常完成出口
- 方法执行过程中抛出异常时的异常处理,存储在一个异常处理表,方便在发生异常的时候找到处理异常的代码。
正常完成出口和异常完成出口的区别在于:通过异常完成出口退出的不会给他的上层调用者产生任何的返回值。
无论通过哪种方式退出,在方法退出后都返回到该方法被调用的位置。方法正常退出时,**调用者的pc计数器的值作为返回地址,即调用该方法的指令的下一条指令的地址。**而通过异常退出时,返回地址是要通过异常表来确定,栈帧中一般不会保存这部分信息。
本质上,方法的退出就是当前栈帧出栈的过程。此时,需要恢复上层方法的局部变量表、操作数栈、将返回值也如调用者栈帧的操作数栈、设置PC寄存器值等,让调用者方法继续执行下去。
附加信息
栈帧中还允许携带与java虚拟机实现相关的一些附加信息。例如,对程序调试提供支持的信息。不确定会有
虚拟机栈的5道面试题
-
举例栈溢出的情况?(StackOverflowError)
递归调用等,通过-Xss设置栈的大小
-
调整栈的大小,就能保证不出现溢出么?
不能 如递归无限次数肯定会溢出,调整栈大小只能保证溢出的时间晚一些
-
分配的栈内存越大越好么?
不是 会挤占其他线程的空间
-
垃圾回收是否会涉及到虚拟机栈?
不会
内存区块 | Error | GC |
---|---|---|
程序计数器 | ❌ | ❌ |
本地方法栈 | ✅ | ❌ |
jvm虚拟机栈 | ✅ | ❌ |
堆 | ✅ | ✅ |
方法区 | ✅ | ✅ |
- 方法中定义的局部变量是否线程安全?
何为线程安全?
- 如果只有一个线程可以操作此数据,则是线程安全的。
- 如果有多个线程操作此数据,则此数据是共享数据。如果不考虑同步机制的话,会存在线程安全问题
要具体情况具体分析
// StringBuffer是线程安全的,StringBuilder不是
public class StringBuilderTest {
//s1的声明方式是线程安全的
public static void method1(){
StringBuilder s1 = new StringBuilder();
s1.append("a");
s1.append("b");
}
//stringBuilder的操作过程:是不安全的,因为method2可以被多个线程调用
public static void method2(StringBuilder stringBuilder){
stringBuilder.append("a");
stringBuilder.append("b");
}
//s1的操作:是线程不安全的 有返回值,可能被其他线程共享
public static StringBuilder method3(){
StringBuilder s1 = new StringBuilder();
s1.append("a");
s1.append("b");
return s1;
}
//s1的操作:是线程安全的 ,StringBuilder的toString方法是创建了一个新的String,s1在内部消亡了
public static String method4(){
StringBuilder s1 = new StringBuilder();
s1.append("a");
s1.append("b");
return s1.toString();
}
public static void main(String[] args) {
StringBuilder s = new StringBuilder();
new Thread(()->{
s.append("a");
s.append("b");
}).start();
method2(s);
}
}