Patent ID: 8972999
Filing Date: 2015-03-03
Classification: G06F

Abstract:
1. A method for detecting program deadlock, comprising the steps of: obtaining lock information related to locking operation in a program to form obtained lock information; 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 program location, wherein the generating the first lock graph further comprises: 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, wherein the first lock graph and the second lock graph comprise directed edges, which indicate locking operation of the at least one particular thread at at least the first program location.