构造使用类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, .... }; 反汇编时通过查表即可实现
|