Detecting concurrency errors in multi-threaded programs
US6009269A · kind A · utility
96Cited by
11References
19Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Mar 10, 1997 |
| Grant date | Dec 28, 1999 |
| Priority date | — |
| Expiry date | Mar 10, 2017 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3644
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer implemented method detects concurrency errors in programs. Machine executable images of multiple program threads are instrumented to locate and replace instructions which affect concurrency states of the threads. Concurrency state information is recorded in a memory while the multiple threads are executing. The recorded concurrency state information is analyzed, and inconsistent dynamic concurrency state transitions are reported as concurrency errors.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.