Timing related bug detector method for detecting data races
US6405326B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 8, 1999 |
| Grant date | Jun 11, 2002 |
| Priority date | — |
| Expiry date | Jun 8, 2019 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3632
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer system running under the control of an OS having a scheduler. The computer system includes a multi-threaded computer program that is partitioned into structures of which some are parallel. There is provided a Time-Related-Bug-Detector (TRBD) method for detecting data races between parallel structures in respect of common memory structures. The method includes performing the steps of coupling a private scheduler to the OS. Thereafter, running the program in few cycles and, during each cycle of program run, the private scheduler synchronizing the structures according to a specific interleaving of a partial order. For each cycle logging the results of the program, until every possible interleaving of the partial order has been tested. Thereafter, comparing the results, and in the case that they are identical indicating that said program is race free in a give degree of confidence, otherwise indicating that the program is susceptible to a data race in respect to a common memory.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.