软件学报:jos:2016002 · 记录 #1
死锁的概率检测
来源日期 2016-09-07
来源记录日期 2016-09-07
雷达观测 2026-11-05 00:24
摘要
并发缺陷是由于某些事件按照一定的顺序发生而导致的，本文提出了一种基于缺陷半径的并发缺陷的概率检测方法RPro，并用于死锁的检测，且有概率保证。实验表明该方法可以显著提高死锁的检测概率。
← 研踪 PaperTrail
论文发现出处
这些页面提供论文线索，不代表同行评审或质量认证。
AI 论文解读
基于摘要 · 非全文审阅此版本尚未生成 AI 解读。解读由后台任务生成并按论文版本保存，登录后共享已有结果。
发表信息与关联版本
软件学报 ↗
2016 · 正式发表
版本差异
目前只观测到一个版本，无法比较变化。之后收录新版本时，会在这里对照标题、作者、分类和摘要。
观测到的版本
平台记录号代表本站观测到的元数据变化，不是作者修订号。来源日期仅到月份或年份时，按该月或该年首日存档。