软件学报

作者：马春燕，吕炳旭，叶许姣，张雨

单位：马春燕，西北工业大学 软件学院, 陕西 西安 71012911,吕炳旭，西北工业大学 软件学院, 陕西 西安 71012902,叶许姣，西北工业大学 软件学院, 陕西 西安 71012903,张雨，海南大学 计算机科学与技术学院, 海南 海口 57022804

关键词：复杂嵌套循环;自动并行化;LLVM Pass;依赖分析

基金：国家自然科学基金（62192733，62062030）；航空基金（20185853038，201907053004）

随着多核处理器的普及应用，针对嵌入式遗留系统中串行代码的自动并行化方法是研究热点.其中，针对具有非完美嵌套结构、非仿射依赖关系特征的复杂嵌套循环的自动并行化方法存在技术挑战.提出了一种基于LLVM Pass的复杂嵌套循环的自动并行化框架（CNLPF）.首先，提出了一种复杂嵌套循环的表示模型，即循环结构树，并将嵌套循环的正则区域自动转换为循环结构树表示；然后，对循环结构树进行数据依赖分析，构建循环内和循环间的依赖关系；最后，基于OpenMP共享内存的编程模型生成并行的循环程序.针对SPEC2006数据集中包含近500个复杂嵌套循环的6个程序案例，分别对其进行复杂嵌套循环占比统计和并行性能加速测试.结果表明，提出的自动并行化框架可以处理LLVMPolly无法优化的复杂嵌套循环，增强了LLVM的并行编译优化能力，且该方法结合Polly的组合优化，比单独采用Polly优化的加速效果提升了9%-43%.

来源：2023年第7期

《软件学报》期刊编辑部

查看软件学报杂志2023年第7期