Systems and methods for finding concurrency errors
US8832659B2 · kind B2 · utility
6Cited by
9References
17Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 6, 2011 |
| Grant date | Sep 9, 2014 |
| Priority date | — |
| Expiry date | Jun 14, 2032 |
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.