不确定性MPI/PVM程序的完全调试(英文)  

Completely Debugging Indeterminate MPI/PVM Programs

作　　者：王锋[1] 安虹[1] 陈志辉[1] 陈国良[1] 

机构地区：[1]中国科学技术大学计算机科学技术系国家高性能计算中心,安徽合肥230027

出　　处：《软件学报》2001年第3期334-339,共6页Journal of Software

基　　金：国家 8 6 3高科技发展计划基金;中国科学技术大学青年科学基金&&

摘　　要：讨论如何完全地调试不确定性 MPI/ PVM并行程序 .在循环调试过程中 ,不确定性导致前次遇到的错误在以后的执行中很可能无法再现 .基于 MPI/ PVM的 FIFO通信模型 ,给出一种记录 -重放技术的实现 .通过可控制的重放 ,用户可以覆盖所有可能的程序执行路径 ,从而达到完全调试的目的 .和其它方法相比 ,所提供的方法所需时空开销要小得多 .此技术已在两种消息传递体系结构上得到实现 :一种是曙光 - 2 0 0 0超级服务器 (由国家智能计算机研究中心开发 ) ,它由单处理器 (Power PC)结点经 MESH网互联而成 ;另一种是国家高性能计算中心 (合肥 )的工作站 (Power PC/ AIX)机群系统 .This paper discusses how to completely debug indeterminate MPI/PVM parallel programs. Due to the indeterminacy, the previous bugs may be non-repeatable in successive executions during a cyclic debugging session. Based on the FIFO communication model of MPI/PVM, an implementation of record and replay technique is presented. Moreover, users are provided with an easy way to completely debug their programs by covering all possible execution paths through controllable replay. Compared with other solutions, the proposed method produces much less temporal and spatial overheads. The implementation has been completed on two kinds of message passing architectures: one is Dawning-2000 super server (that was developed by the Chinese National Research Center for Intelligent Computing Systems of China) with single-processor (Power PC) nodes which are interconnected by a custom-built wormhole mesh network; the other is a cluster of workstations (PowerPC/AIX) which has been built in Chinese National High Performance Computing Center at Hefei.

关 键 词：并行调试器 消息传递 MPI PVM 并行程序 不确定性 

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