中国科学技术大学学报 ›› 2019, Vol. 49 ›› Issue (1): 15-20.DOI: 10.3969/j.issn.0253-2778.2019.01.003

• 原创论文 • 上一篇    下一篇

一种先进的扁平化谓词及编译优化方法

王向前   

  1. 1.安徽大学互联网学院,安徽合肥 230039;2.中国科学技术大学计算机科学与技术学院,安徽合肥 230027
  • 收稿日期:2018-05-29 修回日期:2018-09-18 出版日期:2019-01-31 发布日期:2019-01-31
  • 通讯作者: 郑启龙
  • 作者简介:王向前,男,1985年生,博士/高级工程师,研究方向:编译优化,E-mail: forward@mail.ustc.edu.cn
  • 基金资助:
    国家核高基重大专项(2012ZX01034001-001)资助.

An advanced flat predicate mechanism and compiling optimization method

WANG Xiangqian   

  1. 1. School of Internet , Anhui University, Hefei 230039, China; 2. School of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
  • Received:2018-05-29 Revised:2018-09-18 Online:2019-01-31 Published:2019-01-31

摘要: 谓词执行是有效挖掘控制流程序指令级并行性的一种机制.经典的谓词实现一般局部地逐个进行谓词计算而不能进行多谓词控制,有谓词计算路径过长等问题.针对经典谓词存在的问题,提出一种先进的扁平化谓词的实现方法,这种扁平化谓词可以全局地进行谓词计算,可以自然地进行多谓词控制.在此基础上,研究扁平化谓词的编译优化方法,给出了扁平化谓词编译优化框架.实验表明,本文提出的扁平化谓词及编译优化框架可以很好地提高多条件控制程序的执行效率.

关键词: 谓词, 多谓词, 扁平化谓词, 编译优化

Abstract: Predicate execution is a valid method to develop instructions parallelism in programs with control flow. Predicate computation is done one by one locally in the process of classic predicate for which multi-predicate control is forbidden. This may cause some problems such as long predicate implementation computation path. To solve these problems, an advanced flat predicate mechanism is proposed, which can do predicate computation globally, and perform multi-predicate control naturally. Then, compiling method for the flat predicate mechanism is researched, and a compiling framework for the flat predicate mechanism is presented. Experiments show that the flat predicate mechanism and compiling implementation framework can better enhance the executive efficiency of multi-condition programs.

Key words: predicate, multi-predicate, flat predicate, compiling optimization