首页 期刊 中国科学技术大学学报 一种先进的扁平化谓词及编译优化方法 【正文】

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

作者:王向前; 郑启龙; 张仁高; 韩东科 安徽大学互联网学院; 安徽合肥230039; 中国科学技术大学计算机科学与技术学院; 安徽合肥230027
谓词   多谓词   扁平化谓词   编译优化  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