扫一扫
分享文章到微信
扫一扫
关注官方公众号
至顶头条
作者:Rayman 来源:CSDN 2008年3月18日
关键字: 指令集 kodakimage java
指令集是虚拟机中最底层也是最核心的部分,Java程序中的变量赋值、函数调用等所有操作最后都要被转化为一条条的指令来执行。
指令集是在Java虚拟机规范中定义的,各种虚拟机实现要给予精确的实现,下面就来介绍一下指令集的分类以及在KVM中是如何实现的。
在头文件kvm/vmcommon/h/interpret.h中有如下对指令集种类的定义:
以及每条指令的名字:
Java虚拟机的指令集非常多,大概有200种左右,本篇不详细介绍每一条指令的功能和参数,只选取几个典型的指令作为例子,介绍它们是如何实现的。
KVM中,所有指令的实现都放在kvm/vmcommon/src/bytecodes.c中,每一条指令都遵从如下的形式:
{operations}部分是该指令的具体实现。
整个bytecodes.c文件其实是一个switch分支结构中的cases部分,这个文件中定义了所有的case。这个文件会被源文件kvm/vmcommon/src/execute.c所包含,execute.c中定义有一个方法
void SlowInterpret(ByteCode token);
它是解释执行Java指令的主要函数,参数token就是一条指令,在本函数中会有一个switch()结构来选择token的执行路径:函数结尾处的几个标签是指令完成后会跳转到的地方。
依据Java虚拟机规范,虚拟机指令可以分为装载和存储指令、运算指令、类型转换指令、对象创建与操纵指令、操作数栈管理指令、控制转移指令、方法调用和返回指令、抛出和处理异常指令、实现finally指令和同步指令等10类,下面从中选取几个简单的指令来看一看它们是如何设计的:
1、ICONST_0
说明:
无参数,向操作数栈中压入int型常量0。
实现代码:
GlobalState.gs_sp是当前帧内操作数栈的指针,ICONST_0指令要做的只是把指针向后移动一个字(注意是“字”而不是“字节”),然后给新字赋值为0;最后程序计数器ip自加1,表明没有跳转,接着执行下一条指令。
2、DSTORE
说明:
本指令带有一个字节的参数offset,作用是从操作数栈中读取一个double型的值(双字)并存放到局部变量区中的offset和offset+1位置。
实现代码:
首先从程序计数器的下一个字节中取出目标位置的偏移量index,然后从操作数栈中弹出两个字分别作为double型数的底位和高位存入局部变量lp所指向的区域中的合适位置。
3、I
说明:
无参数,将操作数栈中的当前操作数由int型转换为long型。
实现代码:
由于long比int表示的范围大,所以在扩展时多出来的高位只是用于符号扩展。先从操作数栈中取出int型整数并把它作为一个long型,如果定义了宏BIG_ENDIAN,说明操作数栈中的存储规则是高字节在前,这时要把value的值向后移一个字作为低字来用,高字用于作符号扩展;如果操作数栈中是低位在前的话,原位置中的字不用动,只要把下一个字作符号扩展即可。最近,由于当前操作数由一个字变为两个字,所以sp要自加1。
4、LMUL
说明:
无参数;从栈中弹出两个long型数,相乘,然后将所得long型结果压回栈。
实现代码:
先从操作数栈中分别取出两个双字长的长整型数,使用ll_mul()宏把它们相乘(这个宏的实现是依赖于操作系统的),然后再把相乘的结果写入栈中。整个操作从栈中弹出了四个字而压入两个,在过程中指针sp都没有变过,所以最后要把sp向前移两个字。
以下作为例子的都是一些简单的指令,但并不是所有指令都这样简单,像对象操作、异常处理和方法调用几类指令都十分的复杂,本篇只是演示指令的原理,所以不介绍太复杂的指令。
如果您非常迫切的想了解IT领域最新产品与技术信息,那么订阅至顶网技术邮件将是您的最佳途径之一。
现场直击|2021世界人工智能大会
直击5G创新地带,就在2021MWC上海
5G已至 转型当时——服务提供商如何把握转型的绝佳时机
寻找自己的Flag
华为开发者大会2020(Cloud)- 科技行者