{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:59Z","timestamp":1725497219797},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642356315"},{"type":"electronic","value":"9783642356322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35632-2_3","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T00:40:54Z","timestamp":1358210454000},"page":"3-18","source":"Crossref","is-referenced-by-count":4,"title":["Dynamic Livelock Analysis of Multi-threaded Programs"],"prefix":"10.1007","author":[{"given":"Malay K.","family":"Ganai","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Ho, A., Smith, S., Hand, S.: On deadlock, livelock, and forward progress. Technical Report UCAM-CL-Tr-633, University of Cambridge, Computer Laboratory (2005)"},{"key":"3_CR2","unstructured":"Stallings, W.: Operating Systems: Internals and Design Principles. Prentice Hall (2001)"},{"issue":"3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/263326.263335","volume":"15","author":"J.C. Mogul","year":"1997","unstructured":"Mogul, J.C., Ramakrishnan, K.K.: Eliminating receive livelock in an interrupt-driven kemel. ACM Trans. Comput. Syst.\u00a015(3), 217\u2013252 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Tai, K.-C.: Definitions and detection of deadlock, livelock, and starvation in concurrent programs. In: ICPP, pp. 69\u201372 (1994)","DOI":"10.1109\/ICPP.1994.84"},{"issue":"3","key":"3_CR5","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S.S. Owicki","year":"1982","unstructured":"Owicki, S.S., Lamport, L.: Proving liveness properties of concurrent programs. ACM Trans. Program. Lang. Syst.\u00a04(3), 455\u2013495 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR6","unstructured":"Sqlite-Users, \n                  \n                    http:\/\/www.mail-archive.com\/sqlite-userssqlite.org\/msg41725.html"},{"key":"3_CR7","unstructured":"Sqlite-Users, \n                  \n                    http:\/\/www.mail-archive.com\/sqlite-userssqlite.org\/msg32658.html"},{"key":"3_CR8","unstructured":"Sqlite-Users, \n                  \n                    http:\/\/www.mail-archive.com\/sqlite-userssqlite.org\/msg54618.html"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-73230-3_6","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"J. Blieberger","year":"2007","unstructured":"Blieberger, J., Burgstaller, B., Mittermayr, R.: Static Detection of Livelocks in Ada Multitasking Programs. In: Abdennadher, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 69\u201383. Springer, Heidelberg (2007)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-23217-6_26","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"J. Ouaknine","year":"2011","unstructured":"Ouaknine, J., Palikareva, H., Roscoe, A.W., Worrell, J.: Static Livelock Analysis in CSP. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol.\u00a06901, pp. 389\u2013403. Springer, Heidelberg (2011)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Holzmann, G.: The model checker spin. IEEE Transactions on Software Engineering (1997)","DOI":"10.1109\/32.588521"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proc. of ASE (2000)","DOI":"10.1109\/ASE.2000.873645"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/TPDS.2006.78","volume":"17","author":"T. Li","year":"2006","unstructured":"Li, T., Lebeck, A.R., Sorin, D.J.: Spin detection hardware for improved management of multithreaded systems. IEEE Transactions on Parallel and Distrubuted Systems\u00a017, 508\u2013521 (2006)","journal-title":"IEEE Transactions on Parallel and Distrubuted Systems"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Ashcraft, K.: RacerX: effective, static detection of race conditions and deadlocks. In: SOSP, pp. 237\u2013252 (2003)","DOI":"10.1145\/1165389.945468"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/11531142_26","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A. Williams","year":"2005","unstructured":"Williams, A., Thies, W., Ernst, M.D.: Static Deadlock Detection for Java Libraries. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 602\u2013629. Springer, Heidelberg (2005)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Shanbhag, V.K.: Deadlock-detection in Java-library using static-analysis. In: APSEC, pp. 361\u2013368 (2008)","DOI":"10.1109\/APSEC.2008.68"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Naik, M., Park, C.-S., Sen, K., Gay, D.: Effective static deadlock detection. In: Proc. of ICSE, pp. 386\u2013396 (2009)","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"SPIN Model Checking and Software Verification","author":"K. Havelund","year":"2000","unstructured":"Havelund, K.: Using Runtime Analysis to Guide Model Checking of Java Programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 245\u2013264. Springer, Heidelberg (2000)"},{"key":"3_CR19","unstructured":"Wang, Y., Kelly, T., Kudlur, M., Lafortune, S., Mahlke, S.A.: Gadara: Dynamic deadlock avoidance for multithreaded programs. In: OSDI, pp. 281\u2013294 (2008)"},{"key":"3_CR20","unstructured":"Jula, H., Tralamazza, D.M., Zamfir, C., Candea, G.: Deadlock immunity: Enabling systems to defend against deadlocks. In: OSDI (2008)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11678779_15","volume-title":"Hardware and Software, Verification and Testing","author":"S. Bensalem","year":"2006","unstructured":"Bensalem, S., Havelund, K.: Dynamic Deadlock Analysis of Multi-threaded Programs. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol.\u00a03875, pp. 208\u2013223. Springer, Heidelberg (2006)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/11678779_14","volume-title":"Hardware and Software, Verification and Testing","author":"R. Agarwal","year":"2006","unstructured":"Agarwal, R., Wang, L., Stoller, S.D.: Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol.\u00a03875, pp. 191\u2013207. Springer, Heidelberg (2006)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Fernandez, J.-C., Havelund, K., Mounier, L.: Confirmation of deadlock potentials detected by runtime analysis. In: PADTAD, pp. 41\u201350 (2006)","DOI":"10.1145\/1147403.1147412"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Stoller, S.D.: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In: PADTAD, pp. 51\u201360 (2006)","DOI":"10.1145\/1147403.1147413"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Joshi, P., Park, C.-S., Sen, K., Naik, M.: A randomized dynamic program analysis technique for detecting real deadlocks. In: Proc. of PLDI, pp. 110\u2013120 (2009)","DOI":"10.1145\/1543135.1542489"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Joshi, P., Naik, M., Sen, K., Gay, D.: An effective dynamic analysis for detecting generalized deadlocks. In: FSE (2010)","DOI":"10.1145\/1882291.1882339"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Luo, Z.D., Das, R., Qi, Y.: Multicore SDK: A practical and efficient deadlock detector for real-world applications. In: ICST, pp. 309\u2013318 (2011)","DOI":"10.1109\/ICST.2011.22"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Cai, Y., Chan, W.K.: Magicfuzzer: Scalable deadlock detection for large-scale applications. In: Proc. of ICSE (2012)","DOI":"10.1109\/ICSE.2012.6227156"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Qin, F., Tucek, J., Sundaresan, J., Zhou, Y.: Rx: treating bugs as allergies - a safe method to survive software failures. In: SOSP, pp. 235\u2013248 (2005)","DOI":"10.1145\/1095809.1095833"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/10722468_20","volume-title":"SPIN Model Checking and Software Verification","author":"J.J. Harrow","year":"2000","unstructured":"Harrow, J.J.: Runtime Checking of Multithreaded Applications with Visual Threads. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 331\u2013342. Springer, Heidelberg (2000)"},{"key":"3_CR31","unstructured":"SQLite home page, \n                  \n                    http:\/\/www.sqlite.org\/"},{"key":"3_CR32","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Workshop on Parallel and Distributed Algorithms, France (1988)"},{"key":"3_CR33","unstructured":"Fidge, J.: Timestamps in message-passing systems that preserve the partial ordering. In: Australian Computer Science Conference (1988)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35632-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:21:09Z","timestamp":1620134469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35632-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642356315","9783642356322"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35632-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}