Deadlock Detection Based on Resource Allocation Graph

Deadlock occurs randomly and is difficult to detect, it always has a negative impact on the effective execution of operating system. This paper uses the principle of adjacency matrix, path matrix and strongly-connected component of simple directed graph in graph theory, gives a model of detecting deadlock by exploring strongly-connected component from resource allocation graph. The experiment shows that it can detect resources and processes involved in deadlock effectively by this detection method. The paper provides a new idea for the research of operating system algorithms, and a new way for auxiliary teaching and practical engineering.

[1]  Joaquín Ezpeleta,et al.  A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states , 2002, IEEE Trans. Robotics Autom..

[2]  Nagi Gebraeel,et al.  Deadlock detection, prevention, and avoidance for automated tool sharing systems , 2001, IEEE Trans. Robotics Autom..

[3]  I. Cahit.  Deadlock detection using (0, 1)-labelling of resource allocation graphs , 1998 .

[4]  Junguk L. Kim,et al.  Performance Analysis of Distributed Deadlock Detection Algorithms , 2001, IEEE Trans. Knowl. Data Eng..

[5]  Cheng Xin.  A distributed deadlock detection algorithm for mobile computing system , 2005 .

[6]  刘宏伟,et al.  A distributed deadlock detection algorithm for mobile computing system , 2005 .

[7]  Wei-Ngan Chin,et al.  An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model , 2002, IEEE Trans. Software Eng..

[8]  Jaehwan Lee,et al.  A novel deadlock avoidance algorithm and its hardware implementation , 2004, International Conference on Hardware/Software Codesign and System Synthesis, 2004. CODES + ISSS 2004..

[9]  Kenneth H. Rosen,et al.  Discrete Mathematics and its applications , 2000 .

[10]  Donald F. Towsley,et al.  A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution , 1989, IEEE Trans. Software Eng..

[11]  James F. Lynch.  Random Resource Allocation Graphs and the Probability of Deadlock , 1994, SIAM J. Discret. Math..

[12]  Cheng Xin,et al.  A concurrent distributed deadlock detection/resolution algorithm for distributed systems , 2005 .

[13]  Yudong Tan,et al.  A novel parallel deadlock detection algorithm and architecture , 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).