JIT动态编译器的原理与实现之Interpreter(解释器)的实现(三)
接下来,就是要实现一个虚拟机了。记得编码高质量的代码中有一条:不要过早地优化你的代码。所以,也本着循序渐进的原则,我将从实现一个解释器开始,逐步过渡到JIT动态编译器,这样的演化可以使原理看起来更清晰。
解释器的原理很简单,就是一条指令一条指令的解释并执行。具体流程分为:取出指令-解码指令-执行-返回主流程。这样形成一个无限循环,如下图所示:
这里的主流程就是上篇定义的程序rom.bin。但rom.bin不能直接运行,需要一个解释器来包裹它,来解释执行。解释器放在一个无限循环中,使得主流程无限运行不停止:
void loop()
{
for(;;)
{
Interpreter(&CPUREG);
}
}
这样,整个虚拟机的运行可以定义为:
memInit(); //初始化内存
ResetCPU(&CPUREG); //初始化CPU
loadROM(); //加载rom.bin
loop(); //执行主流程
memFree(); //释放内存
接下来需要做的就是取出指令送入解释器了。为此需要定义读写内存的函数memGet和memSet:
void memSet(unsigned int, unsigned char); unsigned char memGet(unsigned int); void memSet(unsigned int addr, unsigned char data)
{
char Str_Err[256]; if(addr>64)
{
sprintf(Str_Err, "MEM: invalid mem write: 0x%8x", addr);
MessageBox(NULL, Str_Err, "Warning", MB_OK);
}
else
{
RAM[addr & 0xff]=data;
} } unsigned char memGet(unsigned int addr)
{
char Str_Err[256];
unsigned char val = 0; if(addr>64)
{
sprintf(Str_Err, "MEM: invalid mem read: 0x%8x", addr);
MessageBox(NULL, Str_Err, "Warning", MB_OK);
}
else
{
val=RAM[addr & 0xff];
} return val;
}
读写均为一个字节。由于上篇定义的CPU寻址范围只有64字节大小,所以超过64字节就要给出错误提示。
然后需要为每一个CPU指令机器码实现一个解码执行函数:
void nop(REG*);
void mov(REG*);
void add(REG*);
void cmp(REG*);
void jmp(REG*);
void jcp(REG*); void nop(REG* cpuREG)
{ cpuREG->R_PC++; sprintf("NOP\n"); } void mov(REG* cpuREG)
{ memSet(cpuREG->R_PC+1, memGet(cpuREG->R_PC+2)); sprintf("MOV [0x%4x], [0x%4x]\n", cpuREG->R_PC+1, cpuREG->R_PC+2); cpuREG->R_PC+=3;
} void add(REG* cpuREG)
{ memSet(cpuREG->R_PC+1, memGet(cpuREG->R_PC+1)+memGet(cpuREG->R_PC+2)); sprintf("ADD [0x%4x], [0x%4x]\n", cpuREG->R_PC+1, cpuREG->R_PC+2); cpuREG->R_PC+=3;
} void cmp(REG* cpuREG)
{ if((memGet(cpuREG->R_PC+1)-memGet(cpuREG->R_PC+2)) < 0)
{
cpuREG->R_CMP=0;
}
else
{
cpuREG->R_CMP=1;
} sprintf("CMP [0x%4x], [0x%4x]\n", cpuREG->R_PC+1, cpuREG->R_PC+2);
cpuREG->R_PC+=3;
} void jmp(REG* cpuREG)
{ sprintf("JMP [0x%4x] \n", cpuREG->R_PC+1); cpuREG->R_PC=memGet(cpuREG->R_PC+1);
} void jcp(REG* cpuREG)
{ sprintf("JCP [0x%4x], [0x%4x]\n", cpuREG->R_PC+1, cpuREG->R_PC+2); if(cpuREG->R_CMP==0)
{
cpuREG->R_PC=memGet(cpuREG->R_PC+1);
}
else
{
cpuREG->R_PC=memGet(cpuREG->R_PC+2);
} }
这里最重要的是要小心处理PC寄存器。一开始CPU初始化的时候,PC寄存器是设为0的,而自定义的rom.bin也是从0地址开始执行的。如果你虚拟的CPU不是从0地址开始执行,那么在CPU初始化的时候就要把PC寄存器设为相应的开始地址。另外每一条指令可能涉及的地址数不相同,那么PC寄存器的变动也要不同。最后,跳转指令也可能要根据比较寄存器的内容来改变PC寄存器。
做了如上的准备之后就可以实现解释器了。这里用switch-case结构来决定哪条指令被执行。为了简单起见,用了一个函数指针来执行解码函数:
void (*func)(REG*); //Interpreter
void Interpreter(REG* cpuREG)
{
char Str_Err[256]; switch(memGet(cpuREG->R_PC))
{
case 0:
func=nop;
break;
case 1:
func=mov;
break;
case 2:
func=add;
break;
case 3:
func=cmp;
break;
case 4:
func=jmp;
break;
case 5:
func=jcp;
break;
default:
sprintf(Str_Err, "Unhandled Opcode (0x%4x) at [0x%4x]", memGet(cpuREG->R_PC), cpuREG->R_PC);
MessageBox(NULL, Str_Err, "Warning", MB_OK);
return; } func(cpuREG); }
首先从内存中取出数据,根据机器码来决定执行解码函数,最后执行。执行结果如下:
JIT动态编译器的原理与实现之Interpreter(解释器)的实现(三)的更多相关文章
- JIT动态编译器的原理与实现之Interpreter3
JIT动态编译器的原理与实现之Interpreter(解释器)的实现(三) 接下来,就是要实现一个虚拟机了.记得编码高质量的代码中有一条:不要过早地优化你的代码.所以,也本着循序渐进的原则,我将从实现 ...
- gcc/g++等编译器 编译原理: 预处理,编译,汇编,链接各步骤详解
摘自http://blog.csdn.net/elfprincexu/article/details/45043971 gcc/g++等编译器 编译原理: 预处理,编译,汇编,链接各步骤详解 C和C+ ...
- java9新特性-21-java的动态编译器
1. 官方Feature 243: Java-Level JVM Compiler Interface 295: Ahead-of-Time Compilation 2. 产生背景 Oracle 一直 ...
- Java动态编译技术原理
这里介绍Java动态编译技术原理! 编译,一般来说就是将源代码转换成机器码的过程,比如在C语言中中,将C语言源代码编译成a.out,,但是在Java中的理解可能有点不同,编译指的是将java 源代码转 ...
- Java 动态调试技术原理及实践
本文转载自Java 动态调试技术原理及实践 导语 断点调试是我们最常使用的调试手段,它可以获取到方法执行过程中的变量信息,并可以观察到方法的执行路径.但断点调试会在断点位置停顿,使得整个应用停止响应. ...
- Android JIT实时编译器的设置
在Android JIT实时编译是在Android 2.2之后才引入的,JIT编译器可以显著的提高机器的性能,经过测试,android 2.2的性能较android 2.1提高了 2-5倍.JIT提 ...
- java高级---->Java动态代理的原理
Java动态代理机制的出现,使得 Java 开发人员不用手工编写代理类,只要简单地指定一组接口及委托类对象,便能动态地获得代理类.代理类会负责将所有的方法调用分派到委托对象上反射执行,在分派执行的过程 ...
- Cglib动态代理实现原理
Cglib动态代理实现方式 我们先通过一个demo看一下Cglib是如何实现动态代理的. 首先定义个服务类,有两个方法并且其中一个方法用final来修饰. public class PersonSer ...
- RxJava RxPermissions 动态权限 简介 原理 案例 MD
Markdown版本笔记 我的GitHub首页 我的博客 我的微信 我的邮箱 MyAndroidBlogs baiqiantao baiqiantao bqt20094 baiqiantao@sina ...
随机推荐
- Nginx限制访问速率和最大并发连接数模块--limit (防止DDOS攻击)
Tengine版本采用http_limit_req_module进行限制 具体连接请参考 http://tengine.taobao.org/document_cn/http_limit_req_cn ...
- 一、prolog简介
一般来说,人工智能语言应具备如下特点: 1.具有符号处理能力(即非数值处理能力): 2.适合于结构化程序设计,编程容易: 3. 具有递归功能和回溯功能: 4. 具有人机交互能力: 5. 适合于推理: ...
- SQL Server 临时表的删除
--临时表与一般的表不同,它是保存到tempDb表中.临时表的表名与你所建的表名也不一样,因为他要为不同人的相同操作创建不同的临时表. --1.错误的删除操作: --错误的临时表删除操作,因为所在数据 ...
- Net分布式系统之一:系统整体框架介绍
一.设计目的 从事.Net平台开发系统已有8年多了,一直思考搭建.Net分布式系统架构.基于window平台搭建的大型分布式系统不多,之前了解过myspace.stackoverflow等大型网站.搭 ...
- DSP学习中遇到的几个问题(初级)
1..c和.asm 文件分别为C语言和汇编语言的源文件. 2..cmd是存储器分配说明文件,主要功能是指定工程中的各段分配到那段存储器中,比如有片内RAM(起始地址,大小)和SDRAM等.这些要根据平 ...
- transfromjs动画效果
记得以前facebook做过一款HTML5游戏.开场动画是一块软体类似豆腐的东西一起摇摆.类似的效果如下面的gif所示: facebook当时使用的是createjs下的子项目easeljs和twee ...
- jquery blockui 遮罩
参考 : http://bookshadow.com/weblog/2014/09/26/jquery-blockui-js-introduction/ blockUI.html blockUI.ht ...
- 最近遇到的jsfl开发问题总结
最近在用jsfl开发一套把MUGEN角色动画和数据导入flash的脚本.遇到不少问题,这里备忘一下: 1.绘制笔刷和填充的问题 更换填充和笔刷需要用如下的代码 而不是随便设置一下doc的属性 var ...
- 集合框架遍历方式之——for-each循环
从Java5起,在Java中有了for-each循环,可以用来循环遍历collection和array.Foreach循环允许你在无需保持传统for循环中的索引,或在使用iterator /ListI ...
- DOS基本命令及其详解
指令格式:命令 选项 参数命令:要求计算机做某操作,可以是系统中的某个可执行程序,也可以是内存中的某函数.接口.别名等.如果是可执行程序,默认要带路径执行,除非该路径配置在环境变量path中.选项:表 ...