Data race detection
US8813038B2 · kind B2 · utility
10Cited by
11References
19Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Feb 9, 2011 |
| Grant date | Aug 19, 2014 |
| Priority date | — |
| Expiry date | Oct 18, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3636
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The claimed subject matter provides a method for detecting a data race. The method includes inserting a plurality of breakpoints into a corresponding plurality of program locations. Each of the program locations accesses a plurality of memory locations. Each of the program locations is selected randomly. The method also includes detecting one or more data races for the memory locations in response to one or more of the breakpoints firing. Additionally, the method includes generating a report describing the one or more data races.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.