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

作     者：郝闯 张志祥 张静波 HAO Chuang;ZHANG Zhixiang;ZHANG Jingbo

作者机构：海军工程大学电子工程学院计算机工程系 中国人民解放军63981部队 

出 版 物：《计算机与数字工程》 (Computer & Digital Engineering)

年 卷 期：2012年第40卷第7期

页      码：69-72页

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

主 题 词：死锁 多线程程序 SUIF2 锁集分析 死锁检测 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1672-9722.2012.07.025

馆 藏 号：203941061...