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

第44卷 第 3期 计 算 机 科 学 Vo1．44No．3 2017年 3月 COMPUTER SCIENCE Mar．2017 一 个面 向任务图并行程序的错误检查工具 刘艳娜 陈 莉 唐生林 (中国科学院计算机研究所 北京 1O019O) 摘 要 AceMesh是一种基于数据流描述的任务并行编程语言，它允许程序员从 串行程序 出发，追加并行区域、并行 循环的制导以及任务区的数据访 问信息，AceMesh编译系统则 自动把该程序转化为异步任务图并行的程序。分析 了 AceMesh程序改写中常见的并行化错误，介绍 了其错误检查工具AceMeshCheck的结构，描述了访存轨迹的高效收 集、存储方法以及逻辑形状推导的三维压缩算法。实验表明，AceMeshCheck不仅能分析 出制导程序中的典型错误， 而且开销较 小。 关键词 任务并行语言，数据流信息，错误检查，动态分析 ，网格应用 中图法分类号 TP321 文献标识码 A DOI 10．11896／j．issn．1002—137x2017．03．010 ErrorCheckingToolforDAG-basedTaskParallelPrograms LIU Yan-na CHEN Li TANG Sheng-lin (InstituteofComputingTechnology，ChineseAcademyofSciences，Beijing 100190，China) Abstrdct AceMeshisadataflow-driven’taskparallelprogramminglanguage。whichallowsprogrammerstoparallelize traditionalC／C++ programbyusingpragmasmarkingparallelregions，parallelloopsandtaskregionswithdatainputs andoutputsdescription．Thentheprogram canbetranslatedtoaDAG-basedtaskparallelprogram，beingbuiltdepen- dencygraphsatruntimeandscheduledtomulticoreplatformsefficiently．Thispaperanalysedtypicalerrorswhichmay exhibitinparallelizingAceMeshprograms，andintroducedAceM eshCheck，adebugtoolforthem．Thepaperpresented theimplementationdetailsofthetool，anddiscussedhow itreducestheoverheadofmemorytracecollection，andhow to rebuildthethreedimensional。rectangularaccessregionsfrom 1inearizedmemoryaccesssequences．Experimentalresults show thatthetoolcanidentifytypicalerrorshiddeninAceMeshprogramswithrelativelylow overhead． Keywords Taskparallellna guage，Dataflow，Errorchecking，Dynma icprogrma analysis，Meshapplication 世pragmaacem