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