| 基于锁增广分段图的多线程程序死锁检测 |
| |
| 作者姓名： | 鲁法明 郑佳静 包云霞 曾庆田 段华 王晓宇 |
| |
| 作者单位： | 山东科技大学计算机科学与工程学院,山东青岛 266590;山东科技大学数学与系统科学学院,山东青岛 266590 |
| |
| 基金项目： | 国家自然科学基金（61602279,61472229）;国家重点研发计划（2016YFC0801406）;山东省泰山学者工程专项基金资助项目（ts20190936）;山东省高等学校青创科技支持计划（2019KJN024）;山东省博士后创新专项基金（201603056）;国家海洋局海洋遥测工程技术研究中心开放基金资助项目（2018002）;山东科技大学领军人才与优秀科研创新团队项目（2015TDJH102） |
| |
| 摘 要： | 死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息,分段图无法刻画锁的获取和释放操作与线程启动操作耦合而导致的段间依赖关系.上述问题导致了多种死锁...
|
| 关 键 词： | 程序验证 死锁检测 锁图 分段图 动态死锁分析 |
| 收稿时间： | 2020-08-28 |
| 修稿时间： | 2020-12-19 |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
