运行时数据区整体结构:
一.程序计数器(Program Counter Register)
- *什么是程序计数器(PC寄存器)?*程序计数器(PC寄存器)是一个记录着当前线程所执行的字节码的行号指示器。
- *程序计数器是否多余?PC寄存器有什么作用?*假设程序永远只有一个线程,那么是完全不需要程序计数器的。但实际上程序是通过多个线程协同合作执行的。JVM的多线程是通过CPU时间片轮转算法(即线程轮流切换并分配处理器执行时间)来实现的。也就是说,某个线程在执行过程中可能会因为时间片耗尽而被挂起,而另一个线程获得到时间片开始执行。当被挂起的线程重新获得到时间片的时候,它想要从被挂起的地方继续执行,就必须知道它上次执行到哪个位置,在JVM中,通过程序计数器来记录某个线程的字节码执行位置。因此,程序计数器是具备线程隔离的特性,也就是说,每个线程工作时都有属于自己的独立的计数器。
程序计数器(PC寄存器)的特点:
1.线程隔离型:每个线程工作时都有属于自己的独立计数器。
2.执行java方法时,程序计数器是有值的,且记录的是正在执行的字节码指令的地址。
3.执行native本地方法时,程序计数器的值为空(Undefined)。因为native方法是java通过JNI直接调用本地C/C++库,可以近似的认为native方法相当于C/C++暴漏给java的一个接口,java通过调用这个接口从而调用到C/C++方法。由于该方法是通过C/C++而不是java实现的。那么自然无法产生相应的字节码,并且C/C++执行时的内存分配是由自己的语言决定的,而不是由JVM决定的。
4.程序计数器占用的内存很小,在进行JVM内存计算时,可以忽略不计。
5.程序计数器,是唯一一个在java虚拟机规范中没有规定任何OOM(OutOfMemoryError)的区域。
二.虚拟机栈(Java Stack)
虚拟机栈的特点:
1.Java虚拟机栈是线程私有的,它的生命周期与线程相同(随线程创建而创建,随线程灭亡而灭亡。)
2.如果线程请求的栈深度大于虚拟机所允许的深度,将抛出StackOverflowError异常;如果虚拟机栈可以动态扩展,如果扩展时无法申请到足够的内存,就会抛出OutOfMemoryError异常。(大部分JVM都是可以动态扩展的,但JVM规范也允许固定长度的虚拟机栈。)
3.Java虚拟机栈描述的是Java方法执行的内存模型;每个方法执行的同时会创建一个栈桢。
虚拟机栈中的部件:
一.栈桢
栈桢(Stack Frame)用于支持虚拟机进行方法调用和方法执行的数据结构。它是虚拟机运行时数据区中的java虚拟机栈的栈元素。每一个方法从调用开始至执行完成的过程,都对应着一个栈桢在虚拟机里面从入栈到出栈的过程。
在编译程序代码的时候,栈桢中需要多大的局部变量表内存,多深的操作数栈已经完全确定了。因此一个栈桢需要分配多少内存,不会收到程序运行期变量数据的影响,而仅仅取决于具体的虚拟机实现。
栈桢的结构图:
a.栈桢—局部变量表:
1.局部变量表(Local Variable Table)是一组变量值存储空间,用于存放方法参数和方法内部定义的局部变量。并且在java编译为class文件时,就已经确定了该方法所需要分配的局部变量表的最大容量。
2.局部变量表存放了编译器可知的各种基本数据类型(boolean、byte、char、short、int、float、long、double),对象引用(reference)和returnAddress类型。
b.栈桢—局部变量表—变量槽:
1.局部变量表的容量以变量槽为最小单位,每个变量槽都可以存储32位长度的内存空间,例如boolean、byte、char、short、int、float、reference。
对于64位长度的数据类型(long,double),虚拟机会以高位对齐方式为其分配两个连续的Slot空间,也就是相当于把一次long和double数据类型读写分割成为两次32位读写。
c.栈桢—操作数栈:
主要用于保存计算过程中的中间结果,同时作为计算过程中变量的临时的存储空间。
1.后进后出的操作数栈,可以称为表达式栈。
2.操作数栈,在方法执行过程中,根据字节码指令,往栈中写入数据活着提取数据,即入栈/出栈。如果被调动的方法带有返回值,其返回值会被压入当前栈桢的操作数栈中,并更新PC寄存器中下一条需要执行的字节码指令。
3.我们说Java虚拟机的解释引擎是基于栈的执行引擎,其中的栈指的就是操作数栈。
d.栈桢—动态连接:
每个栈桢内部都包含有一个指向运行时常量池中该栈桢方法的引用。包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接(Dynamic Linking)。描述一个方法调用了另外的其他方法时,就是通过常量池中指向方法的符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。