构造使用类C语言的脚本引擎(2)实现虚拟机和虚拟机调试

构造使用类C语言的脚本引擎(2)

作者 :kevin_qing

转贴请注明

考虑到脚本编译器部分可以单独作为一个进程实现，并且编译器需要虚拟机对其结果进行调试，

目前先从最底层的虚拟机部分开始开发。

1.虚拟机结构.

考虑到目前不支持内部函数定义，采用寄存器方式，以后扩充栈也较为方便

变量寄存器REG[256] 其中REG[0]为外部call时存放返回值

指令寄存器IP;

比较寄存器CFlag;

代码段，数据段均为虚拟指令不可改写的

1.虚拟机运行模式

使用函数数组实现，指令采取顺序编码，且按word方式对齐以加快数组索引速度

运行时函数

bool run(){

while(bRun_){

uint16_t op=op_readw();

assert((op>=0) &&(op<countof(vmop) );

vmop[op]();

}

}

2.指令定义

[r]代表REG[n]

[i]立即数

[s]字符串

[f]外部函数ID

[ip]绝对ip地址

mov 类:

mov [r] [r]

mov [r] [i]

运算比较指令等

重点说明函数call和switch

SReset //重置选择队列

case [i] [ip]//选择id/ip对

switch [r] //开始跳转

--------------------------

FReset  //重置外部函数参数队列

FPush [r] //加入一个数字参数

FPush [s] //加入一个字符串参数

FPush [i]

FCall [f]  //调用函数

---------------------------

switch可以不使用虚拟指令进行多次比较，而在vmop_switch()内部进行比较.

如果输入的case是排序的话，会大大节约比较时间

--------------------------------------------------------------------------

fcall的参数队列使类似printf这种可变参数得以可行,也就是说，所有外部函数都可以是可变参数。

这里是我的外部函数定义

#define SC_API __cdecl

typedef int (SC_API *FP_SC_API)(int nParm,...);
struct SC_API_TAB{
 FP_SC_API pAPI;
 int nParm;
 const char* APIname;
};

#define DECL_SCAPI(name,nParm) {&name,nParm,#name}
extern const SC_API_TAB api_table[];
SC_API_TAB api_table[]={

DECL_ACAPI(say,1),

.....

};

vmop_fcall的实现:采用inline汇编,因为不管是C还是C++都不能动态的实现可变参数调用。

vmop_fcall(){

 int nParm=this->nParm;
 DWORD* pParm=fifo_parm;
 WORD fd=ipGetW();
 void* pf=api_table[fd].pAPI;
 DWORD retc;

 __asm{
  mov ecx,nParm
  inc ecx
  mov ebx,pParm
  mov edx,pf
  push_loop:
  dec ecx
  jz  call_fun
  mov eax,[ebx]
  add ebx,4
  push eax
  jmp push_loop
call_fun:
  mov ecx,nParm
  inc ecx
  push ecx
  call edx
  mov retc,eax
  pop ecx
  dec ecx
  shl ecx,2
  add esp,ecx
 }
 Reg[0]=retc;
}

}

fcall目前未做任何优化

其他指令都很容易实现，就不一一说明了。

调试：

单步执行和寄存器参看都很容易实现，也不说了.

反汇编我是通过字符串数组实现

const char* OP_[]={

"HALT",

"MOV",//move r r

"MOV",//move r i

.....

};

const uint32_t OP_SIZE[]={

0,

2,

4,

....

};

反汇编时通过查表即可实现