基于交互信息投机并行化方法.docVIP

基于交互信息投机并行化方法 　　摘 要:针对投机并行化中如何权衡策略并确定合适的执行模型来获取理想性能的问题,提出了一种基于交互信息的投机并行化方法,利用交互信息来确定投机并行化的执行模型,建立相关评价模型,并着重从线程抽取创建角度提出了相应的策略及对应的性能评价。通过实验表明,基于交互信息进行“按需”并行化,可以达到所需的性能要求。 　　关键词:投机多线程; 线程抽取创建; 执行模型; 并行化 　　中图分类号:TP314文献标志码:A 　　文章编号:1001-3695(2010)06-2123-04 　　doi:10.3969/j.issn.1001-3695.2010.06.037 　　 　　Interaction??based speculative thread??level parallelization 　　 　　LI Ying, SUN Xu??xue, YUAN Xin??yu, XU Ying??cheng 　　 　　(College of Computer Science Technology, Zhejiang University, Hangzhou 310027, China) 　　 　　Abstract:Aiming at the problem about how to trade off between different policies and execution models to get ideal perfor?勃?mance?? in the exploration of speculative thread??level parallelism, this paper proposed an interaction??based method to exploit speculative thread level parallelism. This solution used interactive information to set up the execution model and evaluation model, especially from the view of thread extraction and spawning. The experimental results show that on demand parallelization based on interactive information can achieve the performance goal. 　　 　　Key words:speculative multi??threading; thread extraction and thread spawn; execution model; parallelization 　　 　　在并行编译中,当存在大量模糊依赖时,传统并行编译器不得不采用保守的策略来保证程序执行的正确性,这大大限制了串行程序可以挖掘的并发程度。为解决这些问题,研究人员提出了投机并行化[1],它将串行程序转换成多个投机执行的并行线程,并在运行时检查数据依赖。 　　投机并行化系统可以由纯软件实现[2,3],也可以由硬件支持[4~7]或软硬件相结合[8~10]来完成。其主要任务包括多线程抽取和多线程的投机执行。投机并行化中的开销有多种来源,找到最优的程序分解来获得性能最优是一个NP完全问题[11],不同的执行模型及实现机制会涉及不同的性能考虑,也会产生不同的开销代价。如何在各种策略中进行权衡,确定合适的执行模型以及建立对应的开销模型和性能评估,使用投机并行化来获取理想性能,这就是本文研究的问题域。 　　1 交互式投机并行化 　　1.1 概述 　　本文使用的方法是结合交互式和投机并行化,利用与用户交互获取的信息来确定投机并行化的执行模型,建立相关评价模型,“按需”并行化来达到性能要求。 　　本文使用软硬件相结合来实现投机并行化系统,其框架结构如图1所示。多线程抽取主要由静态时刻编译系统支持,包括对串行程序进行划分、多线程识别标记、进行程序变换和编译优化、生成多线程并行化代码,而多线程执行由运行时系统支持,包括多线程产生、多线程提交,使用值预测、调度及同步等技术来进行性能优化;通过硬件支持来实现对内存一致性的维护,包括检测数据依赖冲突、投机运行状态和投机数据的缓存、误投机的回滚和恢复等。 　　投机多线程并行化中存在的性能和开销评估对象主要有并行粒度、负载、内存、时间和实现复杂度五个方面,详细的性能和开销考虑点如表1所示。 　　 　　本文的主要贡献在于:a)提出交互方式进行投机多线程并行化,充分挖掘性能与执行模型及投机策略间