华为技术有限公司张汝涛获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉华为技术有限公司申请的专利程序检测方法及装置获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119377102B 。
龙图腾网通过国家知识产权局官网在2025-11-07发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411234400.9,技术领域涉及:G06F11/3668;该发明授权程序检测方法及装置是由张汝涛;周卿设计研发完成,并于2020-12-29向国家知识产权局提交的专利申请。
本程序检测方法及装置在说明书摘要公布了:本申请提供一种程序检测方法及装置,能够帮助用户快速完成程序运行在弱内存环境上的检查,可以提高程序的检测效率,可应用于程序检测中。该方法包括:接收用户提供的程序,根据查询参数和程序获得程序运行在弱内存环境上的结果。其中,查询参数用于指示程序的两条操作发生重排序的最大间隔。
本发明授权程序检测方法及装置在权利要求书中公布了:1.一种程序检测方法,其特征在于,包括: 接收程序,所述程序为用户提供的; 根据查询参数和所述程序,获得所述程序运行在弱内存环境上的结果;其中,所述查询参数包括查询参数的类型和或查询参数对应的数值,所述查询参数的类型和或查询参数对应的数值用于指示所述程序中两条指令发生重排序的最大间隔,所述两条指令的间隔小于或等于所述最大间隔时所述程序在弱内存环境上错误运行,所述两条指令的间隔大于所述最大间隔时所述程序在弱内存环境上正确运行。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人华为技术有限公司,其通讯地址为:518129 广东省深圳市龙岗区坂田华为总部办公楼;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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