摘要 : 死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息,分段图无法... 展开
作者 | 鲁法明 郑佳静 包云霞 曾庆田 段华 王晓宇 |
---|---|
作者单位 | |
英文名称 | Deadlock Detection of Multithreaded Programs Based on Lock-augmented Segmentation Graph |
期刊名称 | 《软件学报》 |
期刊英文名称 | 《Journal of Software》 |
页码/总页数 | 1682-1700 / 19 |
语种/中图分类号 | 汉语 / TP311 |
关键词 | 程序验证 死锁检测 锁图 分段图 动态死锁分析 |
DOI | 10.13328/j.cnki.jos.006244 |
基金项目 | 国家自然科学基金(61602279,61472229);国家重点研发计划(2016YFC0801406);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省自然科学基金智慧计算联合基金(ZL2019LZh001);山东省博士后创新专项基金(201603056);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学领军人才与优秀科研创新团队项目(2015TDJH102) |
收录情况 | BDHX CSCD CSTPCD |
机标主题词 / 分类号 | 死锁处理;死锁;信息 / TP316;TP399;G25 |