高级语言虚拟机最简单的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等操作要放在这个数组中）