Deadlock detection in a parallel program
US8448175B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Oct 29, 2010 |
| Grant date | May 21, 2013 |
| Priority date | — |
| Expiry date | Jun 16, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2201/865
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and system of deadlock detection in a parallel program, the method comprising: recording lock events during the operation of the parallel program and a first order relation among the lock events; converting information relevant to the operation of the parallel program into gate lock events and recording the gate lock events; establishing a second order relation among the gate lock events and lock events associated with the gate lock events and adding the second order relation to the first order relation; constructing a lock graph corresponding to the operation procedure of the parallel program based on the added first order relation; and performing deadlock detection on the constructed lock graph. The deadlock detection method of the invention can improve the accuracy of deadlock detection without depending on the deadlock detection algorithm per se, and can be applied with facility to various development environments and reduce development costs.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.