公开(公告)号：CN113785284A

公开(公告)日：2021-12-10

申请号：CN202080032369.4

申请日：2020-04-01

Applicant: 微软技术许可有限责任公司

Inventor： D·迈尔斯 ,  J·M·戴维斯 ,  T·莱 ,  A·R·斯特兰德 ,  D·陈 ,  P·L·尼尔森 ,  J·莫拉 ,  J·C·亚雷瓦罗·巴埃扎 ,  J·M·平克顿 ,  L·Y·理查森 ,  K·W·塞克斯

IPC: G06F16/23 ,  G06F11/36 ,  G06F9/48

Abstract: 基于历史调试追踪来标识和报告潜在数据不一致和/或潜在数据争用。基于线程的重放，一些实现观察值到存储器单元的流入，并且确定从流入中观察的存储器单元的值是否与线程所已知的存储器单元的先前值不一致。如果是这样，则这些实现可以发起数据不一致的指示。基于多个线程的重放，其他实现标识在线程同步机制在第一线程上有效时由第一线程访问的存储器单元。然后，如果由第二线程在未使用线程同步机制的情况下对存储器单元进行了另一访问，则这些实现可以发起潜在数据争用的指示。