Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs
US7516446B2 · kind B2 · utility
57Cited by
9References
28Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jun 25, 2002 |
| Grant date | Apr 7, 2009 |
| Priority date | — |
| Expiry date | Jan 3, 2024 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3632
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of detecting a datarace between first and second memory accesses within a program, including: determining whether the first and second memory accesses are to the same memory location; determining whether the first and second memory accesses are executed by different threads in the program; determining whether the first and second memory accesses are guarded by a common synchronization object; and determining whether there is an execution ordering enforced between the first and second memory accesses.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.