Linux机群系统并行程序调试器的设计与实现

介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够单独或同时进行调试,并且能够实现进程的动态调试。该系统已在运行Linux系统的清华集群计算机系统上运行,具有较好的实用性。

一种基于检查点的并行程序调试器的设计与实现

为支持大规模长时间运行并行程序的调试 ,有必要将检查点机制引入到并行程序调试器中 .检查点设置与卷回应用中需要解决中途消息、孤儿消息和多米诺效应、活锁 4个问题 ;并行程序调试中需要解决不确定性问题 .提出的基于状态冻结的确定性检查点设置方法 ,可以避免检查点应用中孤儿消息和多米诺效应、活锁 3个问题 ,通过消息记录的方法处理中途消息问题 ;采用记录 /重放方法解决并行调试中的不确定性问题 .基于状态冻结的确定性检查点设置方法 ,有效地解决了并行程序调试器和检查点结合时产生的诸多问题 .该方法具有结构清晰、易于实现的优点 .基于此技术 ,设计并实现了一个并行调试工具—— DENNET.

有限延时消息通信模型及在并行程序调试器设计中的应用

1 概述在分布存储多计算机系统中,消息传递是进程间唯一的通信手段,消息通信模型决定了并行计算的模型.一般情况下,通过对并行程序计算模型的描述来研究消息通信的模型.分布存储多计算机系统中消息通信机制可以归为两类[1]:阻塞(Blocking)通信和非阻塞(Non-blocking)通信.阻塞通信又称作同步通信,其特点是发送方和接收方都就绪,通信才进行,如果有一方未准备好,另一方便进行等待;非阻塞通信又叫异步通信,特点是发送方不必等待接收方就绪便可将消息发出,然后接着进行后面的操作.

用程序调试器动态可视化运行程序进行程序设计教学的方法

计算机程序的动态性和抽象性是学生学习程序设计课程困难的主要原因。本文提出一种用程序调试器动态可视化运行计算机程序进行教学的程序设计课程教学方法,通过把计算机程序动态运行路径轨迹及其变量数值的可视化,把静态的概念转化为动态变化的图形和数据,化无形的抽象思维为直观的形象思维,降低了学习难度,使学生更加容易理解程序设计课程内容,提高了学生兴趣和学习效果。

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

机群系统中并行程序的执行具有不确定性 ,这种不确定性给并行程序的调试带来了困难 .并行程序的不确定性是由运行环境中的各种干扰因素造成的 .该文研究交互式调试行为对调试程序的干扰特性 。

ABC-90jr汇编语言调试器的设计与实现

ABC-90jr阵列机是一台专用的SIMD型计算机，它主要用于图象处理．信号处理等细粒度的并行计算。该文介绍了其调试器设计与实现的方法。

锐利的调试器DDD

在嵌入式程序开发过程中，程序员要进行大量的调试．以此验证程序的正确性，修改潜在的错误。调试器对于程序员来说是不可或缺的必备工具。在Linux环境中，有很多调试工具和调试辅助工具，例如GDB、XXGDB、RHIDE，XWPE、GVD和DDD等。其中，DDD是命令行调试器的图形前端，除了一般的程序调试功能以外，还具有交互式图形数据显示的功能。它在嵌人式应用开发中也十分出色。本文主要讲述DDD(Data Display Debugger)的使用方法。