Verifying synchronization coverage in logic code
US9600347B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 26, 2009 |
| Grant date | Mar 21, 2017 |
| Priority date | — |
| Expiry date | Aug 26, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3688
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.