[发明专利]C程序并行区域的检测方法

摘要

本发明公开了一种C程序并行区域的检测方法，其特征在于，包括以下步骤(1)对源文件中系统头文件以外的部分进行预编译；(2)将预编译后的源代码连同系统头文件进行编译并进行动态分析；(3)向预编译后得到的源代码中插入动态分析结果，得到中间文件；(4)对所述中间文件进行静态分析，生成程序调用图；(5)结合所述程序调用图，检测C程序中的任务并行区域、流水任务并行区域以及数据并行区域。本发明提出一种动静态结合的检测方法，该方法能够在得到以函数和循环为单元的程序调用图的基础上，进一步动态分析程序各部分各种粒度并行的可能性。

主权项

一种C程序并行区域的检测方法，其特征在于，包括以下步骤：(1)对源文件中系统头文件以外的部分进行预编译；(2)将预编译后的源代码连同系统头文件进行编译并进行动态分析；(3)向预编译后得到的源代码中插入动态分析结果，得到中间文件；(4)对所述中间文件进行静态分析，得到AST，遍历该AST得到调用树，对调用树进行遍历，转化为图形描述文件格式，再转化为图片格式的生成程序调用图；(5)结合所述程序调用图，检测C程序中的任务并行区域、流水任务并行区域以及数据并行区域；任务并行检测时，对两个任务进行判断，若这两个任务能够并行，且这两个任务之间没有依赖关系，则将这两个任务对应的区域判定为任务并行区域；流水任务并行检测时，选定一个循环，使用脚本自动在循环前后和循环体中插入指令，以提示进出循环和当前轮次；在进入循环之后，维护一个变量指示当前的迭代数，每次遇到循环体中的指令后，都会对迭代数自增；对于循环体中的每个函数，都在函数名后加入迭代数后缀，以标识不同的迭代；分析循环体中各函数之间的依赖；针对写操作，检测对于连续地址的连续写操作，如果连续写入的地址相差恒定不变，那么在连续写入次数超过阈值之后，就将当前区域判定为数据并行区域；针对读操作，检测两个连续地址的连续读操作，如果每个连续地址上连续读的地址相差恒定不变，那么在连续读次数超过阈值之后，就将当前区域判定为数据并行区域。