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