高级语言虚拟机最容易的jit实现
高级语言虚拟机最简单的jit实现
最简单的jit实现
现在假设目标代码已经生成,要在执行引擎中进行执行,一种传统实现方式是:
while(true)
{
fetch_instruction(handle);// 有一次内存访问
switch(handle.opcode)
{
case Binary_Add:
move r0 arg1;
move r1 arg2;
call binary_add(); // 多一次跳转(相对于直接调用binary_add),cpu的cache用不上
break;
case Binary_sub:
move r2 arg1;
move r3 arg2;
call binary_sub();
break;
case Binary_mul:
move r4 arg1;
move r5 arg2;
call binary_mul();
break;
.
.
.
}
}
注意:简单起见,假设目标代码指令放在大数组中存储,binary_add之所以不直接映射为add指令是因为高级语言中,很多时候参数的类型在运行时才能确定。
与此不同的另外一种实现是:
指令数组中存放的是
move r0 arg1;
move r1 arg2;
call Binary_Add ,
move r2 arg1;
move r3 arg2;
call binary_sub,
...
在执行时,执行引擎直接在指令数组中顺序运行,这样的话
相比上面的实现,每次指令的执行少了一次fetch,少了一次调用跳转(可以利用cpu的cache),这种实现可以认为是最朴素的jit实现,
优点是速度加快(据说比上面的方式快了5倍),缺点是多用内存(move等操作要放在这个数组中)
最简单的jit实现
现在假设目标代码已经生成,要在执行引擎中进行执行,一种传统实现方式是:
while(true)
{
fetch_instruction(handle);// 有一次内存访问
switch(handle.opcode)
{
case Binary_Add:
move r0 arg1;
move r1 arg2;
call binary_add(); // 多一次跳转(相对于直接调用binary_add),cpu的cache用不上
break;
case Binary_sub:
move r2 arg1;
move r3 arg2;
call binary_sub();
break;
case Binary_mul:
move r4 arg1;
move r5 arg2;
call binary_mul();
break;
.
.
.
}
}
注意:简单起见,假设目标代码指令放在大数组中存储,binary_add之所以不直接映射为add指令是因为高级语言中,很多时候参数的类型在运行时才能确定。
与此不同的另外一种实现是:
指令数组中存放的是
move r0 arg1;
move r1 arg2;
call Binary_Add ,
move r2 arg1;
move r3 arg2;
call binary_sub,
...
在执行时,执行引擎直接在指令数组中顺序运行,这样的话
相比上面的实现,每次指令的执行少了一次fetch,少了一次调用跳转(可以利用cpu的cache),这种实现可以认为是最朴素的jit实现,
优点是速度加快(据说比上面的方式快了5倍),缺点是多用内存(move等操作要放在这个数组中)