买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉微软技术许可有限责任公司申请的专利基于在时间旅行调试期间更改函数内部加载的数据竞争分析获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114245892B 。

龙图腾网通过国家知识产权局官网在2025-07-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202080056933.6，技术领域涉及：G06F11/3698；该发明授权基于在时间旅行调试期间更改函数内部加载的数据竞争分析是由J·莫拉设计研发完成，并于2020-06-11向国家知识产权局提交的专利申请。

本基于在时间旅行调试期间更改函数内部加载的数据竞争分析在说明书摘要公布了：确定函数内部加载修改是否影响被追踪的函数的所述输出。函数在实体的先前执行的被追踪部分内被标识。该函数包括可执行指令序列，并且产生一个或多个输出。由该函数的被追踪的实例产生的多个追踪的输出数据值被确定，并且该可执行指令序列内的执行从存储器的加载的可执行指令被标识。该函数的执行被仿真，同时用不同的存储器值替换在所述函数的被追踪的实例期间由所述可执行指令加载的追踪存储器值，并且同时产生多个仿真的输出数据值。基于在多个被追踪的输出数据值与多个仿真的输出数据值之间存在差异，通知在用户接口处或者向软件组件被生成。

本发明授权基于在时间旅行调试期间更改函数内部加载的数据竞争分析在权利要求书中公布了：1.一种在包括一个或多个处理器和存储器的计算机系统处实现的方法，用于使用被记录的执行来确定函数内部加载修改是否影响被追踪的函数的一个或多个输出，所述方法包括： 访问被记录的执行，所述被记录的执行包括轨迹数据，所述轨迹数据追踪可执行实体的可执行代码的至少一部分的先前执行，所述轨迹数据使得能够重放所述可执行实体的所述部分的所述先前执行； 标识所述可执行实体的可执行代码的被追踪的所述部分内的函数，所述函数包括可执行指令序列，所述函数消耗零个或更多个输入并且产生一个或多个输出； 基于所述轨迹数据，确定在所述先前执行期间由所述函数的被追踪的实例产生的一个或多个被追踪的输出数据值； 在所述函数的所述可执行指令序列内标识执行从存储器的加载的至少一个可执行指令； 根据所述轨迹数据来仿真所述函数的执行，包括： 用不同的存储器值替换在所述函数的所述被追踪的实例期间由所述至少一个可执行指令加载的被追踪的存储器值；以及 产生针对所述一个或多个输出的一个或多个仿真的输出数据值； 比较所述一个或多个被追踪的输出数据值和所述一个或多个仿真的输出数据值，包括确定在所述一个或多个被追踪的输出数据值与所述一个或多个仿真的输出数据值之间是否存在差异； 作为数据竞争分析的一部分，分析用不同的存储器值替换所述被追踪的存储器值的影响，包括基于所述比较确定用所述不同的存储器值替换所述被追踪的存储器值是否对应于数据竞争的校正或数据竞争的模拟；以及 输出所述函数的所述模拟的结果和所述分析的结果，包括基于在所述一个或多个被追踪的输出数据值与所述一个或多个仿真的输出数据值之间存在差异，在用户接口处或者向软件组件生成通知。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人微软技术许可有限责任公司，其通讯地址为：美国华盛顿州；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。