吕方 作品数:44 被引量:32 H指数:4 供职机构: 中国科学院计算技术研究所 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
一种对编译器中的错误进行自动定位的方法 本发明公开了一种对编译器中的错误进行自动定位的方法,包括:编译器编译应用程序的源文件,得到应用程序的目标文件集合;定位应用程序中出错的目标文件;从所得到的出错目标文件中定位出错函数;从所得到的出错函数中定位可能引起错误的... 吕方 张军超 连瑞琦 吴承勇文献传递 一种使用空闲寄存器类作为快速溢出空间的优化方法 本发明公开了一种使用空闲寄存器类作为快速溢出空间的优化方法。该方法包括下列步骤:计算活跃区间的溢出代价并采用插桩工具以及静态分析汇编代码相结合的方式对应用程序中的溢出代价进行评估;在原有寄存器分配中,为每个应用程序确定合... 吕方 冯晓兵 杨扬 张超 王蕾文献传递 用于编译器代码检测的规则扩充方法 本发明提供一种用于编译器代码检测的规则扩充方法,包括:步骤1)判断新扩充规则的所属类别;步骤2)在所述所属类别中查找与所述新扩充规则相近的已实现规则,推荐与所述新扩充规则相近的已实现规则的调用点;其中,规则的类别是对所有... 吕方 李浩 冯晓兵文献传递 一种使用陷阱指令优化条件转移代码性能的方法及其系统 本发明有关于一种使用陷阱指令优化条件转移代码性能的方法及其系统,其中该方法包括:步骤1,收集程序的轮廓信息,根据轮廓信息获取符合条件的分支指令;步骤2,将符合条件的分支指令转换成陷阱指令,并将陷阱指令的地址及其陷入地址记... 周舒畅 黄磊 吕方文献传递 面向大数据处理的基于Spark的异质内存编程框架 被引量:9 2018年 随着大数据应用的发展,需要处理的数据量急剧增长,企业为了保证数据的及时处理并快速响应客户,正在广泛部署以Apache Spark为代表的内存计算系统.然而TB级别的内存不但造成了服务器成本的上升,也促进了功耗的增长.由于DRAM的功耗、容量密度受限于工艺瓶颈,无法满足内存计算快速增长的内存需求,因此研发人员将目光逐渐移向了新型的非易失性内存(non-volatile memory,NVM).由DRAM和NVM共同构成的异质内存,具有低成本、低功耗、高容量密度等特点,但由于NVM读写性能较差,如何合理布局数据到异质内存是一个关键的研究问题.系统分析了Spark应用的访存特征,并结合OpenJDK的内存使用特点,提出了一套管理数据在DRAM和NVM之间布局的编程框架.应用开发者通过对本文提供接口的简单调用,便可将数据合理布局在异质内存之中.仅需20%~25%的DRAM和大量的NVM,便可以达到使用等量的DRAM时90%左右的性能.该框架可以通过有效利用异质内存来满足内存计算不断增长的计算规模.同时,"性能/价格"比仅用DRAM时提高了数倍. 王晨曦 吕方 吕方 曹婷 崔慧敏 曹婷 冯晓兵关键词:SPARK 编程框架 安全规则检测方法和系统 本发明提供了全局性安全规则检测方法和系统,其中根据设定的全局安全规则在编译器前端从源程序中提取与所述全局安全规则相关的信息并将其保存在与该源程序对应的中间文件中;遍历所有中间文件中保存的信息以检测其是否符合所述全局安全规... 朱薪豪 吕方 卢廷玉 冯晓兵 姚鹏飞 黄磊文献传递 一种基于反馈信息的地址寄存器提升方法 2009年 在MIPS,ALPHA,SPARC和PowerPC等体系结构中,对全局变量和静态变量的访问一般采用间接寻址的方式.由于变量地址和变量值不在同一数据段,使得数据访问的局部性不好.这样,每次访问变量地址会导致大量冗余的数据cache不命中访存操作.此外,这种寻址方式会产生两条连续的有数据依赖的操作,降低了程序的指令级并行性.提出了基于反馈信息的地址寄存器提升算法(address register promotion based on feedbacks,ARPF).该算法减少了对全局变量地址和静态变量地址的冗余访问,提高了程序的ILP(instruction level parallelism),同时避免了由于寄存器压力增加导致性能下降.在龙芯编译器①上实现了该算法.实验表明ARPF对SPEC CPU2000INT所有测试用例有1%~6%的性能提升. 张超 吕方 王蕾 冯晓兵关键词:指令级并行 编译器中激进蝴蝶优化方法的研究与实现 2021年 编译优化技术的目的是挖掘程序中的优化空间,提高程序编译或运行效率,无效代码删除优化是被广泛使用的编译优化技术之一,它旨在删除程序中不可达的代码,以提升程序的执行效率。许多应用程序的执行路径往往与运行时的输入参数值相关,并且在一些分支路径上与运行时参数值相结合,可能存在无效代码,通过现有的无效代码删除优化,很难做出优化处理。为此,提出一种依赖数据流分析的激进蝴蝶优化方法,利用SSA中间表示,根据动态运行时的参数可能值,自动为程序生成代码形状类似蝴蝶(butterfly)的分支代码,使编译器在程序编译阶段为相关优化提供可行的优化依据。最后通过实验验证了该方法的有效性和可行性。 朱广林 吕方 赖庆宽 陈华英 何先波关键词:数据流分析 为内存控制器分配硬件加速指令的方法和装置 本发明实施例提供一种为内存控制器分配硬件加速指令的方法和装置。该方法包括:按照多个硬件加速指令之间的依赖关系将多个硬件加速指令划分为不同的指令集合;按照将硬件加速指令之间无依赖关系的不同指令集合分配给不同的内存控制器的原... 王晨曦 吕方 冯晓兵 刘颖文献传递 异构数据中心中自适应编程环境技术的研究与应用 冯晓兵 赵家程 崔慧敏 刘颖 王蕾 吕方 陈莉 唐生林 霍玮 李丰 衷璐 随着云计算、互联网与物联网技术的快速发展,数据中心已经成为核心的计算和服务提供方。而伴随着大数据处理、高通量计算、人工智能等多样化应用在数据中心的广泛部署,传统的通用处理器难以满足来自于应用的性能、功能、延迟的多维度需求...关键词:关键词:数据处理方法