一个面向任务图并行程序错误检查工具.PDFVIP

第 44 卷第3 期 计算机科学 Vo1. 44 NO.3 COMPUTER SCIENCE 岛1ar.2017 2017 年 3 月 一个面向任务图并行程序的错误检查工具 刘艳挪陈莉唐生林 (中国科学院计算机研究所 北京 100190) 摘 要 AceMesh 是一种基于数据流描述的任务并行编程语言，它允许程序员从串行程序出发，追加并行区域、并行 循环的制导以及任务区的数据访问信息，AceMesh 编译系统则自动把该程序转化为异步任务图并行的程序。分析了 AceMesh 程序改写中常见的并行化错误，介绍了其错误检查工具 AceMeshCheck 的结构，描述了访存轨迹的高效收 集、存储方法以及逻辑形状推导的三维压缩算法。实验表明，AceMeshCheck 不仅能分析出制导程序中的典型错误， 而且开销较小。 关键词 任务并行语言，数据流信息，错误检查，动态分析，网格应用 中图法分类号 TP321 文献标识码 A 001 10. 11896/j. issn. 1002-137叉 2017.03.010 Error Checking Tool for DAG-based Task Parallel Progr创ns LIU Yan-na CHEN Li TANG Sheng-1in CInstitute of Computing Technology ,Chinese Academy of Sciences ,Beijing 100190 ,China) Abstract AceMesh is a dataflow-driven task paralle1 progr但丑rning language ,which allows prograrnrners to parallelize traditional C/C+十 program by using pragmas marking paralle1 regions ,paralle1100ps and task regions with data inputs and outputs description. Then the program can be translated to a DAG-based task paralle1 program ,being built depen dency graphs at runtirne and schedu1ed to multicore platforms efficiently. This paper ana1ysed typica1 errors which may exhibit in parallelizing AceMesh programs ,and introduced AceMeshCheck ,a debug tool for thern. The paper presented the implementation details of the tool ,and discussed how it reduces the overhead of memory trace collection ,and how to rebui1d the three dimensiona1 ,rectangu1ar access regions from linearized memory access sequences. Experimenta1 results show that the too1 can ide