买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国航空工业集团公司西安航空计算技术研究所申请的专利一种多任务间互斥信号量死锁的检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116204329B 。

龙图腾网通过国家知识产权局官网在2025-11-04发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211617160.1，技术领域涉及：G06F9/52；该发明授权一种多任务间互斥信号量死锁的检测方法是由张东;仝敏;时磊;张磊;边文涛;高雅濛设计研发完成，并于2022-12-15向国家知识产权局提交的专利申请。

本一种多任务间互斥信号量死锁的检测方法在说明书摘要公布了：本发明提供了一种多任务间互斥信号量死锁的检测方法，包括初始化一个任务位图和一个空的阻塞位图；取出一个任务在阻塞位图上标记，判断如果重复标记则说明存在死锁，否则进入检测；将同样等待在该任务的互斥信号量上的其他任务在阻塞位图上标记，判断如果重复标记则说明存在死锁；查看持有该互斥信号量的任务是否在永久等待其他互斥信号量，如果没有则与该互斥信号量相关的任务从任务位图中清除，重复上述步骤对其他任务检测直至任务位图为空，说明不存在死锁，检测结束。本发明设计的方法不仅有效且效率高，可以及时发现并解决死锁问题，保证系统继续运行。

本发明授权一种多任务间互斥信号量死锁的检测方法在权利要求书中公布了：1.一种多任务间互斥信号量死锁的检测方法，其特征在于，包括以下步骤： S1、获取操作系统所有任务； S2、提取处于等待互斥信号量状态的任务，并存入自定义的任务位图中； S3、检测任务位图中任意一个待检测任务是否存在死锁； 若存在死锁，则上报死锁检测结果； 若不存在死锁，则进入并执行S4； S4、获取与所述待检测任务等待同样互斥信号量的其他任务，检测所述其他任务是否存在死锁； 若存在死锁，则上报死锁检测结果； 若不存在死锁，则进入并执行S5； S5、提取持有所述互斥信号量的任务，检测该任务是否存在死锁； 若不存在死锁，则删除与所述互斥信号量相关的任务，进入并执行S6； 若存在死锁，则将该任务作为新的待检测任务，进入并执行S4； S6、重复步骤S3~S5，直至任务位图中所有任务均检测完成； 其中，步骤S3中，任务位图中任意一个待检测任务是否存在死锁的检测方法，包括： S301、取出任务位图中任意一个待检测任务； S302、将所述待检测任务在自定义的阻塞位图中标记； S303、判断所述待检测任务是否被重复标记； 若被重复标记，判断所述待检测任务存在死锁，则上报死锁检测结果； 若被初次标记，判断所述待检测任务不存在死锁，则进入并执行S4； 其中，步骤S4中，获取与所述待检测任务等待同样互斥信号量的其他任务，检测所述其他任务是否存在死锁的方法，包括； S401、提取待检测任务等待的互斥信号量； S402、在任务位图中提取同样等待该所述互斥信号量的其他任务； S403、将所述其他任务在阻塞位图中标记； S404、判断所述其他任务是否被重复标记； 若被重复标记，则判断所述其他任务存在死锁，上报死锁检测结果； 若被初次标记，则进入并执行S5。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空工业集团公司西安航空计算技术研究所，其通讯地址为：710065 陕西省西安市高新区锦业二路15号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。