Deadlock detection for parallel programs
First Claim
Patent Images
1. A computer implemented method for deadlock detection of parallel programs, comprising:
- identifying a set of locations where the lock of the parallel programs may be finally used in the running procedure of the parallel programs;
adding marks in the vicinity of locations that the lock of the parallel programs may be finally used, wherein the marks are used to trigger, in the running procedure of the parallel programs, event notifications that the lock of the parallel programs may no longer be used;
in response to receiving all event notifications that the lock of the parallel programs may no longer be used as triggered by the marks, determining, by the computer, that a lock of the parallel programs is no longer used in a running procedure of the parallel programs;
deleting, by the computer, a node corresponding to the lock that is no longer used, and edges relating to the lock that is no longer used, from a lock graph corresponding to the running procedure of the parallel programs to acquire an updated lock graph, wherein the lock graph is constructed according to lock operations of the parallel programs; and
performing deadlock detection on the updated lock graph by the computer.
0 Assignments
0 Petitions
Accused Products
Abstract
A deadlock detection method and computer system for parallel programs. A determination is made that a lock of the parallel programs is no longer used in a running procedure of the parallel programs. A node corresponding to the lock that is no longer used, and edges relating to the lock that is no longer used, are deleted from a lock graph corresponding to the running procedure of the parallel programs in order to acquire an updated lock graph. The lock graph is constructed according to a lock operation of the parallel programs. Deadlock detection is then performed on the updated lock graph.
-
Citations
7 Claims
-
1. A computer implemented method for deadlock detection of parallel programs, comprising:
-
identifying a set of locations where the lock of the parallel programs may be finally used in the running procedure of the parallel programs; adding marks in the vicinity of locations that the lock of the parallel programs may be finally used, wherein the marks are used to trigger, in the running procedure of the parallel programs, event notifications that the lock of the parallel programs may no longer be used; in response to receiving all event notifications that the lock of the parallel programs may no longer be used as triggered by the marks, determining, by the computer, that a lock of the parallel programs is no longer used in a running procedure of the parallel programs; deleting, by the computer, a node corresponding to the lock that is no longer used, and edges relating to the lock that is no longer used, from a lock graph corresponding to the running procedure of the parallel programs to acquire an updated lock graph, wherein the lock graph is constructed according to lock operations of the parallel programs; and performing deadlock detection on the updated lock graph by the computer. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
Specification