孟慧玲，王耀彬*，李 凌，杨 洋，王欣夷，刘志勤

（1.西南科技大学计算机科学与技术学院，绵阳四川 621010；2.四川省计算机研究院，成都 610041）

（*通信作者电子邮箱wangyaobin@foxmail.com）

0 引言

当前多核平台加速串行程序时，存在数据依赖限制以及资源利用率低等问题［1-2］，线程级推测（Thread-Level Speculation，TLS）技术［3-4］可开发出更多可用的线程级并行性，保证程序正确性的同时，提高程序性能，成为有效利用多核处理器的途径之一。该技术将需要执行的串行程序分为一个非推测线程和多个推测线程，使多个线程并行执行［5］；同时保持程序的原始顺序，打破线程间的数据依赖对线程并行执行造成的影响，减少程序执行时间，提高加速比。

威斯康星大学首次将Multiscalar［6］作为线程级推测方案提出后，各种不同的线程级推测方案开始陆续出现。例如斯坦福大学研发的Hydra 技术方案［7］、Hammond 等［8］提出的TCC（Transactional Coherence and Consistency）技术方案、卡内基梅隆大学提出的STAMPede技术方案［9］等。目前，刘斌等［10］提出了一种基于性能推测的线程循环选择方法，最终Olden 基准测试集加速比性能平均提升了12.34%；李美蓉等［11］提出了一种自适应的循环并行粒度调节方法，提升了SPEC CPU 基准测试集性能，并减少了推测开销；Salamanca 等［12］对硬件事务内存（Hardware Transactional Memory，HTM）支持与线程级推测（TLS）的循环并行化的应用进行了详细分析，并描述了在此类机器中HTM 上实现TLS 的仔细评估，实验结果表明，某些循环加速比可达到3.8。可以看出，TLS技术已在多种串行程序并行化工作中得到有效应用。

TACLeBench［13］是来自全球多个不同研究小组和工具供应商的基准测试程序集合。……