公开(公告)号：CN103226513B

公开(公告)日：2015-12-09

申请号：CN201310147595.9

申请日：2013-04-25

Applicant: 中国人民解放军信息工程大学

Inventor： 单征 ,  庞建民 ,  姚远 ,  赵捷 ,  丁锐 ,  刘晓娴

IPC: G06F11/36

Abstract: 本发明涉及一种分析程序指令之间依赖关系的方法，属于高性能计算中并行化编译优化技术领域，特别是涉及一种基于二次规划模型的非线性下标表达式的依赖测试方法，本发明针对传统依赖测试方法对非线性依赖测试的不足，通过对循环索引边界约束条件下二次下标表达式的极值分析，将二次表达式的依赖测试抽象为一种二次规划的非线性规划问题，构造一种针对二次下标表达式依赖测试方法的可行方法，判定被测数组对之间的依赖，从而有效提高判定依赖和并行识别的能力。

公开(公告)号：CN103226513A

公开(公告)日：2013-07-31

申请号：CN201310147595.9

申请日：2013-04-25

Applicant: 中国人民解放军信息工程大学

Inventor： 单征 ,  庞建民 ,  姚远 ,  赵捷 ,  丁锐 ,  刘晓娴

IPC: G06F11/36

Abstract: 本发明涉及一种分析程序指令之间依赖关系的方法，属于高性能计算中并行化编译优化技术领域，特别是涉及一种基于二次规划模型的非线性下标表达式的依赖测试方法，本发明针对传统依赖测试方法对非线性依赖测试的不足，通过对循环索引边界约束条件下二次下标表达式的极值分析，将二次表达式的依赖测试抽象为一种二次规划的非线性规划问题，构造一种针对二次下标表达式依赖测试方法的可行方法，判定被测数组对之间的依赖，从而有效提高判定依赖和并行识别的能力。