Systems and methods for finding concurrency errors
US9146737B2 · kind B2 · utility
0Cited by
15References
19Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Aug 20, 2014 |
| Grant date | Sep 29, 2015 |
| Priority date | — |
| Expiry date | Aug 20, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3688
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Systems and methods for detecting concurrency bugs are provided. In some embodiments, context-aware communication graphs that represent inter-thread communication are collected during test runs, and may be labeled according to whether the test run was correct or failed. Graph edges that are likely to be associated with failed behavior are determined, and probable reconstructions of failed behavior are constructed to assist in debugging. In some embodiments, software instrumentation is used to collect the communication graphs. In some embodiments, hardware configured to collect the communication graphs is provided.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.