微软技术许可有限责任公司J·莫拉获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉微软技术许可有限责任公司申请的专利使用差异图对时间旅行跟踪进行索引和重放获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114424171B 。
龙图腾网通过国家知识产权局官网在2026-04-07发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202080065438.1，技术领域涉及：G06F11/362；该发明授权使用差异图对时间旅行跟踪进行索引和重放是由J·莫拉设计研发完成，并于2020-06-17向国家知识产权局提交的专利申请。
本使用差异图对时间旅行跟踪进行索引和重放在说明书摘要公布了：利用差异图进行跟踪索引和重放。重放以第一指令开始且以第二指令结束的跟踪的指令的子集以获得一个或多个命名资源的状态。基于重放指令的子集，生成差异图，该差异图被结构化为使得在第一指令处的差异图的添加将一个或多个命名资源带到第二状态，并且在第二指令处的差异图的减去将一个或多个命名资源带到第一状态。到达目标指令的一部分，稍后在第一指令处添加差异图以在第二指令处恢复第二状态，或者在第二指令处减去差异图以恢复第一指令的第一状态。
本发明授权使用差异图对时间旅行跟踪进行索引和重放在权利要求书中公布了：1.一种用于利用差异图对跟踪进行索引的方法，所述方法在包括至少一个处理器的计算机系统处被实现，所述方法包括： 访问可重放跟踪，所述可重放跟踪记录实体的一个或多个线程的先前执行； 在跟踪段内标识所述一个或多个线程中的第一线程的多个指令的序列的子集，所述跟踪段记录所述指令的所述序列的先前执行，指令的所述子集以第一指令开始并以第二指令结束； 重放指令的所述子集以获得一个或多个命名资源的状态，所述一个或多个命名资源在所述第一指令处具有第一状态并在所述第二指令处具有不同的第二状态； 基于重放指令的所述子集，针对指令的所述子集生成差异图，所述差异图包括对所述第一状态的一个或多个可逆数学运算，所述一个或多个可逆数学运算将所述第一状态转换为所述第二状态，使得通过将所述一个或多个可逆数学运算应用于所述第一状态的、在所述第一指令处的所述差异图的添加将所述一个或多个命名资源带到所述第二状态，并且通过将所述一个或多个可逆数学运算的逆应用于所述第二状态的、在所述第二指令处的所述差异图的减去将所述一个或多个命名资源带到所述第一状态；以及 结合所述跟踪来存储所述差异图。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人微软技术许可有限责任公司，其通讯地址为：美国华盛顿州；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励