[发明专利]一种基于谓词的自动并行优化方法

摘要

本发明属于程序编译技术领域，具体为一种基于谓词的自动并行优化方法。该方法主要包括：(1)谓词的构建，通过用户程序的多种已知信息，构建程序的并行谓词，消除程序的简单依赖；(2)构建并行循环结构，在谓词条件的约束下，展开后续并行化分析，判断是否需要采纳并行谓词。并行谓词的构建基于传统的数组数据流分析和循环依赖性测试。通过构建谓词，消除由循环信息不精确而导致的循环简单依赖，从而扩大传统自动并行优化的分析范围和并行优化效果。在程序的实际执行中，如果谓词不满足，则程序执行原始串行版本，增加的判断和跳转操作对程序的总体性能几乎没有影响；如果谓词满足，则执行循环结构的并行版本，能够显著的提升程序性能。

主权项

一种基于谓词的自动并行优化方法，其特征在于基本步骤为：(1)谓词的构建；(2)基于谓词构建并行循环版本；其中：谓词的构建，是依据传统的数组数据流分析和循环依赖性分析，通过程序的已知信息推导出并行谓词，消除循环的简单依赖，发掘循环结构的并行潜力；基于谓词构建并行循环版本，是在谓词的约束条件下，判断嵌套循环能否最外层完全并行；如果能够最外层完全并行，则将谓词作为运行时的并行条件，创建循环结构的并行版本；否则，放弃假设的谓词。