Static data race detection and analysis
US8510604B2 · kind B2 · utility
2Cited by
4References
20Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Mar 2, 2011 |
| Grant date | Aug 13, 2013 |
| Priority date | — |
| Expiry date | Jan 29, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Static data race analysis of at least a portion of a multi-threaded application in order to identify potential data race defects in the multi-threaded application. The static data race analysis includes intra-component static analysis as well as inter-component static analysis. The intra-component static analysis for a given component involves identifying a set of memory accesses operations in the component. For each of at least one of the set of memory access operations, the analysis determines whether there is a data race protection element associated with the memory access command.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.