Identifying data inconsistencies and data contention based on historic debugging traces
US11604720B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 13, 2021 |
| Grant date | Mar 14, 2023 |
| Priority date | — |
| Expiry date | Sep 13, 2041 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F16/2365
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Based on replay of a thread, one implementation observes an influx of a value of a memory cell comprising an interaction between the thread and the value of the memory cell at an execution time point in the replaying, and determines whether the value of the memory cell observed from the influx is inconsistent with a prior value of the memory cell as known by the thread at the execution time point. If so, this implementation initiates an indication of a data inconsistency. Based on replay of a plurality of threads, another implementation identifies a memory cell that was accessed by a first thread while a thread synchronization mechanism was active on the first thread. Then, if there was another access to the memory cell by a second thread without use of the thread synchronization mechanism, this implementation initiates an indication of a potential data contention.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.