模调度中的数据猜测方法.pdfVIP

第 22 卷第 10 期 计算机应用与软件 Vol.22, No.10 2005 年 10 月 Computer Applications and Software Oct. 2005 模调度中的数据猜测方法 钟 明 郭振宇 汤志忠 (清华大学计算机科学与技术系 北京 100084) 摘 要 软件流水是一种重要的指令调度技术，通过重叠地执行不同的循环体来提高指令级并行性。模调度是一类重要的软件 流水调度算法。保守的相关性分析可能会引入较多的模糊相关，这阻碍了模调度生成高效的调度结果。数据猜测能克服保守的相 关性分析带来的调度限制，开发潜在的并行性。本文提出了模调度中的一种数据猜测方法，在开放源代码编译器 ORC 上实现了该 方法，并用 SPEC2000 基准程序进行了测试，实验结果表明，该方法收到了较好的效果。 关键词 软件流水 模调度 数据猜测 恢复代码 寄存器分配 A DATA SPECULATION APPROACH IN MODULO SCHEDULING Zhong Ming Guo Zhenyu Tang Zhizhong (Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China) Abstract Software pipelining is an important scheduling technique which exploits instruction level parallelism by overlapping several consecutive iterations. Modulo scheduling is a state-of-art scheme in the literature of software pipelining. Conservative alias analysis may introduce many non-definite dependencies, which prevents modulo scheduling from finding a more efficient scheduling result. Data speculation can be applied to ignore those constraints and exploit potential parallelism. This paper proposes a data speculation approach in modulo scheduling. We implement the approach in ORC and test it on SPEC2000 benchmarks. Experimental results show that the approach boosts performance effectively. Keywords Software pipelining Modulo scheduling Data speculation Recovery code Register allocation 为数据猜测提供了支持。数据猜测的一个典型例子是访存读指 1 引 言 令 ld 提前于与之模糊相关的访存写指令 st 而执行。提前的 ld