微软技术许可有限责任公司D·迈尔斯获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉微软技术许可有限责任公司申请的专利基于历史调试追踪来标识数据不一致和数据争用获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN113785284B 。
龙图腾网通过国家知识产权局官网在2025-08-19发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202080032369.4，技术领域涉及：G06F16/23；该发明授权基于历史调试追踪来标识数据不一致和数据争用是由D·迈尔斯;J·M·戴维斯;T·莱;A·R·斯特兰德;D·陈;P·L·尼尔森;J·莫拉;J·C·亚雷瓦罗·巴埃扎;J·M·平克顿;L·Y·理查森;K·W·塞克斯设计研发完成，并于2020-04-01向国家知识产权局提交的专利申请。
本基于历史调试追踪来标识数据不一致和数据争用在说明书摘要公布了：基于历史调试追踪来标识和报告潜在数据不一致和或潜在数据争用。基于线程的重放，一些实现观察值到存储器单元的流入，并且确定从流入中观察的存储器单元的值是否与线程所已知的存储器单元的先前值不一致。如果是这样，则这些实现可以发起数据不一致的指示。基于多个线程的重放，其他实现标识在线程同步机制在第一线程上有效时由第一线程访问的存储器单元。然后，如果由第二线程在未使用线程同步机制的情况下对存储器单元进行了另一访问，则这些实现可以发起潜在数据争用的指示。
本发明授权基于历史调试追踪来标识数据不一致和数据争用在权利要求书中公布了：1.一种在计算机系统处实现的用于指示在线程的先前执行期间观察的数据不一致的方法，所述计算机系统包括一个或多个处理器，所述方法包括： 基于表示线程的先前执行的追踪，重放所述线程的所述先前执行； 基于重放所述线程的所述先前执行，观察存储器单元的值的流入，所述流入包括在所述线程的所述先前执行的所述重放中的执行时间点处，所述线程与所述存储器单元的所述值之间的交互； 确定在所述线程的所述先前执行的所述重放中的所述执行时间点处，从所述流入中观察的所述存储器单元的所述值与所述线程所已知的所述存储器单元的先前值不一致；以及 至少基于从所述流入中观察的所述存储器单元的所述值与所述存储器单元的所述先前值不一致，发起数据不一致的指示； 其中观察所述值到所述存储器单元的所述流入包括：处理追踪数据分组，所述追踪数据分组指示所述存储器单元存储了所述值。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人微软技术许可有限责任公司，其通讯地址为：美国华盛顿州；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号