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