随着多核硬件的不断普及,并发程序编程的使用也越来越频繁,如何解决并发程序中出现的错误也越来越受到人们关注。在并发程序执行过程中,由于线程调度的随机性,使得人们对并发调试技术有了更高的要求。本文主要实现了一种新的方法用于检测并发程序中是否存在潜在死锁。如果程序在某次执行过程中没有发生死锁,但是存在一条特定的调度序列,程序按照此调度序列执行必定会发生死锁,就称该程序存在潜在死锁。这条特定的调度序列就称为潜在死锁调度序列。潜在死锁分析主要是在并发程序执行没有发生死锁的前提下,通过对记录的执行序列进行分析,判断程序是否存在潜在死锁。如果检测到程序存在潜在死锁,那么就需要进行路径合成来验证潜在死锁分析的准确性。路径合成就是以潜在死锁分析的结果为基础,合成出一条新的执行序列,改变线程之间的调度顺序,控制程序的执行流程。这条合成序列本质上就是一条潜在死锁调度序列,程序按照此合成序列执行必定会发生死锁。当检测到程序存在潜在死锁之后,还需要规避死锁的发生,解决程序中存在的潜在死锁问题。因此设计了一个潜在死锁辅助调试工具。通过该辅助调试工具,调试人员可以获取与潜在死锁相关的线程和互斥锁信息,同时还可以迅速定位到与潜在死锁相关的操作在并发程序中的具体位置。最后可以帮助调试人员解决并发程序中的潜在死锁问题。