有关字节码处理的笔记

类别:编程语言 点击:0 评论:0 推荐:

    一般而言,为了节省内存,又要保证有足够多的operator,字节码被声明为unsigned char类型,因此对于一个虚拟机能够拥有的运算指令只能在255之内。但是有些解释语言为了提高运行效率,却需要更多运算指令来实现内置函数,一旦超过255,unsigned char显然是不够的。


       MudOS作为解释LPC语言的虚拟机同样存在这样的问题,它的解决方法如下:

1.         所有operator,efunctions,全部实现为unsigned char。

2.         在opcodes.h中定义所有operator,内置函数的索引。同时定义三个标识宏:BASE,ONEARG_MAX,NUM_OPCODES,从0 ~ (BASE-1)为operator的索引,从BASE ~ (ONEARG_MAX -1)为单参数efunctions的索引,从 ONEARG_MAX ~ NUM_OPCODES为多参数或无参数efunctions的索引。

3.         在operator的前几个声明中有以下宏:F_EFUN0——efunction为0参数, F_EFUN1——efunction为1参数, F_EFUN2——efunction为2参数, F_EFUN3——efunction为3参数, F_EFUNV——efunction的参数个数不定,类似c函数printf。可以在efun_defs.c中找到这些efunction的列表,这个表说明了efunction的函数名,字节码值,参数个数,返回值类型,参数类型,索引值,默认值。

4.         在编译阶段生成字节码时按照如下规则处理operator和efunctions,见i_generate_node函数:

l         如果F_*的索引值小于ONEARG_MAX,则直接以F_*的索引值作为字节码,并存入字节码序列中。

l         如果F_*的索引值大于ONEARG_MAX,且该函数参数个数为n,那么首先存入F_EFUNn的索引值,接着存入F_*的索引值减去ONEARG_MAX的值,构成一个双字节的字节码。

l         如果F_*的索引值大于ONEARG_MAX,且该函数参数个数不定,那么首先存入F_EFUNV的索引值,接着存入实际的参数个数,最后存入F_*的索引值减去ONEARG_MAX的值,构成一个三字节的字节码。

5.         在解释阶段则按照以上字节码的顺序进行解释完成求值过程。

本文地址:http://com.8s8s.com/it/it25274.htm