
国度学问产权局信息走漏,复旦大学;支付宝(杭州)数字行状工夫有限公司央求一项名为“一种死锁检测秩序、安装、存储介质及电子开拓”的专利,公开号CN121705045A,央求日历为2025年11月。
专利纲目走漏,本阐发书实施例公开了一种死锁检测秩序,该秩序凭证编译后的待检测Rust法子代码,188金宝博详情待检测Rust法子代码中每个函数在执行时对每个锁对象的捏有景色,当待检测Rust法子代码中的归拢函数在捏有第一锁对象的同期,还需要得回第二锁对象,则详情第二锁对象依赖于第一锁对象,ued(中国)官方网站入口凭证各锁对象之间的依赖相关,生成以锁对象为节点的有向图,以锁对象之间的依赖相关为有向边的有向图,并在该有向图中检测有向环,凭证有向环对该待检测Rust法子代码进行死锁检测。通过上述秩序,可有用检测经受Rust言语编写的法子代码中可能出现的死锁情况。
声明:市集有风险,投资需严慎。本文为AI基于第三方数据生成,仅供参考,不组成个东谈主投资惨酷。
本文源自:市集资讯水下生态网站模板
开云体育官方网站 - KAIYUN