{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T15:36:25Z","timestamp":1778168185886,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T00:00:00Z","timestamp":1497830400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T00:00:00Z","timestamp":1497830400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61272353"],"award-info":[{"award-number":["61272353"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61370128"],"award-info":[{"award-number":["61370128"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61428201"],"award-info":[{"award-number":["61428201"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61502028"],"award-info":[{"award-number":["61502028"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004602","name":"Program for New Century Excellent Talents in University","doi-asserted-by":"publisher","award":["NCET-13-0659"],"award-info":[{"award-number":["NCET-13-0659"]}],"id":[{"id":"10.13039\/501100004602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010026","name":"Beijing Higher Education Young Elite Teacher Project","doi-asserted-by":"crossref","award":["YETP-0583"],"award-info":[{"award-number":["YETP-0583"]}],"id":[{"id":"10.13039\/501100010026","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1622292"],"award-info":[{"award-number":["1622292"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s11219-017-9379-1","type":"journal-article","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T01:51:25Z","timestamp":1497837085000},"page":"991-1013","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A fault tolerant election-based deadlock detection algorithm in distributed systems"],"prefix":"10.1007","volume":"26","author":[{"given":"Wei","family":"Lu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0172-4890","authenticated-orcid":false,"given":"Yong","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Liqiang","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Weiwei","family":"Xing","sequence":"additional","affiliation":[]},{"given":"Xiaoping","family":"Che","sequence":"additional","affiliation":[]},{"given":"Lei","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,19]]},"reference":[{"key":"9379_CR1","doi-asserted-by":"crossref","unstructured":"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. IBM Journal of Research and Development, 54(5).","DOI":"10.1147\/JRD.2010.2060276"},{"key":"9379_CR2","unstructured":"Agarwal, R, Wang, L, & Stoller, S. D. (2006). Detecting potential deadlocks with static analysis and runtime monitoring. In Proceedings of the parallel and distributed systems, testing and debugging (Vol. 5503, pp. 425\u2013439). Berlin: Springer."},{"issue":"3","key":"9379_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01782773","volume":"2","author":"G Bracha","year":"1987","unstructured":"Bracha, G, & Toueg, S (1987). Distributed deadlock detection. Distributed Computing, Springer Berlin Heidelberg, 2(3), 127\u2013138.","journal-title":"Distributed Computing, Springer Berlin Heidelberg"},{"issue":"2","key":"9379_CR4","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1006\/jpdc.1995.1150","volume":"31","author":"J Brzezinski","year":"1995","unstructured":"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\u2013125.","journal-title":"Journal of Parallel and Distributed Computing Elsevier"},{"issue":"11","key":"9379_CR5","doi-asserted-by":"publisher","first-page":"1139","DOI":"10.1109\/TCOM.1987.1096699","volume":"35","author":"I Cidon","year":"1987","unstructured":"Cidon, I., Jaffe, J., & Sidi, M. (1987). Distributed store-and-forward deadlock detection and resolution algorithms. IEEE Transactions on Communications IEEE, 35 (11), 1139\u20131145.","journal-title":"IEEE Transactions on Communications IEEE"},{"key":"9379_CR6","doi-asserted-by":"crossref","unstructured":"Chen, S, Deng, Y, Attie, P, & Sun, W (1996). Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs. In Proceedings of the 16th international conference on distributed computing systems (pp. 613\u2013619). IEEE.","DOI":"10.1109\/ICDCS.1996.508012"},{"key":"9379_CR7","doi-asserted-by":"crossref","unstructured":"Gupta, S (2013). Deadlock detection techniques in distributed database system. International Journal of Computer Applications, Foundation of Computer Science 74(21).","DOI":"10.5120\/13045-0162"},{"key":"9379_CR8","first-page":"554","volume":"6","author":"S Ho Gary","year":"1982","unstructured":"Ho Gary, S, & Ramamoorthy, CV (1982). Protocols for deadlock detection in distributed database systems. IEEE Transactions on Software Engineering IEEE, 6, 554\u2013557.","journal-title":"IEEE Transactions on Software Engineering IEEE"},{"issue":"3","key":"9379_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"RC Holt","year":"1972","unstructured":"Holt, RC (1972). Some deadlock properties of computer systems. ACM Computing Surveys (CSUR) ACM, 4(3), 179\u2013196.","journal-title":"ACM Computing Surveys (CSUR) ACM"},{"key":"9379_CR10","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.procs.2012.04.009","volume":"9","author":"H Huang","year":"2012","unstructured":"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\u201385.","journal-title":"Procedia Computer Science Elsevier"},{"issue":"4","key":"9379_CR11","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/45075.46163","volume":"19","author":"E Knapp","year":"1987","unstructured":"Knapp, E (1987). Deadlock detection in distributed databases. ACM Computing Surveys (CSUR) ACM, 19(4), 303\u2013328.","journal-title":"ACM Computing Surveys (CSUR) ACM"},{"issue":"1","key":"9379_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/32.263754","volume":"20","author":"D Kshemkalyani Ajay","year":"1994","unstructured":"Kshemkalyani Ajay, D, & Mukesh, S (1994). Efficient detection and resolution of generalized distributed deadlocks. IEEE Transactions on Software Engineering IEEE, 20(1), 43\u201354.","journal-title":"IEEE Transactions on Software Engineering IEEE"},{"key":"9379_CR13","unstructured":"Kshemkalyani Ajay, D, & Mukesh, S (1997). Distributed detection of generalized deadlocks. In Proceedings of the 17th international conference on distributed computing systems (pp. 553\u2013560). IEEE."},{"issue":"6","key":"9379_CR14","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1109\/69.824601","volume":"11","author":"D Kshemkalyani Ajay","year":"1999","unstructured":"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\u2013895.","journal-title":"IEEE Transactions on Knowledge and Data Engineering IEEE"},{"key":"9379_CR15","unstructured":"Lee, S (2001). Efficient generalized deadlock detection and resolution in distributed systems. In The 21st international conference on distributed computing systems (pp. 47\u201354). IEEE."},{"issue":"9","key":"9379_CR16","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1109\/TSE.2004.51","volume":"30","author":"S Lee","year":"2004","unstructured":"Lee, S (2004). Centralized detection and resolution of distributed deadlocks in the generalized model. IEEE Transactions on Software Engineering IEEE, 30(9), 561\u2013573.","journal-title":"IEEE Transactions on Software Engineering IEEE"},{"key":"9379_CR17","unstructured":"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\u2013493). Berlin: Springer."},{"key":"9379_CR18","doi-asserted-by":"crossref","unstructured":"Lu, W, Yang, Y, Wang, L, Xing, W, & Che, X (2016). A leader election based deadlock detection algorithm in distributed systems. In Proceedings of the 1st international workshop on specification, comprehension, testing, and debugging of concurrent programs (pp. 12\u201319). ACM.","DOI":"10.1145\/2975954.2975955"},{"key":"9379_CR19","doi-asserted-by":"crossref","unstructured":"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. In INFOCOM \u201993. Proceedings twelfth annual joint conference of the IEEE computer and communications societies (pp. 994\u20131003). IEEE.","DOI":"10.1109\/INFCOM.1993.253266"},{"key":"9379_CR20","doi-asserted-by":"crossref","unstructured":"Ma, H, Diersen, SR, Wang, L, Liao, C, Quinlan, D, & Yang, Z (2013). Symbolic analysis of concurrency errors in openmp programs. In The 42nd international conference on parallel processing (pp. 510\u2013516). IEEE.","DOI":"10.1109\/ICPP.2013.63"},{"key":"9379_CR21","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/TSE.1979.234181","volume":"3","author":"DA Menasce","year":"1979","unstructured":"Menasce, DA, & Muntz, RR (1979). Locking and deadlock detection in distributed data bases. IEEE Transactions on Software Engineering IEEE, 3, 195\u2013202.","journal-title":"IEEE Transactions on Software Engineering IEEE"},{"key":"9379_CR22","doi-asserted-by":"crossref","unstructured":"Raynal, M (2014). Simple deadlock detection for the and-communication model. In Eighth international conference on complex, intelligent and software intensive systems (CISIS \u201914) (pp. 273\u2013278). IEEE.","DOI":"10.1109\/CISIS.2014.38"},{"issue":"19","key":"9379_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5120\/412-610","volume":"1","author":"S Selvaraj","year":"2010","unstructured":"Selvaraj, S, & Ramasamy, R (2010). An efficient detection and resolution of generalized deadlocks in distributed systems. International Journal of Computer Applications, 1(19), 1\u20137.","journal-title":"International Journal of Computer Applications"},{"issue":"9","key":"9379_CR24","doi-asserted-by":"publisher","first-page":"28","DOI":"10.5120\/7377-0186","volume":"48","author":"S Singh","year":"2012","unstructured":"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\u201332.","journal-title":"International Journal of Computer Applications, Foundation of Computer Science"},{"issue":"4","key":"9379_CR25","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10619-011-7078-7","volume":"29","author":"S Srinivasan","year":"2011","unstructured":"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\u2013276.","journal-title":"Distributed and Parallel Databases Springer Berlin Heidelberg"},{"issue":"3","key":"9379_CR26","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1080\/17445760.2011.629999","volume":"27","author":"S Srinivasan","year":"2012","unstructured":"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\u2013224.","journal-title":"International Journal of Parallel, Emergent and Distributed Systems Taylor Francis"},{"key":"9379_CR27","doi-asserted-by":"crossref","unstructured":"Tao, Z, Hui, L, Zhu, B, & Wang, Y (2014). A semi-centralized algorithm to detect and resolve distributed deadlocks in the generalized model. In IEEE 17th international  conference on computational science and engineering (CSE \u201914) (pp. 735\u2013740). IEEE.","DOI":"10.1109\/CSE.2014.152"},{"issue":"8","key":"9379_CR28","first-page":"63","volume":"2","author":"P Tomar","year":"2015","unstructured":"Tomar, P., & Bhardwaj, M. (2015). A review on deadlock detection in distributed database. Advances in Computer Science and Information Technology, 2(8), 63\u201365.","journal-title":"Advances in Computer Science and Information Technology"},{"issue":"5","key":"9379_CR29","doi-asserted-by":"publisher","first-page":"568","DOI":"10.1016\/j.future.2008.06.007","volume":"25","author":"L Wang","year":"2009","unstructured":"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\u2013576.","journal-title":"Journal of Future Generation Computer Systems Elsevier"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-017-9379-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9379-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9379-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:55:46Z","timestamp":1589730946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-017-9379-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,19]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["9379"],"URL":"https:\/\/doi.org\/10.1007\/s11219-017-9379-1","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,19]]},"assertion":[{"value":"19 June 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}