一、JVM和Java体系结构(15)


局部变量表中的变量也是重要的垃圾回收根节点,只要被局部变量表中直接或间接引用的对象都不会被回收 。
4、操作数栈( Stack)
每一个独立的栈帧中除了包含局部变量表以外,还包含一个后进先出(Last-In-First-Out)的操作数栈,也可以称之为表达式栈( Stack)
操作数栈,在方法执行过程中,根据字节码指令,往栈中写入数据或提取数据,即入栈(push)/出栈(pop) 。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img--21)()]
操作数栈,主要用于保存计算过程的中间结果,同时作为计算过程中变量临时的存储空间 。
操作数栈就是JVM执行引擎的一个工作区,当一个方法刚开始执行的时候,一个新的栈帧也会随之被创建出来,这个方法的操作数栈是空的 。
每一个操作数栈都会拥有一个明确的栈深度用于存储数值,其所需的最大深度在编译期就定义好了,保存在方法的code属性中,为的值 。
栈中的任何一个元素都是可以任意的Java数据类型 。
操作数栈并非采用访问索引的方式来进行数据访问的,而是只能通过标准的入栈(push)和出栈(pop)操作来完成一次数据访问 。
如果被调用的方法带有返回值的话,其返回值将会被压入当前栈帧的操作数栈中,并更新PC寄存器中下一条需要执行的字节码指令 。
操作数栈中元素的数据类型必须与字节码指令的序列严格匹配,这由编译器在编译器期间进行验证,同时在类加载过程中的类检验阶段的数据流分析阶段要再次验证 。
另外,我们说ava虚拟机的解释引擎是基于栈的执行引擎,其中的栈指的就是操作数栈 。
5、代码追踪
/*程序员面试过程中, 常见的i++和++i 的区别,放到字节码篇章时再介绍 。*/public void add(){//第1类问题:int i1 = 10;i1++;int i2 = 10;++i2;//两者无区别//第2类问题:int i3 = 10;int i4 = i3++;int i5 = 10;int i6 = ++i5;//i4=10,i3=11//i5=11,i6=11//第3类问题:int i7 = 10;i7 = i7++;int i8 = 10;i8 = ++i8;//i7=10//i8=11//第4类问题:int i9 = 10;int i10 = i9++ + ++i9;}
6、栈顶缓存(Top-of-Stack )技术
前面提过,基于下栈式架构的虚拟机所使用的零地址指令更加紧凑,但完成一项操作的时候必然需要使用更多的入栈和出栈指令,这同时也就意味着将需要更多的指令分派( )次数和内存读/写次数 。
由于操作数是存储在内存中的,因此频繁地执行内存读/写操作必然会影响执行速度 。为了解决这个问题, JVM的设计者们提出了栈顶缓存(ToS,Top-of-Stack )技术,将栈顶元素全部缓存在物理CPU的寄存器中,以此降低对内存的读/写次数,提升执行引擎的执行效率 。
7、动态链接( ) 7.1、动态链接(或指向运行时常量池的方法引用)
每一个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用 。包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接( ) 。比如:指令
在Java源文件被编译到字节码文件中时,所有的变量和方法引用都作为符号引用( )保存在class文件的常量池里 。比如:描述一个方法调用了另外的其他方法时,就是通过常量池中指向方法的符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用 。
为什么需要常量池呢?
常量池的作用,就是为了提供一些符号和常量,便于指令的识别 。
8、方法的调用
在JVM中,将符号引用转换为调用方法的直接引用与方法的绑定机制相关 。
静态链接:
当一个字节码文件被装载进JVM内部时,如果被调用的目标方法在编译期可知,且运行期保持不变时 。这种情况下将调用方法的符号引用转换为直接引用的过程称之为静态链接 。