苏州元脑智能科技有限公司李丹萍获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉苏州元脑智能科技有限公司申请的专利共享变量依赖链断裂检测方法及装置获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120929339B 。
龙图腾网通过国家知识产权局官网在2025-12-12发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202511464147.0,技术领域涉及:G06F11/30;该发明授权共享变量依赖链断裂检测方法及装置是由李丹萍;孙明刚;赵帅;李冬冬设计研发完成,并于2025-10-14向国家知识产权局提交的专利申请。
本共享变量依赖链断裂检测方法及装置在说明书摘要公布了:本申请公开了一种共享变量依赖链断裂检测方法及装置,涉及多处理器编程技术领域,包括:耦合静态反汇编通道和动态PMU通道两种检测通道,其中,静态反汇编通道利用共享变量依赖链断裂时相关的反汇编代码会发生改变的原理,动态PMU通道则利用共享变量依赖链断裂时程序运行过程中相关的PMU事件次数会发生变化的原理,以构建共享变量依赖链断裂检测架构,解决了相关技术中,动态分析方法的性能开销较大,静态分析方法的自动化程度有限;此外,形式化验证方法的覆盖场景有限,难以复现生产环境复杂的竞争条件的技术问题,达到了有效提升检测的准确率和效率,减少动态检测开销,可覆盖真实生产环境中的竞争条件的技术效果。
本发明授权共享变量依赖链断裂检测方法及装置在权利要求书中公布了:1.一种共享变量依赖链断裂检测方法,其特征在于,包括以下步骤: 分别在关闭优化编译配置和开启优化编译配置的情况下,对待分析程序进行编译和反汇编操作,以得到优化前后的反汇编文件,且对所述优化前后的反汇编文件进行对比分析,得到对应的分析结果; 基于所述分析结果,识别所述待分析程序中满足预设依赖链变化要求的可疑断裂点,并确定所述可疑断裂点对应的依赖链变化要求类型,且根据所述依赖链变化要求类型确定所述预设依赖链变化要求中不同要求对应的要求权重,以通过所述依赖链变化要求类型和所述要求权重计算所述可疑断裂点的静态反汇编通道断裂分; 在所述可疑断裂点处设置性能监测点,且对设置性能监测点后的待分析程序重新进行编译,以生成带性能监测点的执行程序,并运行所述带性能监测点的执行程序,以确定所述待分析程序在优化前后发生的满足预设依赖链断裂相关性要求的性能监测事件的发生次数,且根据所述发生次数计算所述可疑断裂点的动态性能监测通道断裂分; 根据所述静态反汇编通道断裂分和所述动态性能监测通道断裂分计算所述可疑断裂点的综合断裂分,并判断所述综合断裂分是否大于断裂阈值,其中,在所述综合断裂分大于所述断裂阈值时,判定所述可疑断裂点为依赖链断裂点。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人苏州元脑智能科技有限公司,其通讯地址为:215000 江苏省苏州市吴中经济开发区综保区经一路1号8幢;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励