专利详情

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