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

摘要：

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

关键词：自动向量化、符号执行、人机交互、可移植性、单指令多数据

所属期刊栏目：43

分类号：TP391(计算技术、计算机技术)

在线出版日期：2016-08-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：461-466,492