虚拟机栈的介绍
由于跨平台的设计,Java的指令都是根据栈来设计的。不同平台CPU架构不同,所以不能设计为基于寄存器的。
每个线程在创建时都会创建一个虚拟机栈,其内部保存一个个的栈帧,对应着一次次的Java调用(java方法)。是线程私有的。
栈是运行时的单位,堆是存储的单位:栈解决程序的运行问题,即程序如何执行,或者说如何处理数据。堆解决的是数据的存储问题,即数据怎么放,放在哪里。栈也可以放数据,局部变量(基本类型)以及引用类对象的地址。
虚拟机栈的作用
主管Java程序的运行,他保存方法的局部变量(8种基本数据类型、对象的引用地址)、部分结果,并参与方法的调用和返回。
栈的特点
- 栈是一种快速有效的分配存储方式,访问速度仅次于程序计数器。
- JVM直接对Java栈的操作只有两个:
(1)每个方法执行,伴随着进栈
(2)执行结束后的出栈工作 - 对于栈来说不存在垃圾回收问题,存在栈溢出问题。
设置栈的大小
-Xss256k
栈的内部结构
栈中的数据都是以栈帧的格式来存储的。每个方法都各自对应着一个栈帧,栈帧是一块内存区块,是一个数据集,维系着方法执行过程中的各种数据信息。
栈运行原理
- 不同线程中所包含的栈帧是不允许存在相互引用的,即不可能在一个栈帧引用另外一个线程的栈帧。
- 如果当前方法调用了其他方法,方法返回之际,当前栈帧会传回此方法的执行结果给前一个栈帧,接着,虚拟机会丢弃当前栈帧,使得前一个栈帧重新成为当前栈帧。
- Java方法有两种返回函数的方式:一种是正常的函数返回,使用return指令;另一种是抛出异常。不管是哪种方式,都会导致栈帧被弹出。
栈帧的内部结构
每个栈帧中存储着:
- 局部变量表(Local Variables):是一个数字数组,主要用于存储方法参数和定义在方法体内的局部变量。局部变量表所需要的容量大小是在编译期确定下来的,并且在运行期间不会被更改。局部变量表中最基本的存储单元是
slot
(变量槽)。JVM为局部变量表中的每一个slot
都分配一个访问索引,通过访问这个索引即可成功访问到局部变量表中指定的局部变量。局部变量将会按照生命顺序被复制到局部变量表中的每一个slot上。如果当前帧是由构造方法或者实例方法创建的,该对象引用this
将会存放在index
为0的slot
中,其余的参数按照参数表顺序继续排列。栈帧中的槽位是可以重复利用的,如果一个局部变量过了其作用域,那么在其作用域之后申明的局部变量就很有可能会复用过期局部变量的槽位,从而达到节省资源的目的。局部变量表中的变量也是重要的垃圾回收根节点,只要被局部变量表中直接或间接引用的对象都不会被回收。 - 操作数栈 (Operand Stack表达式栈):主要用于保存计算过程的中间结果,同时作为计算过程中变量临时的存储空间。在方法执行过程中,根据字节码指令,往栈中写入数据或提取数据,即入栈/出栈。每一个操作数栈的栈深度在编译期就定义好了。
- 动态链接 (Dynamic Linking):指向运行时常量池的方法引用。每一个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用,包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接。在Java源文件被编译到字节码文件中时,所有的变量和方法引用都作为符号引用保存在
class
文件的常量池中,描述一个方法调用了另外的其他方法时,就是通过常量池中指向方法符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。 - 方法返回地址(Return Address):存放调用该方法的PC寄存器的值,即调用该方法的指令的下一条指令的地址。如果程序是异常退出的,返回地址是要通过异常表来确定,栈帧中不会保存这部分信息。异常退出不会给他的上层调用者产生任何的返回值。本质上,方法的退出就是当前栈帧出栈的过程,此时,需要恢复上层方法的局部变量表、操作数栈、将返回地址压入调用者栈帧的操作数栈、设置PC寄存器值等,让调用者方法继续执行下去。
- 一些附加信息:栈帧中还允许携带与Java虚拟机实现相关的一些附加信息。例如:对程序调试提供支持的信息。
帧数据区:方法返回地址+动态链接+一些附加信息