李颖颖 作品数:12 被引量:24 H指数:3 供职机构: 解放军信息工程大学 更多>> 发文基金: 国家自然科学基金 国家科技重大专项 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
基于SIMD扩展部件的嵌套循环向量并行的实现方法及其装置 本发明涉及一种基于SIMD扩展部件的嵌套循环向量并行的实现方法及其装置,该方法包含:通过设定破环测试参数对待并行化程序区域进行依赖环破除测试,将SIMD扩展部件对应于待并行化程序区域中循环的局部并行,通过循环分段发掘待并... 李颖颖 庞建民 徐金龙 韩林 李雁冰 王琦发掘函数级单指令多数据向量化的方法 2017年 当前面向单指令多数据(SIMD)扩展部件的两类向量化方法分别是循环级向量化方法和超字级并行(SLP)方法。针对当前编译器不能实现函数级向量化的问题,提出一种基于静态单赋值的函数级向量化方法。该方法首先分析程序的变量属性,然后利用一组包括向量函数子句、一致子句、线性子句等编译指示子句指导编译器实现函数级向量化,最后利用变量属性结果对向量化代码进行了优化。从多媒体和图像处理领域选择部分测试用例对所提的函数级向量化的功能和性能在国产申威平台上进行测试,与程序串行执行相比,采用函数级向量化后程序的执行效率更高。实验结果表明函数级向量化可以取得类似任务级并行的加速效果,该方法可以指导自动函数级向量化的实现。 李颖颖 高伟 高雨辰 翟胜伟 李朋远关键词:并行性 一种基于剪切的SLP向量化方法 2018年 作为多媒体和科学计算等领域重要的程序加速器件之一,SIMD扩展部件现已广泛集成于各类处理器中。自动向量化方法是目前生成SIMD向量化程序的重要手段。超字并行SLP(superword level parallelism)方法现已广泛应用于编译器中,并成为实现基本块级代码向量化的主要手段。SLP在进行收益评估时仅考虑代码段整体向量化的收益,并没有考虑到向量化收益为负的片段会降低最终整体的向量化收益,从而导致SLP方法无法达到最好的向量化效果。基于此,提出了一种基于剪切的SLP向量化方法(throttling SLP,TSLP)。通过寻找最优的向量化子图,去除了向量化收益为负的代码段,从而可以获得更好的向量化效果。通过标准测试程序的实验结果表明,与原来的SLP方法相比,TSLP方法平均能够获得9%的性能提升。 李颖颖 奚慧兴 奚慧兴 高伟 翟胜伟关键词:自动向量化 基于多元线性回归预测模型的sensor态势研究 被引量:6 2011年 由于系统漏洞层出不穷,网络管理员也不容易获得用户主机的安全态势,如何在攻击者利用漏洞之前,对网络中用户主机的漏洞、脆弱性进行自动发现成为保障计算机网络安全、平稳运行的关键问题。文中针对多元线性回归预测模型算法,首先利用最小二乘法实现对多元线性回归方程的求解,然后利用"t-检验"检验回归系数的显著性,实现对sensor安全的精确预测,使网络管理员能直观了解到sensor的全状况,以寻求最低的事故率、最少的损失和最优的安全投资效益。 张俭鸽 李颖颖关键词:漏洞 最小二乘法 基于多面体模型的编译“黑魔法” 被引量:11 2018年 基于多面体模型的编译技术发展近30年,已经在多个开源编译器和商业编译器中得到了应用和实现.与传统的编译优化模型相比,多面体模型具备应用范围广、表示能力强、优化空间大等优点,代表了程序自动并行化领域众多方向最先进的水平,成为国际上多个编译研发团队的研究热点;同时,多面体模型抽象程度高、实现难度大、面临问题多的特征,阻碍了基于该模型的编译技术在发展相对滞后地区的普及,形成国内专门从事该问题研究的团队屈指可数的现象.为了打开多面体模型的"黑盒子",首先描述了多面体模型的原理,揭示了基于多面体模型的编译流程,并指出了该领域的主要研究内容;接下来,从程序并行性、数据局部性和其他领域上的扩展应用这3个方面对该领域上的研究进展进行了介绍;最后,对该研究领域当前面临的挑战和潜在的研究方向进行了总结.研究目的是通过回顾和总结基于多面体模型的编译技术研究进展,为国内编译研发团队提供重要参考,以期推动我国在该领域上的发展. 赵捷 李颖颖 李颖颖关键词:并行性 调度 代码生成 基于SIMD扩展部件的嵌套循环向量并行的实现方法及其装置 本发明涉及一种基于SIMD扩展部件的嵌套循环向量并行的实现方法及其装置,该方法包含:通过设定破环测试参数对待并行化程序区域进行依赖环破除测试,将SIMD扩展部件对应于待并行化程序区域中循环的局部并行,通过循环分段发掘待并... 李颖颖 庞建民 徐金龙 韩林 李雁冰 王琦文献传递 一种改进的控制流SIMD向量化方法 被引量:3 2017年 SIMD扩展部件是近年来集成到通用处理器中的加速部件,旨在发掘多媒体和科学计算等程序的数据级并行.控制依赖给发掘程序中的数据级并行带来了阻碍,当前,无论基于loop-based还是SLP的控制流向量化方法都需要if转换,而没有考虑循环内蕴含的向量并行度,导致生成的向量代码效率较低.此外,不精确的代价模型指导控制流向量化,同样导致生成的向量代码效率较低.为此,提出了改进的控制流SIMD向量化方法.首先,提出了含有控制依赖的循环分布算法,分离循环的可向量化部分和不可向量化部分,同时考虑分布时数据的局部性;其次,提出了一种直接向量化控制流的方法,该方法考虑了基本块间的向量重用;最后,利用精确的代价模型指导超字选择指令和超字条件分支指令的生成.实验结果表明:与现有的控制流向量化方法相比,改进方法生成的向量代码性能提高了24%. 高伟 李颖颖 孙回回 李雁冰 赵荣彩关键词:数据依赖 编译课程体系建设刍议 2016年 针对大学计算机专业编译课程教学实际,分析了编译课程在计算机人才培养过程中的重要性;通过对国内外知名高校编译课程设置的梳理以及编译技术最新进展的研究,结合国家自主安全可控计算机生态链建设的需求,提出了构建编译课程体系的初步构想。 韩林 李颖颖关键词:课程体系 到货管理模块支持MDA的PIM建模 2011年 MDA的核心工件是模型,它定义了平台独立模型(Platform Independent Model,PIM)和平台相关模型(Platform Specific Model,PSM),其目标是借助工具实现模型间自动变换。MDA软件开发生命周期的第一步就是构建PIM,本文以到货管理模块为例,详细阐述了支持MDA进行PIM建模的具体实现过程。 李颖颖 张俭鸽关键词:模型驱动架构 平台独立模型 平台相关模型 统一建模语言 一种面向众核处理器的嵌套循环多维并行识别方法 被引量:3 2018年 现有循环并行识别方法用于众核处理器时存在一定不足,当选择的循环并行维迭代数较少时可能导致严重的负载不均衡。针对这一问题,提出了一种面向众核处理器的多维并行识别方法。在现有并行识别方法无法做到较好的负载均衡时,选择嵌套循环的多个维进行并行,将多个并行维的迭代空间合并后再作任务划分,减少负载不均衡对程序并行效率的影响。此方法在已开发的自动并行化系统中进行了实现,实际应用过程中能够很好地提升一些应用程序在众核处理器上并行执行的效率。 李颖颖 李颖颖 李雁冰 庞建民关键词:自动并行化