yy.vip易游-复旦大学申请死锁检测方法专利可有效检测采用Rust语言编写的程序代码中可能出现的死锁情况

　　YYVIP易游·(中国有限公司)官方网站-

　　国家知识产权局信息显示，复旦大学；支付宝（杭州）数字服务技术有限公司申请一项名为“一种死锁检测方法、装置、存储介质及电子设备”的专利，公开号CN121705045A，申请日期为2025年11月。

　　专利摘要显示，本说明书实施例公开了一种死锁检测方法，该方法根据编译后的待检测Rust程序代码，确定待检测Rust程序代码中每个函数在执行时对每个锁对象的持有状态，当待检测Rust程序代码中的同一函数在持有第一锁对象的同时，还需要获取第二锁对象，则确定第二锁对象依赖于第一锁对象，根据各锁对象之间的依赖关系，生成以锁对象为节点的有向图，以锁对象之间的依赖关系为有向边的有向图，并在该有向图中检测有向环，根据有向环对该待检测Rust程序代码进行死锁检测。通过上述方法，可有效检测采用Rust语言编写的程序代码中可能出现的死锁情况。

　　声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。

　　特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。

　　加兰41+11加盟新高！快船加时灭独行侠 小卡34分大洛破18000分

　　极狐全新阿尔法S5体验72道弯 11万级轿跑线运动版，新能源设计思路的燃油车？

　　张军院长谈： 2026 年上海戏剧学院美育教育展演的亮点和创新点！ #上海戏剧学院 #2026年上海戏剧学院美育教育展演 #表演艺术 #少儿