公开(公告)号：CN113785284A

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

申请号：CN202080032369.4

申请日：2020-04-01

申请人： 微软技术许可有限责任公司

发明人： 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

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

公开(公告)号：CN118901061A

公开(公告)日：2024-11-05

申请号：CN202380028732.9

申请日：2023-01-26

申请人： 微软技术许可有限责任公司

发明人： P·L·尼尔森 ,  N·L·卡平斯基 ,  韩立祺

IPC分类号： G06F11/36 ,  G06F11/34

摘要： 计算机系统被配置为在程序的执行期间分析程序。分析程序包括：由第一分析器获得与程序的执行相关联的第一信息集合，以及获得与函数的一个或多个执行相关联的第二信息集合。第二信息集合至少包括函数的一个或多个执行中的每个执行的调用计数或执行时间。然后，计算机系统标识与函数的一个或多个执行相关联的第一信息集合的子集，并且基于第一信息集合的子集和第二信息集合来创建聚合信息。然后，聚合信息被报告。