构造使用类C语言的脚本引擎(2)实现虚拟机和虚拟机调试
构造使用类C语言的脚本引擎(2)实现虚拟机和虚拟机调试
构造使用类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,
....
};
反汇编时通过查表即可实现