公共文化服务平台

谢海斌: 作品数：22 被引量：20H指数：3; 供职机构：中国科学院计算技术研究所更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术更多>>

合作作者

一种动态二进制翻译中的翻译方法: 本发明涉及一种动态二进制翻译中的翻译方法，包括以下步骤：统计寻找翻译代码中频繁出现并影响翻译质量的翻译代码片断；找出上述代码片断中的指令模式；确定指令模式的翻译对应关系；扫描待翻译的基本块，寻找所述指令模式，找到，匹配成...; 白童心张兆庆冯晓兵武成岗唐锋马湘宁谢海斌杨浩崔慧敏; 文献传递

二进制翻译中经由跳转表的多目标分支语句的识别方法: 本发明公开了一种二进制翻译中经由跳转表的多目标分支语句的识别方法，包括：1)、把要识别的语义转化为语义图，该语义图作为模板图；2)、选择待识别语义的代码片段；3)将代码片段按照语义构建语义图；4)将步骤3)构建出的语义图...; 陈龙唐锋谢海斌杨浩; 文献传递

动态二进制翻译中的代码Cache管理策略被引量：5: 2005年; 就代码cache的管理提出了CPB(cache-piece-block)策略,它具有全清空、FIFO和LRU策略的优点,并且考虑到程序的时间空间局部性和cache替换开销,从而实现了对代码cache的高效管理。; 谢海斌武成岗张兆庆冯晓兵; 关键词：动态二进制翻译

动静结合二进制翻译中静态信息不完备的处理方法及装置: 本发明公开了动静结合二进制翻译中静态信息不完备的处理方法及装置，通过预留必要的入口，由动态翻译执行器进行即时翻译，并通过和预留入口相链接的方式发挥系统的性能。增加设置入口和采用即时翻译，克服现有技术动态执行中长时间无法返...; 武成岗张兆庆冯晓兵崔慧敏谢海斌唐锋杨浩; 文献传递

二进制翻译中局部变量识别和提升的处理方法: 本发明公开了一种二进制翻译中对局部变量识别和提升的方法包括以下步骤：a、对翻译单元进行条件判别，判断在此翻译单元内能否进行局部变量的提升；b、依次对可处理翻译单元的每个基本块进行处理，对每条指令的局部变量进行识别；c、将...; 崔慧敏武成岗谢海斌张兆庆冯晓兵唐锋杨浩; 文献传递

二进制翻译中的库函数调用处理方法: 本发明公开了一种二进制翻译中的库函数调用处理方法，包括在目标机中用内存模拟原系统的寄存器和堆栈；应用目标机本地的约定进行传参和返回值处理，依次对原系统二进制程序中的每个基本块进行处理。本发明通过用目标机本地的约定进行传参...; 谢海斌武成岗张兆庆冯晓兵崔慧敏唐锋杨浩; 文献传递

二进制翻译中局部变量识别和提升的处理方法: 本发明公开了一种二进制翻译中对局部变量识别和提升的方法包括以下步骤：a.对翻译单元进行条件判别，判断在此翻译单元内能否进行局部变量的提升；b.依次对可处理翻译单元的每个基本块进行处理，对每条指令的局部变量进行识别；c.将...; 崔慧敏武成岗谢海斌张兆庆冯晓兵唐锋杨浩; 文献传递

一种动态二进制翻译中的翻译方法: 本发明涉及一种动态二进制翻译中的翻译方法，包括以下步骤：统计寻找翻译代码中频繁出现并影响翻译质量的翻译代码片断；找出上述代码片断中的指令模式；确定指令模式的翻译对应关系；扫描待翻译的基本块，寻找所述指令模式，找到，匹配成...; 白童心张兆庆冯晓兵武成岗唐锋马湘宁谢海斌杨浩崔慧敏; 文献传递

二进制翻译中解析多目标分支语句的图匹配方法被引量：6: 2008年; 二进制翻译技术现已成为实现软件移植的重要手段．在二进制翻译系统中，如何有效地挖掘程序的代码并对其进行高效翻译是影响系统性能的关键，而二进制代码中间接跳转语句的存在，使得静态时难以得到它的跳转目标，影响了代码的发掘率和最终的翻译效果．在通常的应用程序中，间接跳转指令经常用来实现多目标分支语义，分支目标存放在跳转表中．提出了一种解析多目标分支语句及其跳转表的方法，能够挖掘出间接跳转的目标，进而对其进行有效翻译并提高二进制翻译系统的性能．该方法提出使用语义图来对预期语义进行刻画和表达．语义图能够对考察的指令序列进行语义提取，识别出与预期语义相匹配的指令流，还可以应对编译器在不同优化选项下生成的指令，并能有效滤除不相关指令带来的干扰．实验结果表明，对于SPEC CINT2000中的部分测试用例，代码翻译的覆盖率可以提高9．85％～22．13％，相应带来的性能提升可达到8．30％～17．71％，而使用的算法时间复杂度仅为O（1）．; 陈龙武成岗谢海斌崔慧敏张兆庆; 关键词：二进制翻译语义图图匹配

二进制翻译中经由跳转表的多目标分支语句的识别方法: 本发明公开了一种二进制翻译中经由跳转表的多目标分支语句的识别方法，包括：1)把要识别的语义转化为语义图，该语义图作为模板图；2)选择待识别语义的代码片段；3)将代码片段按照语义构建语义图；4)将步骤3)构建出的语义图和步...; 陈龙唐锋谢海斌杨浩; 文献传递