[发明专利]一种基于Petri网MIP法的并发程序死锁检测方法在审
| 申请号： | 201410394878.8 | 申请日： | 2014-08-08 |
| 公开（公告）号： | CN104156262A | 公开（公告）日： | 2014-11-19 |
| 发明（设计）人： | 吴文慧;王寿光 | 申请（专利权）人： | 浙江工商大学 |
| 主分类号： | G06F9/46 | 分类号： | G06F9/46 |
| 代理公司： | 无 | 代理人： | 无 |
| 地址： | 310018 浙江*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种基于Petri网MIP法的并发程序死锁检测方法，该方法包括：对于待检测的并发程序代码，根据其任务集和资源集，生成控制流图(Control Flow Graph，CFG)；根据生成的控制流图(CFG)，创建其Petri网模型；在已建立的Petri网模型基础上，基于MIP法进行死锁检测分析；输出检测结果。本发明以简洁直观的Petri网模型来描述并发程序，采用Petri网理论中的MIP法来进行死锁检测，不仅提高其计算效率，避免产生昂贵的在线计算成本，且死锁检测结果具有确定性。即在建立并行程序代码Petri网模型基础上，若MIP法计算结果为不存在可被清空信标，则该并行程序可确定为无死锁。 | ||
| 搜索关键词： | 一种 基于 petri mip 并发 程序 死锁 检测 方法 | ||
【主权项】：
一种基于Petri网MIP法的并发程序死锁检测方法，其特征在于，包括以下步骤：步骤(1)对于待检测的并发程序代码，根据其任务集和资源集，生成控制流图(CFG)；步骤(2)根据生成的控制流图(CFG)，创建其Petri网模型；步骡(3)在已建立的Petri网模型基础上，基于MIP法进行死锁检测分析；步骤(4)输出检测结果。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浙江工商大学，未经浙江工商大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410394878.8/，转载请声明来源钻瓜专利网。
