用JIT设计虚拟机

我正在开发一种为自己的虚拟机编译的脚本语言,这是一种简单的脚本语言,它具有处理类似 点 , 向量 , 漂浮物 等等……存储单元以这种方式表示:

struct memory_cell
{
    u32 id;
    u8 type;

    union
    {
        u8 b; /* boolean */
        double f; /* float */
        struct { double x, y, z; } v; /* vector */
        struct { double r, g, b; } c; /* color */
        struct { double r, g, b; } cw; /* color weight */
        struct { double x, y, z; } p; /* point variable */
        struct { u16 length; memory_cell **cells; } l; /* list variable */
    };  
};

指令是通用的,能够处理许多不同的操作数。例如

ADD dest, src1, src2

可以使用浮点数、向量、点、颜色,根据操作数设置正确的目标类型。

主执行周期只需检查 操作码 指令(包含用于定义任何类型指令的联合的结构)并执行它。我使用了一种简化的方法,在这种方法中,我没有寄存器,只是一个大的内存单元阵列。

我想知道JIT是否能帮助我获得最好的表现,以及如何实现它。

正如我所说,迄今为止实现的最佳方案是:

 void VirtualMachine::executeInstruction(instr i)
 {
     u8 opcode = (i.opcode[0] & (u8)0xFC) >> 2;

     if (opcode >= 1 && opcode <= 17) /* RTL instruction */
     {
        memory_cell *dest;
        memory_cell *src1;
        memory_cell *src2;

        /* fetching destination */
        switch (i.opcode[0] & 0x03)
        {
            /* skip fetching for optimization */
            case 0: { break; }
            case MEM_CELL: { dest = memory[stack_pointer+i.rtl.dest.cell]; break; }
            case ARRAY_VAL: { dest = memory[stack_pointer+i.rtl.dest.cell]->l.cells[i.rtl.dest.index]; break; }
            case ARRAY_CELL: { dest = memory[stack_pointer+i.rtl.dest.cell]->l.cells[(int)i.rtl.dest.value]; break; }
        }

     /* omitted code */

     switch (opcode)
     {
         case ADD:
         {
             if (src1->type == M_VECTOR && src2->type == M_VECTOR)
             {
                 dest->type = M_VECTOR;
                 dest->v.x = src1->v.x + src2->v.x;
                 dest->v.y = src1->v.y + src2->v.y;
                 dest->v.z = src1->v.z + src2->v.z;
              }

      /* omitted code */

尝试JIT编译是否容易/方便?但我真的不知道从哪里开始,这就是为什么我要征求一些建议。

除此之外,我在开发它时还应该考虑其他的建议吗?

这个虚拟机应该足够快来计算光线跟踪器的明暗器,但是我还没有做任何基准测试。