线程级猜测并行系统代码自动生成工具的设计与实现

摘要

虽然线程级猜测(Thread Level Speculation,TLS)执行机制可以简化多线程编程模型接口,并能获得较高的性能加速,但其并行程序的开发仍然比较困难.面向一个高效的软件TLS模型HEUSPEC,研究了代码自动生成工具C2H的设计与实现方法.具体包括三部分内容:首先为HEUSPEC设计了简单的标注语句,标注出可并行段的一些特征.其次,提出了将标注语句和可并行段转换为猜测线程函数的算法.最后设计了生成HEUSPEC并行代码的算法.该方法已在开源编译器Clang上实现.面向Rodinia、OmpScr等基准程序的测试结果表明,C2H能够将带有简单标注语句的串行C代码转换为HEUSPEC并行代码,且其性能与手工生成的HEUSPEC并行代码十分接近.