傅立国
- 作品数：10 被引量：8H指数：2
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于二进制翻译的共享库文件移植技术
- 2018年
- 针对当前二进制翻译不支持库文件和新型处理器平台缺少大量动态链接库的问题,基于动态二进制翻译系统,提出面向库文件向新型处理器平台移植的方法。通过对文件预处理模块和动态二进制翻译系统QEMU加载及翻译机制的改造和升级,设计库文件向主机平台移植的框架,实现对加载的库文件代码段静态翻译至主机平台的目标。测试结果表明,使用该系统移植的库文件函数在主机平台执行时,占用CPU节拍数均值是通过二进制翻译系统执行的30%,执行效率较动态二进制翻译系统相比平均提升了70%。
- 高亚虎单征单征石强傅立国
- 关键词：二进制翻译动态链接QEMU
- 二进制翻译模型构建与优化关键技术研究
- 随着电子信息技术的不断发展,处理器架构的自主研发和国产平台的推广普及成为保障国家安全和提高社会生产效率的重要影响因素。高效的移植方法可以为新型处理器平台提供良好的软件支撑,提高处理器平台应用的广度和深度。然而部分继承软件...
- 傅立国
- 关键词：查询优化
- 文献传递
- 自动并行化多级并行代价评估方法
- 本发明涉及计算机高性能计算技术领域，特别涉及一种自动并行化多级并行代价评估方法，首先进行粗粒度自动并行化代价评估，其次进行中粒度自动并行化代价评估，最后进行细粒度自动并行化代价评估，然后进行综合代价评估，针对共享存储的D...
- 赵荣彩庞建民韩林徐金龙傅立国
- 文献传递
- 自动并行化中不规则问题的划分方法被引量：1
- 2013年
- 许多大规模计算程序包含了不规则问题。在面向分布存储的自动并行化中,以往的研究在编译时划分不规则问题的循环和数组较难。文章提出了一种划分方法自动为一类常见的不规则问题寻找计算和数据分解,能在编译时通过计算分解分配不规则数组的数据空间,并根据规则数组之间的相关性来减少数组重分布。该方法通过计算分解和数组引用的访问表达式来分配不规则数组访问的数据到各处理器,并通过数组重分布图在循环间寻找一致的分解。实验结果表明了方法的有效性,并对测试用例取得了预期的加速比。
- 丁锐赵荣彩刘晓娴傅立国
- 关键词：自动并行化
- 自动并行化中不规则循环的通信代码生成
- 2014年
- 不规则计算在大规模并行应用中广泛存在。在面向分布存储结构的自动并行化过程中,较难在编译时为不规则循环生成并行代码。并行代码中的通信代码对程序运行结果的正确性以及加速效果有着严重的影响。通过分析程序的数组重分布图,使用部分冗余的通信方式来维持不规则数组访问的生产者-消费者关系,可以在编译时为一类常见的不规则循环自动生成有效的通信代码。该方法使用计算分解和数组引用的访问表达式求解不规则数组在各处理器的本地定义集作为通信的数据集,分析针对此类不规则循环划分的通信策略,继而生成相应的通信代码。实验测试的结果取得了预期的加速效果,验证了方法的有效性。
- 傅立国姚远丁锐
- 关键词：自动并行化
- 一种自动并行化多级并行代价评估方法
- 本发明涉及计算机高性能计算技术领域，特别涉及一种自动并行化多级并行代价评估方法，首先进行粗粒度自动并行化代价评估，其次进行中粒度自动并行化代价评估，最后进行细粒度自动并行化代价评估，然后进行综合代价评估，针对共享存储的D...
- 赵荣彩庞建民韩林徐金龙傅立国
- 文献传递
- 二进制翻译中动静结合的寄存器分配优化方法被引量：5
- 2019年
- 针对二进制翻译器QEMU(quick emulator)在寄存器映射时未考虑基本块之间以及循环体之间对寄存器需求的差异,造成不必要的寄存器溢出而导致的冗余访存开销问题,引入全局寄存器静态映射和局部寄存器动态分配思想,提出高效的基于优先级的动静结合寄存器映射优化算法.该算法首先基于源平台不同寄存器使用的统计特征和各变量的生命周期,静态进行全局寄存器映射;然后依据中间表示与源平台寄存器之间的映射关系,获取基本块中间指令需求寄存器次数并排序确定寄存器分配的优先级;之后依据优先级顺序动态进行寄存器分配,从而减少寄存器溢出次数,降低生成的本地代码的膨胀率以及访存次数,提高目标程序性能.对NBENCH、典型的递归程序和SPEC2006的测试表明:该算法有效地减少了本地代码的访存次数,提高了程序性能,平均比优化前性能分别提升了8.67%, 8.25%, 8.10%.
- 王军庞建民傅立国岳峰单征张家豪
- 关键词：二进制翻译寄存器分配
- 一种高效解决间接转移的反馈式静态二进制翻译方法被引量：3
- 2019年
- 为了在追求程序执行效率的同时解决静态二进制翻译中的间接转移问题,针对现有间接转移问题处理方法中线性遍历翻译方式代码优化较少、冗余代码较多的缺陷,提出了基于基本块翻译的反馈式静态二进制翻译方法,并结合二级地址映射表实现了间接转移目标地址的快速映射.首先,在目标可执行程序运行过程中添加监控反馈机制解决代码发现问题,对未确定的间接转移地址进行反馈,以便对源程序重新划分基本块并重新翻译执行;然后构造二级地址映射表,借助二级地址映射快速解决代码定位问题.在开源二进制翻译平台QEMU(quick emulator)上实现了反馈式静态二进制翻译框架FD-SQEMU(feedback static QEMU),并基于SPEC2006和NBENCH测试集进行测试,与QEMU相比,FD-SQEMU平均加速比分别达到3.97倍和6.94倍;与课题组之前提出的保存源程序指令全地址的静态SQEMU翻译器相比,FD-SQEMU的平均加速比达到1.18倍,最高加速比达到了1.36倍,验证了提出的框架和方法的有效性.
- 王军庞建民傅立国岳峰张家豪
- 关键词：二进制翻译静态二进制翻译
- 二进制翻译正确性及优化方法的形式化模型被引量：1
- 2019年
- 二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不相同,却总聚焦于翻译的正确性和翻译的效率2个方面.翻译的正确性用于评判翻译前后程序在逻辑功能上是否具有等价性,而等价的证明依赖于适当的形式化模型.为了满足研究二进制翻译正确性以及翻译优化方法对理论模型的需求,对已有理论模型进行了深入的剖析,并进一步构建了新的基于后继关系的映射模型.该模型既能够形式化地描述正确翻译的二进制翻译过程所具备的性质和构造方法,也可以在翻译过程形式化描述的基础上对翻译过程优化方法的特征和性质进行描述.通过构建翻译正确性及翻译过程优化方法的形式化模型,为二进制翻译技术中关于翻译过程的实现以及优化方法的策略组合等进一步研究提供了更强的理论支撑.
- 傅立国庞建民王军张家豪岳峰
- 关键词：二进制翻译
- 面向分布存储结构的通信生成及代价评估技术研究
- 在现今主流的高性能计算系统中,分布存储结构因为具有较好的可扩展性和应用前景,成为并行编译技术研究的热点之一。在分布存储结构的并行系统中,计算节点通过网络访问异地数据的代价远高于访问本地数据的代价。因此与通信相关的技术在面...
- 傅立国
- 关键词：代码生成
- 文献传递
