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

摘要：

死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测.针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法.最后通过一个实例说明了该检测方法的有效性.

关键词：死锁、多线程程序、SUIF2、锁集分析、死锁检测

所属期刊栏目：40

分类号：TP391(计算技术、计算机技术)

在线出版日期：2012-11-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：69-72