使用锁分配图动态检测混合死锁

• 作者: 禹振 苏小红 邱景
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 动态分析 软件测试 并发缺陷检测 死锁检测 环检测
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 软件技术
• 页码范围: 1557-1568
• 页数: 12页
• 分类号: TP311
• 字数: 10065字
• 语种: 中文
• DOI: 10.7544/issn1000-1239.2017.20160369

摘要

死锁难以暴露、重演和调试.一旦发生,将导致多线程程序响应时间增长、吞吐量下降甚至宕机崩溃.现有死锁检测技术每次只能检测一个互斥锁死锁.为一次性检测由多个线程和多个互斥锁或读写锁造成的所有类型死锁,首先提出混合锁分配图的概念和构建方法,然后提出一种利用混合锁分配图动态检测混合死锁的方法.通过劫持所有互斥锁和读写锁的加锁解锁操作,以动态构建和实时更新一个反映目标程序同步状态的混合锁分配图.通过在锁分配图上检测环并判定该环是否为死锁环来检测死锁.当检测到死锁时,输出死锁信息来辅助调试.死锁检测实验、性能影响实验和可扩展性实验结果表明:该方法成功检测出所有13个共5种类型的死锁缺陷,检测能力强;给openldap-2.2.20带来至多10.15%的性能下降幅度,对目标程序造成的性能影响较小;性能开销随线程数目指数级增大而平缓增长,扩展性良好.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏小红	哈尔滨工业大学计算机科学与技术学院	152	1551	20.0	34.0
2	邱景	哈尔滨工业大学计算机科学与技术学院	6	16	2.0	4.0
3	禹振	哈尔滨工业大学计算机科学与技术学院	7	36	2.0	5.0