|
|||||
|
|
| 一种Java并发程序死锁动态检测的新方法 | |
| 引用本文： | 毛澄映,卢炎生,张金隆,卢超.一种Java并发程序死锁动态检测的新方法[J].小型微型计算机系统,2008,29(12). |
| 作者姓名： | 毛澄映 卢炎生 张金隆 卢超 |
| 作者单位： | 1. 华中科技大学,计算机科学与技术学院,湖北,武汉,430074;江西财经大学,软件学院,江西,南昌,330013;华中科技大学,管理学院,湖北,武汉,430074 2. 华中科技大学,计算机科学与技术学院,湖北,武汉,430074 3. 华中科技大学,管理学院,湖北,武汉,430074 |
| 基金项目： | 国家自然科学基金 ， 教育部高等学校博士学科点专项科研基金 ， 湖北省自然科学基金 ， 江西省教育厅科研项目 ， 中国博士后科学基金 ， 江西财经大学校级青年课题 |
| 摘 要： | 死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示. |
| 关 键 词： | 死锁 执行追踪信息 加锁控制依赖 线程间控制流图 动态检测 |
Towards a New Dynamic Deadlock Detection Method for Java Concurrent Programs |
|
| MAO Cheng-ying,LU Yan-sheng,ZHANG Jin-long,LU Chao.Towards a New Dynamic Deadlock Detection Method for Java Concurrent Programs[J].Mini-micro Systems,2008,29(12). | |
| Authors: | MAO Cheng-ying LU Yan-sheng ZHANG Jin-long LU Chao |
| Affiliation: | MAO Cheng-ying1,2,3,LU Yan-sheng1,ZHANG Jin-long3,LU Chao11 (College of Computer Science & Technology,Huazhong University of Science , Technology,Wuhan 430074,China)2 (School of Software,Jiangxi University of Finance , Economics,Nanchang 330013,China)3 (School of Management,China) |
| Abstract: | Deadlock is one type of errors in most multi-threaded programs, and it hasn't been well settled until today. In this paper, a dynamic detection algorithm for finding resource deadlocks in concurrent Java programs has been proposed. Based on the execution trace information of a concurrent program, it produces locking control dependency relations firstly. Subsequently, the potential deadlocks can be worked out through imposing some relation calculations on the achieved locking control dependency relations. Fu... |
| Keywords: | deadlock execution trace information locking control dependency inter-thread control flow graph (ITCFG) dynamic detection |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |