低功耗多线程编译优化技术.PDFVIP

1000-9825/2002/13(06)1123-07 ©2002 Journal of Software 软 件 学 报 Vol.13, No.6 低功耗多线程编译优化技术 1 1 1 2 赵荣彩 , 唐志敏 , 张兆庆 , Guang R. Gao 1( 中国科学院 计算技术研究所,北京 100080); 2(Delaware 大学 电子与计算机工程系, Newark, DE 19716-3130,美国) E-mail: rczhao@ 摘要: 提出了在多线程体系结构中通过降低执行频率有效减小功耗的理论模型和方法.首先研究识别可降频运 行的线程的计算模型和降频因子的计算,然后给出在编译过程中基于对应用程序行为的分析,结合线程划分的 低功耗编译优化算法和实现策略.该模型和方法可用于具有执行频率可动态调整的多处理器类多线程体系结 构,既可开发TLP(thread level parallelism),又可有效减小功率消耗. 关 键 词: 多线程;低功耗;编译优化;并行处理;计算机体系结构 中图法分类号: TP311 文献标识码: A 在现代的计算机系统中,编译器和处理器结构是密切相关的, 因此,大部分后端编译优化都是特定于目标系 统的具体结构和实现特征的.这种处理的首要目标就是提高系统的效率和性能.多年来的研究工作都是致力于 最优化系统功能部件的利用率和充分开发应用的并行性,如指令级并行(instruction level parallelism,简称ILP) 、 线程级并行(thread level parallelism,简称TLP) 、任务级并行等.随着近年来支持多现场(context)执行的不同体系 结构的研究和发展,开发TLP 的潜力和研究意义更为突出[1].开发TLP 主要是通过提高多现场同时执行的并行 度以及用一个线程的并行执行来容忍(torlerate)或隐藏(hiding)另一线程的长延迟操作来提高整个系统的性 能[2,3].尤其是,细粒度线程级并行的开发是目前体系结构和编译研究努力追求的主要目标之一.它要求硬件结 [4] 构在不同现场间线程切换的开销减至最小甚至零开销 ,要求编译对体系结构的特征更有针对性,对应用程序 的行为分析更为精细和准确. 编译技术研究除了追求应用程序运行效率的最优化之外,通过编译对应用程序行为的充分分析,对不显著 响程序运行性能的条件下最小化系统或处理器的运行功耗的研究工作在近期倍受关注[5~8] .这是电路级设计多 年来一直追求但又不能涉足的有效降低功耗的一个潜在领域.因此,低功耗研究必须走出电路技术和低层设计 的限制.处理器的能量和功率消耗在移动计算、嵌入应用和高性能处理器设计中已成为明显的发展瓶颈,当最 大功率消耗成为关键的设计限制时,最大化性能/功耗比也就是最大化性能了. 多线程处理器因其吞吐率高,使得它在很多低功耗和功率受限设备的设计和应用中具有很大的吸引力.这 是由于多线程结构允许线程选择机制和指令动态分配机制有更大更灵活的调度和权衡空间, 因此,在低功耗优 化的研究上更有潜力. 目前,在单线程、超标量结构上已有通过编译指导的频率动态调整降低功耗的相关研究[5,7],也有不少通过 其他编译优化或体系结构级硬件实现降低功耗的相关研究[6,8] .在基于不同结构的多线程划分方面已有很多研 收稿日期: 2001-12-25; 修改日期: 2002-03-1 1 基金项目: 国家高技术研究发展计划资助项目(2001AA 111070) 作者简介: 赵荣彩(1957 －), 男,河南洛阳人,教授,主要研究领域为体系结构,先进编译技术;唐志敏( 1966－), 男,江苏苏州人,博 士,研究员,博士生导师,主要研究领域为计算机体系结构,并行计算,VLSI 设计;张兆庆(1938 －),女,北京人,研究员,博士生导师,主要研 究领域为先进编译及相关工具环境;Guang R. Gao(1945 －),男,北京人,教授,博士生导师,主要研究领域为计算机体系结构,并行计算, 先进编译. 1124 Journal of Software 软件学报 2002,13(6) 究, 由Guang R. Gao 领导的CAPSL 实验室在EARTH 项目