一种面向并行程序的代码调试分析工具设计实现  

Design and Implementation of a Code Debugging Analysis Tool for Parallel Programs

作　　者：周世康 蒋欣欣 周航[1] 姚蕊 张灿恒 ZHOU Shikang;JIANG Xinxin;ZHOU Hang;YAO Rui;ZHANG Canheng(Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Beijing Institute of Computer Technology and Applications,Beijing 100854,China)

机构地区：[1]南京航空航天大学,南京211106 [2]北京计算机技术及应用研究所,北京100854

出　　处：《河南科学》2019年第3期337-342,共6页Henan Science

基　　金：国家博士后基金一等资助(2015M580428);中央军委装备发展部信息系统局"十三五"预研课题

摘　　要：并行程序的应用在提高程序运行效率的同时,也带来了不确定性的错误.这种错误往往难以复现,传统的调试工具越发难以满足并行程序的调试需求.据此提出了一种面向并行程序错误检测以及确定性回放的方法,针对并行程序中容易发生的数据竞争、死锁、原子性违反这几类错误进行检测判断;对并行程序的运行进行插桩以保证程序重复执行时的次序一致.在此理论基础上设计实现了Eclipse插件.通过试验,该工具可以对并行程序易发的错误进行有效的检测判断,较大程度地减少程序调试的工作量.The application of parallel programs increases the efficiency of the programs,but also brings uncertainty errors.Such errors are often difficultly reproduced,and traditional debugging tools are increasingly difficult to meet the debugging needs of parallel programs.According to this paper,a method for parallel program error detection and deterministic playback is proposed.It detects and judges the types of errors such as data competition,deadlock and atomic violation that are prone to occur in parallel programs.The piles are in the same order to ensure that the program is repeatedly executed.Based on this theory,the Eclipse plugin is designed and implemented.Through testing,the tool can effectively detect errors that easily occur in parallel programs,and greatly reduce the workload of program debugging.

关 键 词：并行程序 不确定性 错误检测工具 辅助调试 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]