首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明公布】一种代码死锁风险检测方法_西安忒亚科技有限公司_202211372598.8 

申请/专利权人:西安忒亚科技有限公司

申请日:2022-11-03

公开(公告)日:2024-05-07

公开(公告)号:CN117992328A

主分类号:G06F11/36

分类号:G06F11/36;G06F9/448

优先权:

专利状态码:在审-实质审查的生效

法律状态:2024.05.24#实质审查的生效;2024.05.07#公开

摘要:本发明属于计算机程序设计技术领域,涉及一种代码死锁风险检测方法。首先要划定合适的检测范围。然后对检测范围内的代码进行检查,保证其符合以下三个规则:检测范围内占用的资源没有在检测范围外占用,或者虽然占用了,但在进入检测范围时处于释放状态;检测范围内的代码段占用的资源,一定要在退出此段代码时释放;检测范围内的代码调用的外部代码,不再回调检测范围内的任何代码。划定检测范围也可参照上述原则,保证划进检测范围的代码符合上述规则。本发明提出的代码检查的方法,可以作为代码设计阶段的规范;代码死锁风险检测方法,可以判定已完成的代码是否有死锁风险,本发明有助于在程序设计领域彻底解决死锁问题,具有实用价值。

主权项:1.一种代码死锁风险检测方法,其特征在于,通过规范的检测方法,确信死锁的循环等待条件不成立,以此确认代码没有死锁风险。

全文数据:

权利要求:

百度查询: 西安忒亚科技有限公司 一种代码死锁风险检测方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。