HEC虚拟机的一些改进建议

原创 2004年06月21日 11:24:00

HEC虚拟机的一些改进建议

陈硕 2004-02-13<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

在《虚拟机的设计与实现——C/C++》一书中,作者Bill Blunden描述了一个简单但完整的虚拟机——HEC的设计及实现。在阅读第三章的过程中,我发现有几处值得改进的地方。不是针对HEC的总体设计和代码结构——那样牵一发而动全局,而是针对HEC虚拟机实现代码中某些细节做些改进。

1.        转换字节序

HEC的字节序(byte order)是big-endian(高位在前),而宿主平台(Win32 on Intel)是little-endian(低位在前),所以在装入.RUN文件时需要转换字节序。作者先定义了HEC虚拟机的各种类型(p.61,原书p.67):

#define U1    unsigned char

#define U2    unsigned short

#define U4    unsigned long

#define U8    unsigned __int64

然后定义了10个转换函数(p.62,原书p.68)。例如,U2 bytecodeToWord(U1 bytes[]) 的作用是将big-endian16位无符号整数转换为本机格式:

U2 bytecodeToWord(U1 bytes[])

{

    U2 word;

    U1 *buffer;

 

    buffer = (U1*)&word;

    buffer[0] = bytes[1];

    buffer[1] = bytes[0];

 

    return(word);

}

这个函数没有考虑移植性(portability),它认定本机的字节序是little-endian。一种移植性较好的做法是:

U2 bytecodeToWord(U1 bytes[])

{

    U2 word = (bytes[0] << 8) + bytes[1];

 

    return word;

}

这样无论主机是little-endian或者big-endian都能正确运作。在执行左移运算(<<)之前,C语言会自动把bytes[0]unsigned char类型提升(promote)为int类型,所以不用担心数值“移掉了”。

另一种好办法是利用sockets API中的ntohs()函数:

#include   // or on unix-like OSes

 

U2 bytecodeToWord(U1 bytes[])

{

    return ntohs(*(U2*)bytes);

}

U4 bytecodeToDWord(U1 bytes[]) 也可照此办理:

U4 bytecodeToDWord(U1 bytes[])

{

    U4 dword = (bytes[0] << 24) + (bytes[1] << 16)

               + (bytes[2] << 8) + bytes[3];

 

    return dword;

}

 

// or using ntohl()

U4 bytecodeToDWord(U1 bytes[])

{

    return ntohl(*(U4*)bytes);

}

采用同样的思路,本机数据转换为big-endian的函数可改写为(以dwordToBytecode()为例):

void dwordToBytecode(U4 dword, U1 arr[])

{

    arr[0] = dword >> 24;

    arr[1] = (dword >> 16) & 0xFF;

    arr[2] = (dword >> 8) & 0xFF;

    arr[3] = dword & 0xFF;

}

 

// or using htonl()

void dwordToBytecode(U4 dword, U1 arr[])

{

    *(U4*)arr = htonl(dword);

}

Intel处理器上,转换16位整数的字节序只需一条语句(假设数据已读取寄存器ax):

xchg     al, ah

改变32位整数的字节序也只需三条语句(假设数据已读取寄存器eax):

xchg    al, ah

ror     eax, 16

xchg    al, ah

GCC编译器在使用-O2优化开关时,就会将ntohl()函数和htonl()函数编译为上面的形式。

2.      验证字节码

在验证阶段,HEC虚拟机将检查每条指令的格式是否正确,包括操作码、寄存器号、地址值的合法性和指令的完整性,并将转换操作数的字节序。这可以视为反汇编器(disassembler)。其基本结构是

while (current_byte < stop) {

    U1 opcode = RAM[current_byte];

   

    switch (opcode) {

    case LBI:   /* LBI $r1, byte_constant  BBB */

        ...

    case ADD:   /* ADD $r1, $r2, $r3  BBBB*/

        ...

    default:    /* Bad opcode */

        report the error

    }

}

其中switch-case结构的代码有近550行,列了整整12页(p.104~p.106,原书p.109~p.119)。仔细观察可以发现,其中很多代码段是重复的,很难维护。由于指令的格式很有规律,所以我们可以复用代码,简化验证过程。我的想法是,将各条指令的格式存入数组char* I_fmt[];验证字节码时,根据指令的操作码(opcode)取回格式字符串,再根据格式字符串验证指令的合法性。换句话说,这里设计了一种用于描述指令格式的小语言。基本结构为

char* I_fmt[256] =

{

  // LBI, LWI, LDI, LQI

  "ORB", "ORW", "ORD", "ORQ",

  ...

};

 

// in reformat()

while (current_byte < stop) {

    U1 opcode = RAM[current_byte];

    char* fmt = I_fmt[opcode];

    char field;

 

    if (fmt == NULL) { // invalid opcode

        report the error and return

    }

 

    field = *fmt++;

    while (field != '/0') {

        switch (field) {

        case 'O': // opcode

            ...

        case 'R': // integer register

            ...

        default :

            FATAL_ERROR();

            break;

        }

        field = *fmt++;

    }

}

