| 专利名称 | 二进制翻译中对X86中浮点运算的处理方法 | 申请号 | CN200410074532.6 | 专利类型 | 发明专利 | 公开（公告）号 | CN1746850 | 公开（授权）日 | 2006.03.15 | 申请（专利权）人 | 中国科学院计算技术研究所 | 发明（设计）人 | 武成岗;谢海斌;张兆庆;冯晓兵;崔慧敏;唐锋;杨浩 | 主分类号 | G06F9/45(2006.01) | IPC主分类号 | G06F9/45(2006.01) | 专利有效期 | 二进制翻译中对X86中浮点运算的处理方法 至二进制翻译中对X86中浮点运算的处理方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明公开了一种二进制翻译中对X86中浮点 运算的处理方法，包括以下步骤：在运行时环境中设置一个浮 点栈，用于仿真X86中的物理浮点栈；通过浮点寄存器映射的 处理和归一方法依次对源二进制程序中的每个基本块进行处 理。本发明通过用目标机器的寄存器来映射X86的源寄存器， 保证了X86的浮点运算在目标机器上也是由寄存器来实现，确 保运算的效率；采用归一的方法，确保每个基本块的 入口满足每次top的值相同的假设，从本质上来讲，将Intel的 运行过程中对投机假设的判别，用归一的方法进行了保证。本 发明使得基本块不需要每次都去判别是否投机假设成立，省去 了这一部分开销，提高了系统翻译效率，从而提高了系统性能。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障