A data‐centric framework for debugging highly parallel applications

Contemporary parallel debuggers allow users to control more than one processing thread while supporting the same examination and visualisation operations of that of sequential debuggers. This approach restricts the use of parallel debuggers when it comes to large scale scientific applications run across hundreds of thousands compute cores. First, manually observing the runtime data to detect error becomes impractical because the data is too big. Second, performing expensive but useful debugging operations becomes infeasible as the computational codes become more complex, involving larger data structures, and as the machines become larger. This study explores the idea of a data‐centric debugging approach, which could be used to make parallel debuggers more powerful. It discusses the use of ad hoc debug‐time assertions that allow a user to reason about the state of a parallel computation. These assertions support the verification and validation of program state at runtime as a whole rather than focusing on that of only a single process state. Furthermore, the debugger's performance can be improved by exploiting the underlying parallel platform because the available compute cores can execute parallel debugging functions, while a program is idling at a breakpoint. We demonstrate the system with several case studies and evaluate the performance of the tool on a 20 000 cores Cray XE6. Copyright © 2013 John Wiley & Sons, Ltd.     

一个实用的Ada源级调试器的设计和实现

Ada是美国国家军用标准编程语言。近年来,我国也开展了对Ada及其开发环境的研究工作。本文首先介绍高级语言开发环境中源级符号调试器的基本原理,然后给出了一个实用性的Ada源级调试器的设计和实现关键技术。     

不确定性MPI／PVM程序的完全调试

讨论如何完全地调试不确定性MPI／PVM并行程序．在循环调试过程中,不确定性导致前次遇到的错误在以后的执行中很可能无法再现．基于MPI／PVM的FIFO通信模型,给出一种记录－重放技术的实现．通过可控制的重放,用户可以覆盖所有可能的程序执行路径,从而达到完全调试的目的．和其它方法相比,所提供的方法所需时空开销要小得多．此技术已在两种消息传递体系结构上得到实现：一种是曙光－2000超级服务器（由国家智能计算机研究中心开发）,它由单处理器（PowerPC）结点经MESH网互联而成;另一种是国家高性能计算中心（     

并行和分布式环境内核调试器的研究与设计

内核调试器在操作系统的设计和维护中是重要的。     

基于PVM的动态可伸缩并行调试器设计

ＰＶＭ（ｐａｒａｌｌｅｌ ｖｉｒｔｕａｌ ｍａｃｈｉｎｅ）正在被越来越广泛地使用，但ＰＶＭ应用程序的并行调试还是一个有待解决的难题。文中介绍了自行设计的基于ＰＶＭ的动态可伸缩并行调试器ｄｄｂｇ，主要内容包括并行调试界面、总体设计和一些关键的实现技术。ｄｄｂｇ与其它已有的消息传递并行调试器相比，最大特点是其动态可伸缩结构，它能根据应用的需要自动分布调试服务。     

PARLOG跟踪调试器的设计实现技术

本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果．     

基于部分共享存贮器的并行软件研究

并行计算机软件是并行机系统发展应用的一个薄弱环节。本文介绍了作者对几种不同类型并行机软件所做的研究与实践工作，并据此总结出几个基于部分共享存贮器结构提高并行软件开发与运行效率的原则和实现方法。     

基于Linux操作系统的C语言编译和调试方法

介绍了在Linux操作系统下，编译和调试C语言程序的工具GCC编译器、GDB调试器的使用方法等，并以例说明。     

调试器对并行程序干扰特性的研究

机群系统中并行程序的执行具有不确定性，这种不确定性给并行程序的调试带来了困难，并行程序的不确定性是由运行环境中的各种干扰因素造成的，该文研究交互式调试行为对调试程序的干扰特性，文中给出了算法可以在调试的过程中实时地报告出本次交互式调试操作是否对调试的程序造成了干扰。     

C语言源码级调试器的设计与实现

调试器在嵌入式软件开发过程中起着重要的作用。本文设计并实现C语言的源码级调试器,文中描述C语言源码级调试器的设计方案,重点介绍调试器设计中两个核心模块：调试信息提取存储模块和调试功能模块的设计,并给出实现结果。