多核平台上基于可声明并行性的程序优化框架

来源期刊：东北大学学报(自然科学版)2011年第1期

论文作者：杨春阳 段勃勃 袁淮 刘积仁

文章页码：22 - 26

关键词：TStreams模型;多核;可声明并行性;程序优化框架;自动并行化;

摘    要：针对多核体系平台上充分、有效地发掘目标程序中各种可用并行性的需求,通过引入"层次关系"、"等价关系"和"特性权重"的支持,提出了一种扩展的TStreams模型,并在此基础上实现了一个基于可声明并行性的程序并行优化框架(FAPOF).该框架支持用户对算法的并行特性进行多角度、多粒度的描述并指定适用的各类并行优化规则.基于用户描述,框架可以编译驱动的方式评估各种优化决策的组合,以半自动化的方式对目标程序进行并行优化.由此可将优化过程中程序员原本复杂、困难的并行优化的"决策"工作转化为可用并行性的"描述"工作.实验结果表明,此方法显著地降低了并行优化的难度,提高了并行优化的效率.