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

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

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

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

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

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

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

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