随着并发程序日益广泛的使用,并发程序的调试也变得越发的重要。传统的循环调试技术主要是设置断点,多次执行源程序,逐步定位错误位置。因为顺序程序的执行结果主要取决于程序的输入,所以这种方法对于顺序程序十分有效,但是对于并发程序,问题要复杂得多。首先,并发程序的并发性和不确定性,导致了对于一个给定的并发程序,即使在相同的输入下,也可能产生不同的结果,或者是结果相同,但是执行的路径不同。正确发现和纠正错误的前提是能够不断地让同样的错误重复出现,然而在并发程序调试时,可能无法得到错误信息,或者观察到了错误,再次运行时却无法得到上次的错误状态。这就迫切需要有一种机制,使得在调试时能够确定性地执行程序。其次,并发程序一般都含有多个进程,它们之间存在着复杂的通信和同步,因此在调试时程序员希望对并发程序的执行流程和进程间的通信有一个整体的把握,然而人工查阅代码获得进程间的通信关系几乎是不可能的。这将使得程序员难于分析和理解并发程序,调试时必须在多个进程间频繁地切换和盲目地跟踪,调试效率将大大降低。这就有必要给程序员提供进程间的通信关系。基于上述问题,我们研究和开发了并发程序分析和调试工具,其中包括基于重放的并发程序调试工具和进程间通信关系提取和描述工具。该工具基于用C语言编写的进程间以消息队列和共享内存为通信机制的并发程序。基于重放的并发程序调试工具追踪并发程序执行,以便在重放的基础上调试并发程序;通信关系提取和描述工具用于自动提取源代码中可能的通信关系和本次执行时实际的通信关系,并将关系以图形的方式显示给用户。