• Agarwal, R., Bensalem, S., Farchi, E., Havelund, K., Nir-Buchbinder, Y., Stoller, S. D., Ur, S., & Wang, L. (2010). Detection of deadlock potentials in multi-threaded programs. IBMJournal of Research and Development, 54(5).

• Agarwal, R, Wang, L, & Stoller, S. D. (2006). Detecting potential deadlocks with static analysis and runtime monitoring. InProceedings of the parallel and distributed systems, testing and debugging (Vol. 5503, pp. 425–439). Berlin: Springer.

• Bracha, G, & Toueg, S (1987). Distributed deadlock detection.Distributed Computing, Springer Berlin Heidelberg,2(3), 127–138.

  Article MATH  Google Scholar 

• Brzezinski, J, Helary, J-M, Raynal, M, & Singhal, M (1995). Deadlock models and a general algorithm for distributed deadlock detection.Journal of Parallel and Distributed Computing Elsevier,31(2), 112–125.

  Article  Google Scholar 

• Cidon, I., Jaffe, J., & Sidi, M. (1987). Distributed store-and-forward deadlock detection and resolution algorithms.IEEE Transactions on Communications IEEE,35 (11), 1139–1145.

  Article MATH  Google Scholar 

• Chen, S, Deng, Y, Attie, P, & Sun, W (1996). Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs. InProceedings of the 16th international conference on distributed computing systems (pp. 613–619). IEEE.

• Gupta, S (2013). Deadlock detection techniques in distributed database system.International Journal of Computer Applications, Foundation of Computer Science 74(21).

• Ho Gary, S, & Ramamoorthy, CV (1982). Protocols for deadlock detection in distributed database systems.IEEE Transactions on Software Engineering IEEE,6, 554–557.

  Google Scholar 

• Holt, RC (1972). Some deadlock properties of computer systems.ACM Computing Surveys (CSUR) ACM,4(3), 179–196.

  Article MathSciNet  Google Scholar 

• Huang, H, Wang, L, Lee, E-J, & Chen, P (2012). An MPI-CUDA implementation and optimization for parallel sparse equations and least squares (LSQR).Procedia Computer Science Elsevier,9, 76–85.

  Article  Google Scholar 

• Knapp, E (1987). Deadlock detection in distributed databases.ACM Computing Surveys (CSUR) ACM,19(4), 303–328.

  Article  Google Scholar 

• Kshemkalyani Ajay, D, & Mukesh, S (1994). Efficient detection and resolution of generalized distributed deadlocks.IEEE Transactions on Software Engineering IEEE,20(1), 43–54.

  Article  Google Scholar 

• Kshemkalyani Ajay, D, & Mukesh, S (1997). Distributed detection of generalized deadlocks. InProceedings of the 17th international conference on distributed computing systems (pp. 553–560). IEEE.

• Kshemkalyani Ajay, D, & Mukesh, S (1999). A one-phase algorithm to detect distributed deadlocks in replicated databases.IEEE Transactions on Knowledge and Data Engineering IEEE,11(6), 880–895.

  Article  Google Scholar 

• Lee, S (2001). Efficient generalized deadlock detection and resolution in distributed systems. InThe 21st international conference on distributed computing systems (pp. 47–54). IEEE.

• Lee, S (2004). Centralized detection and resolution of distributed deadlocks in the generalized model.IEEE Transactions on Software Engineering IEEE,30(9), 561–573.

  Article  Google Scholar 

• Lu, W, Yang, Y, Wang, L, Xing, W, & Che, X (2015).A novel concurrent generalized deadlock detection algorithm in distributed systems, algorithms and architectures for parallel processing (pp. 479–493). Berlin: Springer.

• Lu, W, Yang, Y, Wang, L, Xing, W, & Che, X (2016). A leader election based deadlock detection algorithm in distributed systems. InProceedings of the 1st international workshop on specification, comprehension, testing, and debugging of concurrent programs (pp. 12–19). ACM.

• Luo, K. C. K., Klostermeyer, W. F., & Chow, Y. -C. (1993). A distributed algorithm for detecting and resolving store-and-forward deadlocks in networks with minimum exchange buffers. InINFOCOM ’93. Proceedings twelfth annual joint conference of the IEEE computer and communications societies (pp. 994–1003). IEEE.

• Ma, H, Diersen, SR, Wang, L, Liao, C, Quinlan, D, & Yang, Z (2013). Symbolic analysis of concurrency errors in openmp programs. InThe 42nd international conference on parallel processing (pp. 510–516). IEEE.

• Menasce, DA, & Muntz, RR (1979). Locking and deadlock detection in distributed data bases.IEEE Transactions on Software Engineering IEEE,3, 195–202.

  Article MATH  Google Scholar 

• Raynal, M (2014). Simple deadlock detection for the and-communication model. InEighth international conference on complex, intelligent and software intensive systems (CISIS ’14) (pp. 273–278). IEEE.

• Selvaraj, S, & Ramasamy, R (2010). An efficient detection and resolution of generalized deadlocks in distributed systems.International Journal of Computer Applications,1(19), 1–7.

  Article  Google Scholar 

• Singh, S, & Tyagi, SS (2012). A review of distributed deadlock detection techniques based on diffusion computation approach.International Journal of Computer Applications, Foundation of Computer Science,48(9), 28–32.

  Article  Google Scholar 

• Srinivasan, S, & Rajaram, R (2011). A decentralized deadlock detection and resolution algorithm for generalized model in distributed systems.Distributed and Parallel Databases Springer Berlin Heidelberg,29(4), 261–276.

  Article  Google Scholar 

• Srinivasan, S, & Rajaram, R (2012). An improved, centralised algorithm for detection and resolution of distributed deadlock in the generalised model.International Journal of Parallel, Emergent and Distributed Systems Taylor Francis,27(3), 205–224.

  Article  Google Scholar 

• Tao, Z, Hui, L, Zhu, B, & Wang, Y (2014). A semi-centralized algorithm to detect and resolve distributed deadlocks in the generalized model. InIEEE 17th international conference on computational science and engineering (CSE ’14) (pp. 735–740). IEEE.

• Tomar, P., & Bhardwaj, M. (2015). A review on deadlock detection in distributed database.Advances in Computer Science and Information Technology,2(8), 63–65.

  Google Scholar 

• Wang, L, Lu Shiyong, Xubo, F, Artem, C, Victoria, BH, & Ram, J (2009). Atomicity and provenance support for pipelined scientific workflows.Journal of Future Generation Computer Systems Elsevier,25(5), 568–576.

  Article  Google Scholar 

Download references