随着计算机体系结构技术和芯片制造工艺的不断发展进步,众核化、异构化成为CPU体系结构发展的主要趋势。这给并行编程模型提出了新的要求,即既要保持代码的简洁,又能有效开发粗粒度并行。线程级猜测并行模型以简洁的代码标识程序中可能的并行区域,能够较好地满足这一要求。线程级猜测并行模型的简洁性是由编译器保证的,即编译器应能自动地将标注后的串行代码转换为可并行的代码。本文在深入分析线程级猜测并行模型HEUSPEC的基础上,基于Clang编译器前端设计实现了一个能够自动将C语言串行程序转换为HEUSPEC并行程序自动转换工具,C2H,在很大程度上减少了编写HEUSPEC并行程序的工作量、降低了学习、使用HEUSPEC并行编程模型的难度。本文的主要工作和创新点体现在以下三点:1、分析了HEUSPEC并行编程模型,在深入剖析HEUSPEC并行程序结构的基础上,提出了将串行C程序转换为HEUSPEC并行程序的流程:首先,获取串行C程序中的可并行段,标识出其中的冲突变量和本地变量;其次,根据上述信息生成HEUSPEC并行程序的主函数部分及猜测线程函数部分;最后,得到完整的HEUSPEC并行程序。2、串行代码中的循环结构是主要的可并行区域。本文深入分析了串行C程序中的三种循环结构,指出串行C程序中的可并行段一般为while循环和for循环,并分别提出了将它们转换为HEUSPEC并行代码的方法。3、本文基于Clang编译器设计了代码自动生成工具C2H,实现了串行C程序到HEUSPEC并行程序的自动转换。最后,本文在Intel?Core?i5-3200四核处理器平台上对C2H的功能和性能进行了测试。测试结果表明,由C2H生成的HEUSPEC并行程序不仅符合HEUSPEC并行程序的编写规范、具有很好的可读性,而且在性能上接近程序员手工编写的代码。本文所设计并实现的C2H代码自动生成工具很好地解决程序员手工开发HEUSPEC并行程序效率低下的问题,有效降低了程序员的工作量,提高了HEUSPEC并行编程模型的易用性。