发明公开
CN101944040A 一种基于谓词的自动并行优化方法
无效 - 撤回
- 专利标题: 一种基于谓词的自动并行优化方法
- 专利标题(英): Predicate-based automatic parallel optimizing method
-
申请号: CN201010281799.8申请日: 2010-09-15
-
公开(公告)号: CN101944040A公开(公告)日: 2011-01-12
- 发明人: 杨克峤 , 李弋 , 臧斌宇
- 申请人: 复旦大学
- 申请人地址: 上海市杨浦区邯郸路220号
- 专利权人: 复旦大学
- 当前专利权人: 复旦大学
- 当前专利权人地址: 上海市杨浦区邯郸路220号
- 代理机构: 上海正旦专利代理有限公司
- 代理商 陆飞; 盛志范
- 主分类号: G06F9/45
- IPC分类号: G06F9/45
摘要:
本发明属于程序编译技术领域,具体为一种基于谓词的自动并行优化方法。该方法主要包括:(1)谓词的构建,通过用户程序的多种已知信息,构建程序的并行谓词,消除程序的简单依赖;(2)构建并行循环结构,在谓词条件的约束下,展开后续并行化分析,判断是否需要采纳并行谓词。并行谓词的构建基于传统的数组数据流分析和循环依赖性测试。通过构建谓词,消除由循环信息不精确而导致的循环简单依赖,从而扩大传统自动并行优化的分析范围和并行优化效果。在程序的实际执行中,如果谓词不满足,则程序执行原始串行版本,增加的判断和跳转操作对程序的总体性能几乎没有影响;如果谓词满足,则执行循环结构的并行版本,能够显著的提升程序性能。