[发明专利]一种适用于广义模型的死锁检测方法有效
| 申请号： | 201480037523.1 | 申请日： | 2014-12-16 |
| 公开（公告）号： | CN105637485B | 公开（公告）日： | 2019-08-06 |
| 发明（设计）人： | 李挥;陶智;汪允敏 | 申请（专利权）人： | 北京大学深圳研究生院 |
| 主分类号： | G06F9/52 | 分类号： | G06F9/52 |
| 代理公司： | 深圳市科吉华烽知识产权事务所(普通合伙) 44248 | 代理人： | 孙伟 |
| 地址： | 518055 广东省深圳*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及分布式系统领域，其公开了适用于广义模型的死锁检测方法，包括以下步骤：(A)普通节点保存输出边信息；(B)普通节点检测并解决本地死锁并发送归约信息给初始点；(C)初始点归约检测全局死锁。本发明的有益效果是：有效的降低了初始点的计算压力；同时一定程度上解决了常见本地死锁。 | ||
| 搜索关键词： | 一种 适用于 广义 模型 死锁 检测 方法 | ||
【主权项】：
1.一种适用于广义模型的死锁检测方法，其特征在于：包括以下步骤：（A）普通节点保存输出边信息；（B）普通节点检测并解决本地死锁并发送归约信息给初始点；（C）初始点归约检测全局死锁；普通节点上保存一次方法执行中所涉及的进程的依赖关系；所述步骤（B）中，资源管理节点RMr收到一个资源请求时，首先将发送这个请求的进程放入request_Qr队列；如果资源管理节点将这个资源赋予这个进程，并向该进程发送grant(r)消息，该进程成为holder；如果RMr收到来自holder的资源释放消息release，就将资源收回，然后从request_Qr删除holder所代表的进程，同时将资源赋予新的holder；如果它收到一个cancel消息，表示这个进程无法完成提交动作，不在排队等待资源分配，所以将直接在request_Qr中删除这个进程请求。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京大学深圳研究生院，未经北京大学深圳研究生院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201480037523.1/，转载请声明来源钻瓜专利网。
