搜索

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

104 4.5
2021-03-23
pdf | 317KB | 7页
正文 简介
多线程软件由于进程间共享使用资源而极易发生死锁这一严重的并发漏洞.通过Petri网模型对多线程软件进行建模,并利用混合整数规划技术检测其漏洞.目前,使用互斥锁的多线程软件可通过Gadara网建模和检测.而使用信号量的多线程软件,虽可用S*PR网建模,但是尚未有理论支撑混合整数规划用于其漏洞检测.定义了S*PR网的一个子类——SEM-S*PR网,它允许资源库所初始标志大于1且分支可对称地使用资源,进而可建模一类使用信号量的多线程软件.依据结构特点,证明了该网保持活性的充分必要条件是网运行过程中所有信标始终非空.此结论是混合整数规划用于SEM-S*PR网建模的多线程软件的并发漏洞检测的理论基础.
*温馨提示：该数据为用户自主上传分享，如有侵权请举报或联系客服：400-823-1298处理。
kangting0***
kangting0***
服务： -
数据量： 4
人气： -
擅长：土建 装饰 园林 电气

最新上传

一种多线程软件并发漏洞检测方法 317KB特写：中国高校的“造门运动” 486KB

热门商品

您可能感兴趣

声明：造价通文库所传内容均代表作者观点，与本站立
场无关，如有侵权或违法请立即向我们举报。
举报邮箱：kf@zjtcn.com
详情请阅读 《数聚超市协议》 ©2006-2019 ZJTCN.COM 粤ICP备08028283号
增值电信业务 经营许可证：粤B2-20090350
    粤公网安备 44010602002722号
原价: ￥ 20.00

开通会员

立即购买

老客限时专享

取消
专属客服

优惠券专享

恭喜您获得500元优惠券
取消
专属客服