| 基于SUIF2的静态死锁检测方法研究 |
| |
| 引用本文： | 郝闯,张志祥,张静波.基于SUIF2的静态死锁检测方法研究[J].计算机与数字工程,2012,40(7):69-72. |
| |
| 作者姓名： | 郝闯 张志祥 张静波 |
| |
| 作者单位： | 1. 海军工程大学电子工程学院计算机工程系 武汉430033
2. 中国人民解放军63981部队 武汉430000 |
| |
| 摘 要： | 死锁是并发程序中常见的错误之一，且由于并发程序运行的不确定性使得死锁难以检测。针对该问题，通过对C多线程程序死锁的分析，提出了一种基于SUIF2的静态死锁检测方法，设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。
|
| 关 键 词： | 死锁 多线程程序 SUIF2 锁集分析 死锁检测 |
Study of Static Deadlock Detection Method Based on SUIF2 |
| |
| HAO Chuang
,
ZHANG Zhixiang
,
ZHANG Jingbo.Study of Static Deadlock Detection Method Based on SUIF2[J].Computer and Digital Engineering,2012,40(7):69-72. |
| |
| Authors: | HAO Chuang ZHANG Zhixiang ZHANG Jingbo |
| |
| Affiliation: | 1.Department of Computer Engineering,Electronic Engineering College,Naval University of Engineering,Wuhan 430033)(2.No.63981 Troops of PLA,Wuhan 430000) |
| |
| Abstract: | 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. |
| |
| Keywords: | deadlock multi-threaded program SUIF2 lockset analysis deadlock detection |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
