分享
 
 
 

KVM的执行引擎(下) — 指令集

王朝other·作者佚名  2007-03-09
窄屏简体版  字體: |||超大  

指令集是虚拟机中最底层也是最核心的部分,Java程序中的变量赋值、函数调用等所有操作最后都要被转化为一条条的指令来执行。

指令集是在Java虚拟机规范中定义的,各种虚拟机实现要给予精确的实现,下面就来介绍一下指令集的分类以及在KVM中是如何实现的。

在头文件kvm/vmcommon/h/interpret.h中有如下对指令集种类的定义:

typedef enum {

NOP = 0x00,

ACONST_NULL = 0x01,

ICONST_M1 = 0x02,

……

LASTBYTECODE = 0xDF

} ByteCode ;

以及每条指令的名字:

#define BYTE_CODE_NAMES {

"NOP", /* 0x00 */

"ACONST_NULL", /* 0x01 */

"ICONST_M1", /* 0x02 */

……

"CUSTOMCODE" /* 0xDF */ }

Java虚拟机的指令集非常多,大概有200种左右,本篇不详细介绍每一条指令的功能和参数,只选取几个典型的指令作为例子,介绍它们是如何实现的。

KVM中,所有指令的实现都放在kvm/vmcommon/src/bytecodes.c中,每一条指令都遵从如下的形式:

SELECT(指令号)

{operations}

DONE(跳转位置)

注:

#define SELECT(l1) case l1: {

#define SELECT2(l1, l2) case l1: case l2: {

#define SELECT3(l1, l2, l3) case l1: case l2: case l3: {

#define SELECT4(l1, l2, l3, l4) case l1: case l2: case l3: case l4: {

#define SELECT5(l1, l2, l3, l4, l5) case l1: case l2: case l3: case l4: case l5: {

#define SELECT6(l1, l2, l3, l4, l5, l6) case l1: case l2: case l3: case l4: case l5: case l6: {

#define DONE(n) } goto next##n;

#define DONEX }

#define DONE_R } goto reschedulePoint;

{operations}部分是该指令的具体实现。

整个bytecodes.c文件其实是一个switch分支结构中的cases部分,这个文件中定义了所有的case。这个文件会被源文件kvm/vmcommon/src/execute.c所包含,execute.c中定义有一个方法

void SlowInterpret(ByteCode token);

它是解释执行Java指令的主要函数,参数token就是一条指令,在本函数中会有一个switch()结构来选择token的执行路径:

void SlowInterpret(ByteCode token) {

switch (token) {

#include "bytecodes.c"

next3: ip++;

next2: ip++;

next1: ip++;

next0:

reschedulePoint:

return;

}

函数结尾处的几个标签是指令完成后会跳转到的地方。

依据Java虚拟机规范,虚拟机指令可以分为装载和存储指令、运算指令、类型转换指令、对象创建与操纵指令、操作数栈管理指令、控制转移指令、方法调用和返回指令、抛出和处理异常指令、实现finally指令和同步指令等10类,下面从中选取几个简单的指令来看一看它们是如何设计的:

1、ICONST_0

说明:

无参数,向操作数栈中压入int型常量0。

实现代码:

SELECT(ICONST_0) /* Push integer constant 0 onto the operand stack */

pushStack(0);

DONE(1)

宏经适当展开后为:

case ICONST_0: {

*++GlobalState.gs_sp = 0;

} goto next1;

GlobalState.gs_sp是当前帧内操作数栈的指针,ICONST_0指令要做的只是把指针向后移动一个字(注意是“字”而不是“字节”),然后给新字赋值为0;最后程序计数器ip自加1,表明没有跳转,接着执行下一条指令。

2、DSTORE

说明:

本指令带有一个字节的参数offset,作用是从操作数栈中读取一个double型的值(双字)并存放到局部变量区中的offset和offset+1位置。

实现代码:

SELECT(DSTORE) /* Store double into local variable */

unsigned int index = ip[1];

lp[index+1] = popStack();

lp[index] = popStack();

DONE(2)

宏展开为:

case DSTORE: {

unsigned int index = GlobalState.gs_ip[1];

GlobalState.gs_lp[index+1] = *GlobalState.gs_sp --;

GlobalState.gs_lp[index] = *GlobalState.gs_sp --;

} goto next2;

首先从程序计数器的下一个字节中取出目标位置的偏移量index,然后从操作数栈中弹出两个字分别作为double型数的底位和高位存入局部变量lp所指向的区域中的合适位置。

3、I2L

说明:

无参数,将操作数栈中的当前操作数由int型转换为long型。

实现代码:

SELECT(I2L) /* Convert integer to long */

long value = *(long *)sp;

#if BIG_ENDIAN

((long *)sp)[1] = value;

((long *)sp)[0] = value >> 31;

#elif LITTLE_ENDIAN || !COMPILER_SUPPORTS_LONG

((long *)sp)[1] = value >> 31;

#else

SET_LONG(sp, value);

#endif

getSP()++;

DONE(1)

由于long比int表示的范围大,所以在扩展时多出来的高位只是用于符号扩展。先从操作数栈中取出int型整数并把它作为一个long型,如果定义了宏BIG_ENDIAN,说明操作数栈中的存储规则是高字节在前,这时要把value的值向后移一个字作为低字来用,高字用于作符号扩展;如果操作数栈中是低位在前的话,原位置中的字不用动,只要把下一个字作符号扩展即可。最近,由于当前操作数由一个字变为两个字,所以sp要自加1。

4、LMUL

说明:

无参数;从栈中弹出两个long型数,相乘,然后将所得long型结果压回栈。

实现代码:

SELECT(LMUL) /* Mul long */

long64 rvalue = GET_LONG(sp - 1);

long64 lvalue = GET_LONG(sp - 3);

SET_LONG(sp - 3, ll_mul(lvalue, rvalue));

getSP() -= 2;

DONE(1)

先从操作数栈中分别取出两个双字长的长整型数,使用ll_mul()宏把它们相乘(这个宏的实现是依赖于操作系统的),然后再把相乘的结果写入栈中。整个操作从栈中弹出了四个字而压入两个,在过程中指针sp都没有变过,所以最后要把sp向前移两个字。

以下作为例子的都是一些简单的指令,但并不是所有指令都这样简单,像对象操作、异常处理和方法调用几类指令都十分的复杂,本篇只是演示指令的原理,所以不介绍太复杂的指令。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
 
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有