基于符号执行和人机交互的自动向量化方法

• 作者: 徐超 陈勇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 自动向量化 符号执行 人机交互 可移植性 单指令多数据
• 年，卷（期）: 2016,（z1）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 461-466,492
• 页数: 7页
• 分类号: TP391
• 字数: 5594字
• 语种: 中文

摘要

自动向量化技术是一种针对单指令多数据(SIMD)向量化计算单元的并行编译优化技术,它能够自动将源程序中多个相同标量操作合并为一个向量操作,从而提升系统吞吐量.随着SIMD向量化计算单元的广泛应用,自动向量化技术已经成为学术界和商业界的研究热点.针对现有自动向量化技术可向量化模块识别难、向量化优化方案选择难、可移植性差等问题,提出了一种基于符号执行和人机交互的自动向量化方法.首先借助于符号执行技术,获得较好的可移植性和较高的可向量化模块识别率;然后利用人机交互技术选择出理想的向量化方案.应用示例及实验结果表明,该方法具有较好的可操作性,能够有效提升自动向量化技术的优化效果和可移植性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈勇	中国电子科技集团公司第十四研究所	35	123	8.0	9.0
2	徐超		18	24	4.0	4.0