公开(公告)号：CN100345117C

公开(公告)日：2007-10-24

申请号：CN200410074532.6

申请日：2004-09-07

Applicant: 中国科学院计算技术研究所

Inventor： 武成岗 ,  谢海斌 ,  张兆庆 ,  冯晓兵 ,  崔慧敏 ,  唐锋 ,  杨浩

IPC: G06F9/45

Abstract: 本发明公开了一种二进制翻译中对X86中浮点运算的处理方法，包括以下步骤：在运行时环境中设置一个浮点栈，用于仿真X86中的物理浮点栈；通过浮点寄存器映射的处理和归一方法依次对源二进制程序中的每个基本块进行处理。本发明通过用目标机器的寄存器来映射X86的源寄存器，保证了X86的浮点运算在目标机器上也是由寄存器来实现，确保运算的效率；采用归一的方法，确保每个基本块的入口满足每次top的值相同的假设，从本质上来讲，将Intel的运行过程中对投机假设的判别，用归一的方法进行了保证。本发明使得基本块不需要每次都去判别是否投机假设成立，省去了这一部分开销，提高了系统翻译效率，从而提高了系统性能。

公开(公告)号：CN1332308C

公开(公告)日：2007-08-15

申请号：CN200410069182.4

申请日：2004-09-10

Applicant: 中国科学院计算技术研究所

Inventor： 白童心 ,  张兆庆 ,  冯晓兵 ,  武成岗 ,  唐锋 ,  马湘宁 ,  谢海斌 ,  杨浩 ,  崔慧敏

IPC: G06F9/45

Abstract: 本发明涉及一种动态二进制翻译中的翻译方法，包括以下步骤：统计寻找翻译代码中频繁出现并影响翻译质量的翻译代码片断；找出上述代码片断中的指令模式；确定指令模式的翻译对应关系；扫描待翻译的基本块，寻找所述指令模式，找到，匹配成功，给所述指令模式做标记，否则，匹配未成功，结束扫描；翻译基本块，翻译时遇到标记的指令时，按照所述指令模式的翻译对应关系翻译，否则，按照常规翻译。本发明通过指令模式匹配来翻译基本块，降低代码重复优化导致的系统开销，提高翻译质量和效果，从而提高了动态二进制翻译的性能。

公开(公告)号：CN1892602A

公开(公告)日：2007-01-10

申请号：CN200510080339.8

申请日：2005-07-01

Applicant: 中国科学院计算技术研究所

Inventor： 杨浩 ,  唐锋 ,  谢海斌 ,  武成岗 ,  张兆庆 ,  冯晓兵 ,  崔慧敏 ,  陈龙

IPC: G06F9/45

Abstract: 本发明公开了一种二进制翻译中库函数调用的处理方法，尽可能地对源X86二进制程序中的库函数调用进行识别和提升；对于可包装库函数，用目标机本地的约定进行传参和返回值处理，这样省去了对X86参数压栈和从堆栈中取返回值的模拟，避免了频繁的内存操作，使用本地的库函数，也不会因为翻译PLT、fixup函数、库函数的源二进制代码造成代码膨胀导致的性能损失，提高了程序执行的效率；对于PLT短路库函数，虽然继续维护X86模拟堆栈，但是控制流不进入PLT和动态链接器的fixup函数，即不翻译PLT和动态链接器的fixup函数的源二进制代码，避免了因为翻译PLT、fixup函数造成代码膨胀导致的性能损失，控制流直接进入库函数的本地码，也能够较好地提高程序执行的效率。

公开(公告)号：CN1746850A

公开(公告)日：2006-03-15

申请号：CN200410074532.6

申请日：2004-09-07

Applicant: 中国科学院计算技术研究所

Inventor： 武成岗 ,  谢海斌 ,  张兆庆 ,  冯晓兵 ,  崔慧敏 ,  唐锋 ,  杨浩

IPC: G06F9/45

Abstract: 本发明公开了一种二进制翻译中对X86中浮点运算的处理方法，包括以下步骤：在运行时环境中设置一个浮点栈，用于仿真X86中的物理浮点栈；通过浮点寄存器映射的处理和归一方法依次对源二进制程序中的每个基本块进行处理。本发明通过用目标机器的寄存器来映射X86的源寄存器，保证了X86的浮点运算在目标机器上也是由寄存器来实现，确保运算的效率；采用归一的方法，确保每个基本块的入口满足每次top的值相同的假设，从本质上来讲，将Intel的运行过程中对投机假设的判别，用归一的方法进行了保证。本发明使得基本块不需要每次都去判别是否投机假设成立，省去了这一部分开销，提高了系统翻译效率，从而提高了系统性能。