[发明专利]一种针对多核平台的二进制程序自动并行化的设计方法

摘要

本发明公开了一种针对多核平台的二进制程序自动并行化的设计方法，将多核平台中的二进制翻译成LLVM IR，然后先通过分析LLVM IR，建立控制流图来找出程序中的所有循环。静态分析循环的并行性，剔除不易并行的循环。在为循环在生成并行化代码前，对常见的内存访问依赖设定了简单的判据，加入了相应的内存地址重叠判断代码，降低了动态分析内存访问依赖引入的性能损失。然后将循环拆分到两个核上运行，重写LLVM IR生成并行化代码。该方法能够在无法获取二进制程序源码的情况下分析和提取二进制中的可并行性，并自动生成对应的可多核并行化的二进制程序，从而达到利用多核平台对原程序进行加速的效果。

主权项

1.一种针对多核平台的二进制程序自动并行化的设计方法，其特征在于，包括以下步骤：步骤一，将多核平台中的二进制程序翻译成LLVM IR；步骤二，分析LLVM IR，得到LLVM IR的控制流图CFG，通过控制流图CFG找到LLVM IR中函数内所有的循环；步骤三，对找到的所有循环分别进行静态分析，剔除所有没有并行化可能的循环；其中，剔除的没有并行化可能的循环包括以下几种：第一类，含有多个不同循环退出条件的循环；第二类，循环体内具体执行顺序会影响循环结束后程序运行，且该影响不能被消除的循环；第三类，含有非迭代子类型的标量依赖的循环，以及含有迭代子类型的标量依赖，且控制该标量迭代的参数不恒定的循环；第四类，含有多分支的循环中不同分支迭代子更新情况不一致的循环；第五类，含有多分支的循环中有分支间标量依赖的循环；第六类，循环退出条件不满足以下条件的循环：循环退出的比较指令的一个参数是和某迭代子相关的线性函数，且另一个参数是和任何迭代子都不相关的循环内恒定量；步骤四，基于剩余的所有具有并行化可能的循环来重写LLVM IR，判断所有具有并行化可能的循环中是否存在内存访问依赖，若存在内存访问依赖，则按原循环的流程执行，若不存在内存访问依赖，则对原循环进行并行化处理，生成并行化代码。