基于SUIF2的静态死锁检测方法研究

摘要

Deadlock is one of the most typical problems in the concurrent programs, and it is difficult to detect due to being triggered non-deterministically. Based on analysis of deadlock of C multi-threaded programs, a static detection method of deadlock based on SUIF2 is proposed, and the architecture of static deadlock detection and the algorithm of lockset analysis of C multi-threaded programs is designed. Finally, an example is demonstrated to illustrate the validity of the proposed algorithm.%死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测.针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法.最后通过一个实例说明了该检测方法的有效性.