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

• 作者: 张志祥 张静波 郝闯
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 死锁 多线程程序 SUIF2 锁集分析 死锁检测
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 信息处理与网络安全
• 页码范围: 69-72
• 分类号: TP391
• 字数: 3545字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2012.07.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张志祥	海军工程大学电子工程学院计算机工程系	31	94	6.0	8.0
2	郝闯	海军工程大学电子工程学院计算机工程系	1	1	1.0	1.0