Invention Grant
- Patent Title: Method and system for detecting program deadlock
- Patent Title (中): 检测程序死锁的方法和系统
-
Application No.: US13915201Application Date: 2013-06-11
-
Publication No.: US08972999B2Publication Date: 2015-03-03
- Inventor: Wei Li , Zhi Da Luo , Yao Qi
- Applicant: International Business Machines Corporation
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agent Parashos T. Kalaitzis; Robert C. Rolnik
- Priority: CN201010150075 20100416
- Main IPC: G06F9/46
- IPC: G06F9/46 ; G06F9/52

Abstract:
The present invention relates to a technology for deadlock detection in a program, and more particularly relates to a technology for detecting deadlock in a program through lock graph analysis. The present invention provides a method for detecting deadlock, comprising: obtaining lock information related to locking operation in a program; generating a first lock graph based on the obtained lock information, wherein each node in the first lock graph comprises a set of locks comprising at least one lock and a set of program locations comprising at least one lock location; extracting a strongly connected sub graph in the first lock graph; unfolding the strongly connected sub graph in the first lock graph to generate a second lock graph, wherein each node in the second lock graph comprises a single lock; and extracting a strongly connected sub graph in the second lock graph, the strongly connected sub graph in the second lock graph indicating a deadlock in the program.
Public/Granted literature
- US20130275982A1 METHOD AND SYSTEM FOR DETECTING PROGRAM DEADLOCK Public/Granted day:2013-10-17
Information query