这样整个while循环只有80余行,不到原来的1/6,完整的代码可从我的个人主页下载(http://www.chenshuo.com)。这里’O’表示操作码、’R’表示整数寄存器、’F’表示浮点寄存器、’L’表示双精度浮点寄存器、’B’表示8位立即数、’W’表示16位立即数、’D’表示32位立即数、’Q’表示64位立即数、’A’表示64位地址(LAD指令)、’f’表示浮点立即数(32位)、’l’表示双精度浮点立即数(64位)、’V’表示中断向量(INT指令)等等。

3.       其他改进建议

作者声称HEC把各种整数都看作时有符号(signed),但是他写的SLT语句确进行无符号的大小比较(p.134,原书p.137)。也就是说HEC实际上没有比较有符号整数大小的语句,它把参与大小比较的整数都看作是无符号的(意味着0<-1),这与作者的设想正好相反。因此,我建议增加一条SLTU语句,用来比较无符号整数,而原有的SLT语言则改为比较有符号数。这样就二者兼顾了。

 

..

 

如何写前端开发的改进建议书?

上周启动了一个项目打算统一规划前端的开发,一方面是想在前端方面有长期积累,另一方是想提升前端的开发效率和代码质量。就请海Y准备了一个ppt,计划在本月双周会上给产品同学介绍一下,今天先和架构组的同学一...
  • afujin
  • afujin
  • 2015年11月30日 23:30
  • 891

业界大牛级程序员给程序员的一些建议

展望未来,总结过去10年的程序员生涯,给程序员小弟弟小妹妹们的一些总结性忠告 走过的路,回忆起来是那么曲折,把自己的一些心得体会分享给程序员兄弟姐妹们,虽然时代在变化,但是很可能你也会走我已经做...
  • hongweideng
  • hongweideng
  • 2015年09月10日 14:03
  • 935

30条Android开发建议

本文摘自: https://wingjay.com/2016/03/15/30%E6%9D%A1Android%E5%BC%80%E5%8F%91%E5%BB%BA%E8%AE%AE/ here a...
  • sdjianfei
  • sdjianfei
  • 2016年07月06日 08:28
  • 955

CMMI过程改进反例

最近一直在看CMMI的资料,越看觉得越有意思,今天看到过程改进的时候,突然想起来之前所在的公司发生的过程改进相关的事儿来。公司通过CMMI3级认证之后,PMO部门经理(公司还有质量管理部门经理、也有E...
  • violet200211
  • violet200211
  • 2014年06月16日 09:20
  • 2034

改善C#编程的50个建议(1-5)

翻译自Effective C# 1、属性(properties) 抽象属性可以放在接口的定义里。如: public interface INameValuePair     {         s...
  • edcvf3
  • edcvf3
  • 2014年03月19日 00:14
  • 1525

改进异常处理的6条建议

本文由 ImportNew - 唐尤华 翻译自 northconcepts。欢迎加入Java小组。转载请参见文章末尾的要求。 合理地使用异常处理可以帮你节省数小时(甚至数天)调试时间。一个乘法异...
  • Dancen
  • Dancen
  • 2014年06月12日 23:49
  • 703

两年网页设计的经验总结,给新手设计师一点个人建议

两年前我正式从事“网页设计”这份工作,当时的职位是“网页设计师”,顾名思义,网页设计师必须要进行网站效果图设计。这下可难为我了,我并没有太多设计基础,当时photoshop也只是在大学学了半个学期的皮...
  • whaowen
  • whaowen
  • 2014年06月17日 10:11
  • 930

【优雅编程之道】之异常的6点建议

开心一笑【想来想去,还是努力挣钱更靠谱,不然心情不好时,只能买两瓶啤酒医一袋鸡爪在路边嗷嗷的哭,努力挣钱的话,就能躺在幽美的山中温泉里敷面膜止住眼泪。努力挣钱我还可以去纽约哭,去伦敦哭,去巴黎哭,去罗...
  • huangwenyi1010
  • huangwenyi1010
  • 2017年02月22日 07:03
  • 760

虚拟机安装Centos7

主页,创建新的虚拟机。为了避免简易安装,这里选择的稍后安装操作系统选择的是redhat的,命名当然随意,但还是有规则比较好,我的规则是发行版版本号-位数-ip地址,我准备分配90的ip 文件放在J盘...
  • bwlab
  • bwlab
  • 2015年08月30日 11:24
  • 7953

开发维护大型 Java 项目的建议

开发维护大型 Java 项目的建议
  • javaniuniu
  • javaniuniu
  • 2016年12月27日 13:06
  • 803
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:HEC虚拟机的一些改进建议
举报原因:
原因补充:

(最多只允许输入30个字)