你的位置:UED体育中国官方网站入口 > 人才引入 > 水下生态网站模板 复旦大学央求死锁检测秩序专利, 可有用检测经受Rust言语编写的法子代码中可能出现的死锁情况

水下生态网站模板 复旦大学央求死锁检测秩序专利, 可有用检测经受Rust言语编写的法子代码中可能出现的死锁情况

时间:2026-03-23 23:03 点击:140 次

水下生态网站模板 复旦大学央求死锁检测秩序专利, 可有用检测经受Rust言语编写的法子代码中可能出现的死锁情况

国度学问产权局信息走漏,复旦大学;支付宝(杭州)数字行状工夫有限公司央求一项名为“一种死锁检测秩序、安装、存储介质及电子开拓”的专利,公开号CN121705045A,央求日历为2025年11月。

专利纲目走漏,本阐发书实施例公开了一种死锁检测秩序,该秩序凭证编译后的待检测Rust法子代码,188金宝博详情待检测Rust法子代码中每个函数在执行时对每个锁对象的捏有景色,当待检测Rust法子代码中的归拢函数在捏有第一锁对象的同期,还需要得回第二锁对象,则详情第二锁对象依赖于第一锁对象,ued(中国)官方网站入口凭证各锁对象之间的依赖相关,生成以锁对象为节点的有向图,以锁对象之间的依赖相关为有向边的有向图,并在该有向图中检测有向环,凭证有向环对该待检测Rust法子代码进行死锁检测。通过上述秩序,可有用检测经受Rust言语编写的法子代码中可能出现的死锁情况。

声明:市集有风险,投资需严慎。本文为AI基于第三方数据生成,仅供参考,不组成个东谈主投资惨酷。

本文源自:市集资讯水下生态网站模板

开云体育官方网站 - KAIYUN
服务热线
官方网站:http://www.sdamhg.com/
工作时间:周一至周六(09:00-18:00)
联系我们
QQ:88888888
邮箱:wingwin@qq.com
地址:武汉东湖新技术开发区光谷大道国际企业中心
关注公众号

Copyright © 1998-2026 UED体育中国官方网站入口™版权所有

sdamhg.com 备案号 备案号: 鲁ICP备15016259号

技术支持:®UED体育  RSS地图 HTML地图

回到顶部