杨克峤
- 作品数：16 被引量：7H指数：2
- 供职机构：复旦大学更多>>
- 发文基金：河南省杰出人才创新基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 二进制翻译中的函数返回类型恢复技术
- 2007年
- 函数返回类型恢复分为库函数和用户函数返回类型恢复两类。分析IA-64体系结构在函数调用和返回方面的特性得知,用户函数返回类型恢复不是只能从调用者的角度进行分析,还可从被调用者的角度进行分析。综合两种分析方法的优缺点,提出了一种全新的函数返回类型恢复方法。介绍了静态二进制翻译系统ITA中基于控制流和数据流分析的函数返回类型恢复技术,并给出相应的实现算法。由IA-64体系结构的实例验证证明,该方法是一种实用的函数返回类型恢复方法。
- 吴伟峰赵荣彩齐宁杨克峤
- 关键词：IA-64数据流控制流二进制翻译
- 基于对象拥有关系的动态数据竞争检测
- 并发错误的检测对开发多线程程序非常重要。动态数据竞争检测技术比静态竞争检测相对精确，但执行被插桩的代码和记录访问信息引入了巨大的时间开销，这限制了动态竞争检测的广泛使用。本文在已有研究的基础上，基于对象拥有关系，提出了三...
- 杨克峤胡益斌
- 文献传递
- 利用NJMCT构建IA-64反汇编器
- 2005年
- IA-64作为64位处理器架构,代表了一种新型微处理器的发展方向。在研究IA-64指令特点的基础上,利用NJMCT能对指令流进行操作的功能,构建了IA-64反汇编器。
- 杨克峤赵荣彩丁渊
- 关键词：IA-64软件逆向工程
- 一种自动流水并行的实现方法
- 本发明属于程序编译技术领域，具体为一种自动流水并行的实现方法。本发明方法主要包括：(1)流水并行的识别，具有跨循环迭代的依赖且依赖距离向量为常量的循环结构；(2)线程间同步，依据依赖距离向量插入同步，删除具有相同距离向量...
- 杨克峤李弋臧斌宇
- IA-64解码器自动生成器的设计与实现
- 2007年
- IA-64体系结构使用64位指令集,该指令集应用显式并行指令计算(EPIC)技术,可提供更高的指令级并行性(ILP),但同时也给IA-64二进制代码流的分析和变换带来了困难。介绍了一个IA-64解码器自动生成器的结构与实现,该生成器的输入为IA-64指令集的SLED描述,自动生成用于IA-64指令解码器的C代码。通过该生成器可有效减少解码器的开发时间,确保解码器的正确性,提高解码器的执行效率。实现的自动生成器可应用于IA-64二进制翻译及逆向工程中。
- 齐宁杨克峤苏铭赵荣彩
- 关键词：IA-64解码器生成器二进制翻译逆向工程
- 在静态编译器中实现Java异常机制的算法被引量：2
- 2009年
- 将Java程序静态编译成可执行程序是使用Java虚拟机动态编译/解释执行Java程序的另一种运行Java程序的方式。针对Java异常机制的特点和静态编译的需求,在介绍Java异常处理逻辑的基础上,提出一种在静态编译器中实现Java异常机制的算法,结合Open64开源编译器,给出该算法的具体步骤以及实现方式,以SPECjvm98为测试集,验证该算法的有效性。
- 曹志伟杨克峤王伟周寻杨珉
- 关键词：JAVA语言
- WHIRL SSA：一种基于高级中间表示的优化结构
- 中间表示对编译器的性能、效率和可扩展性都起着决定性作用。Open64编译器采用一种树型结构的中间表示WHIRL，能表示各种高级控制流结构，但不能显式的提供数据流信息。本文基于WHIRL对SSA(Static Single...
- 杨克峤李健
- 一种基于谓词的自动并行优化方法
- 本发明属于程序编译技术领域，具体为一种基于谓词的自动并行优化方法。该方法主要包括：(1)谓词的构建，通过用户程序的多种已知信息，构建程序的并行谓词，消除程序的简单依赖；(2)构建并行循环结构，在谓词条件的约束下，展开后续...
- 杨克峤李弋臧斌宇
- 文献传递
- 一种自动流水并行的实现方法
- 本发明属于程序编译技术领域，具体为一种自动流水并行的实现方法。本发明方法主要包括：(1)流水并行的识别，具有跨循环迭代的依赖且依赖距离向量为常量的循环结构；(2)线程间同步，依据依赖距离向量插入同步，删除具有相同距离向量...
- 杨克峤李弋臧斌宇
- 文献传递
- WHIRL SSA:一种基于高级中间表示的优化结构
- 2012年
- 中间表示对编译器的性能、效率和可扩展性都起着决定性作用.Open64编译器采用一种树型结构的中间表示WHIRL,能表示各种高级控制流结构,但不能显式的提供数据流信息.本文基于WHIRL对SSA(Static Single Assignment)进行扩展,提出了一个新的优化结构WHIRL SSA.WHIRL SSA通过将SSA信息标注在WHIRL节点上,显式的为数据流分析提供使用-定义(UD)信息.相比于传统的数据流信息构建方法,WHIRL SSA提供了更精确、有效的数据流信息.本文讨论了WHIRL SSA的设计与实现和基于WHIRL SSA的优化.
- 杨克峤李健胡益斌许铝才
- 关键词：SSA
