领域专家协同的并行编译方法研究

项目名称： 领域专家协同的并行编译方法研究

项目编号： No.61202055

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 崔慧敏

作者单位： 中国科学院计算技术研究所

项目金额： 25万元

中文摘要： 传统编译方法由于缺少对程序高层抽象语义的理解，因此丧失了很多优化机会，导致编译器取得的性能远远落后于领域专家，这一情况在多核、众核平台上尤为突出。本项目以此为出发点，研究如何从编译方法学本身取得突破，解决传统编译方法在适配性、成长性、可控性方面的局限性，构建一个能够持续集成领域专家经验的并行编译系统。研究内容包括：1.针对适配性，研究领域专家优化经验的的形式化表达方法。该方法以程序高层抽象语义作为载体，研究语义的表达机制及向编译器的传递机制；2.针对成长性，研究可扩展语义的并行编译框架。该框架以程序语义作为优化策略的指导，研究自动根据语义为其选择最匹配编译优化策略的方法；3.针对可控性，研究细粒度的优化策略调整机制。利用组件化松耦合的优化模块技术，研究无缝的中间表示衔接方法以及策略构建时的正确性和效率保证方法。通过本项目的研究，提出一种新的领域专家协同的并行编译方法，提高硬件资源的利用率。

中文关键词： 编译优化；语义；并行编译；模式匹配；

英文摘要： As the microprocessor industry evolves towards multi/many-core architectures, the challenge in utilizing the tremendous computing power and obtaining acceptable performance will grow. Application-specific compiler optimizations are known to deliver high p

英文关键词： Compiler optimization；Semantic；Parallel compilation；Pattern matching；