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

摘要

AceMesh是一种基于数据流描述的任务并行编程语言,它允许程序员从串行程序出发,追加并行区域、并行循环的制导以及任务区的数据访问信息,AceMesh编译系统则自动把该程序转化为异步任务图并行的程序.分析了AceMesh程序改写中常见的并行化错误,并介绍了其错误检查工具AceMeshCheck的结构,描述了访存轨迹的高效收集和存储方法以及逻辑形状推导的三维压缩算法.实验表明,AceMeshCheck能分析出制导程序中的典型错误,且开销较小.AceMeshCheck能帮助用户定位AceMesh程序中并行相关的错误，提供有用的反馈信息，从而降低AceMesh应用的并行化难度。相比StarSscheck，本工作的特色有，能检查一些全局性的错误;能解决网格应用中多维逻辑区域的形状识别问题。未来需要增加AceMesh编译器对AceMeshCheck的支持，自动把AceMesh制导转化为工具的宏功能接口。此外，也需要进一步降低工具的时间开销，使其性能接近Memcheck。