10.3969/j.issn.1672-9722.2012.07.025
基于SUIF2的静态死锁检测方法研究
死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测.针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法.最后通过一个实例说明了该检测方法的有效性.
死锁、多线程程序、SUIF2、锁集分析、死锁检测
40
TP391(计算技术、计算机技术)
2012-11-01(万方平台首次上网日期,不代表论文的发表时间)
共4页
69-72