一种多线程软件并发漏洞检测方法

• 作者: 朱承丞 董利达
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 多线程软件 Petri网 S*PR网 死锁检测 混合整数规划
• 年，卷（期）: 2015,（2）
• 页码范围: 167-173,212
• 页数: 8页
• 分类号: TP301
• 字数: 7960字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2015.02.028

摘要

多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞。通过 Petri 网模型对多线程软件进行建模，并利用混合整数规划技术检测其漏洞。目前，使用互斥锁的多线程软件可通过 Gadara网建模和检测。而使用信号量的多线程软件，虽可用 S*PR 网建模，但是尚未有理论支撑混合整数规划用于其漏洞检测。定义了 S*PR网的一个子类———SEM-S*PR网，它允许资源库所初始标志大于1且分支可对称地使用资源，进而可建模一类使用信号量的多线程软件。依据结构特点，证明了该网保持活性的充分必要条件是网运行过程中所有信标始终非空。此结论是混合整数规划用于 SEM-S*PR网建模的多线程软件的并发漏洞检测的理论基础。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董利达	浙江大学电子电路与信息系统研究所	21	152	7.0	12.0
5	朱承丞	浙江大学电子电路与信息系统研究所	4	14	2.0	3.0