Atomicity violation detection using access interleaving invariants
US8533681B2 · kind B2 · utility
4Cited by
1References
16Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Sep 19, 2007 |
| Grant date | Sep 10, 2013 |
| Priority date | — |
| Expiry date | Jan 11, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F12/0815
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
During execution of a program, the situation where the atomicity of a pair of instructions that are to be executed atomically is violated is identified, and a bug is detected as occurring in the program at the pair of instructions. The pairs of instructions that are to be executed atomically can be identified in different manners, such as by executing a program multiple times and using the results of those executions to automatically identify the pairs of instructions.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.