{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:39:13Z","timestamp":1740123553261,"version":"3.37.3"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2018,3,30]],"date-time":"2018-03-30T00:00:00Z","timestamp":1522368000000},"content-version":"tdm","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":["61672249"],"award-info":[{"award-number":["61672249"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National 973 Fundamental Basic Research Program","award":["2014CB340600"],"award-info":[{"award-number":["2014CB340600"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s11227-018-2307-8","type":"journal-article","created":{"date-parts":[[2018,3,30]],"date-time":"2018-03-30T09:13:49Z","timestamp":1522401229000},"page":"2684-2704","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["DigHR: precise dynamic detection of hidden races with weak causal relation analysis"],"prefix":"10.1007","volume":"74","author":[{"given":"Peng","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deqing","family":"Zou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yajuan","family":"Du","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Long","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinan","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,30]]},"reference":[{"issue":"1","key":"2307_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"RHB Netzer","year":"1992","unstructured":"Netzer RHB, Miller BP (1992) What are race conditions?: Some issues and formalizations. ACM Lett Program Lang Syst 1(1):74\u201388","journal-title":"ACM Lett Program Lang Syst"},{"key":"2307_CR2","unstructured":"CVE-2016-5195, Dirty cow. https:\/\/dirtycow.ninja\/?spm=5176.bbsr297492.0.0.nysnWC"},{"issue":"7","key":"2307_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N Leveson","year":"1993","unstructured":"Leveson N, Turner C (1993) An investigation of the therac-25 accidents. Computer 26(7):18\u201341","journal-title":"Computer"},{"key":"2307_CR4","unstructured":"SecurityFocus, Software bug contributed to blackout. http:\/\/www.securityfocus.com\/news\/8016"},{"issue":"7","key":"2307_CR5","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558\u2013565","journal-title":"Commun ACM"},{"key":"2307_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan C, Freund SN (2009) Fasttrack: efficient and precise dynamic race detection. ser. PLDI \u201909. ACM, pp 121\u2013133","DOI":"10.1145\/1542476.1542490"},{"issue":"3","key":"2307_CR7","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1002\/cpe.1064","volume":"19","author":"E Pozniansky","year":"2007","unstructured":"Pozniansky E, Schuster A (2007) Multirace: efficient on-the-fly data race detection in multithreaded C++ programs. Concurr Comput Pract Exp 19(3):327\u2013340","journal-title":"Concurr Comput Pract Exp"},{"issue":"2","key":"2307_CR8","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1006\/jpdc.1999.1574","volume":"59","author":"A Itzkovitz","year":"1999","unstructured":"Itzkovitz A, Schuster A, Zeev-Ben-Mordehai O (1999) Toward integration of data race detection in dsm systems. J Parallel Distrib Comput 59(2):180\u2013203","journal-title":"J Parallel Distrib Comput"},{"issue":"2","key":"2307_CR9","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M Ronsse","year":"1999","unstructured":"Ronsse M, De Bosschere K (1999) Recplay: a fully integrated practical record\/replay system. ACM Trans Comput Syst 17(2):133\u2013152","journal-title":"ACM Trans Comput Syst"},{"issue":"4","key":"2307_CR10","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/115372.115324","volume":"13","author":"J-D Choi","year":"1991","unstructured":"Choi J-D, Miller BP, Netzer RHB (1991) Techniques for debugging parallel programs with flowback analysis. ACM Trans Program Lang Syst 13(4):491\u2013530","journal-title":"ACM Trans Program Lang Syst"},{"key":"2307_CR11","doi-asserted-by":"crossref","unstructured":"Smaragdakis Y, Evans J, Sadowski C, Yi J, Flanagan C (2012) Sound predictive race detection in polynomial time. In: Proc. of POPL. ACM","DOI":"10.1145\/2103656.2103702"},{"key":"2307_CR12","doi-asserted-by":"crossref","unstructured":"Huang J, Meredith PO, Rosu G (2014) Maximal sound predictive race detection with control flow abstraction. ser. PLDI \u201914","DOI":"10.1145\/2666356.2594315"},{"key":"2307_CR13","unstructured":"Luk C-K, Cohn R, Muth R, Patil H, Klauser A, Lowney G, Wallace S, Reddi VJ, Hazelwood K (2005) Pin: building customized program analysis tools with dynamic instrumentation. ser. PLDI \u201905. ACM"},{"key":"2307_CR14","doi-asserted-by":"crossref","unstructured":"Elmas T, Burnim J, Necula G, Sen K (2013) Concurrit: a domain specific language for reproducing concurrency bugs. ser. PLDI \u201913. ACM","DOI":"10.1145\/2491956.2462162"},{"key":"2307_CR15","unstructured":"Yang Y (2009) Efficient dynamic verification of concurrent programs. Ph.D. dissertation"},{"key":"2307_CR16","unstructured":"Aget, http:\/\/www.enderunix.org\/aget\/"},{"key":"2307_CR17","unstructured":"cherokee, http:\/\/cherokee-project.com\/"},{"key":"2307_CR18","unstructured":"pbzip2, http:\/\/compression.ca\/pbzip2\/"},{"key":"2307_CR19","doi-asserted-by":"crossref","unstructured":"Grossman D (2003) Type-safe multithreading in cyclone. ser. TLDI \u201903. ACM","DOI":"10.1145\/604175.604177"},{"key":"2307_CR20","doi-asserted-by":"crossref","unstructured":"Pratikakis P, Foster JS, Hicks M (2006) Locksmith: context-sensitive correlation analysis for race detection. ser. PLDI \u201906. ACM","DOI":"10.1145\/1133981.1134019"},{"issue":"2","key":"2307_CR21","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/1119479.1119480","volume":"28","author":"M Abadi","year":"2006","unstructured":"Abadi M, Flanagan C, Freund SN (2006) Types for safe locking: static race detection for Java. ACM Trans Program Lang Syst 28(2):207\u2013255","journal-title":"ACM Trans Program Lang Syst"},{"key":"2307_CR22","doi-asserted-by":"crossref","unstructured":"Engler D, Ashcraft K (2003) Racerx: effective, static detection of race conditions and deadlocks. In: Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles. ACM","DOI":"10.1145\/945445.945468"},{"key":"2307_CR23","doi-asserted-by":"crossref","unstructured":"Naik M, Aiken A, Whaley J (2006) Effective static race detection for Java. In: Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM","DOI":"10.1145\/1133981.1134018"},{"key":"2307_CR24","doi-asserted-by":"crossref","unstructured":"Kahlon V, Yang Y, Sankaranarayanan S, Gupta A (2007) Fast and accurate static data-race detection for concurrent programs. In: Proceedings of the 19th International Conference on Computer Aided Verification, ser. CAV\u201907. Springer, pp 226\u2013239","DOI":"10.1007\/978-3-540-73368-3_26"},{"key":"2307_CR25","doi-asserted-by":"crossref","unstructured":"Voung JW, Jhala R, Lerner S (2007) Relay: static race detection on millions of lines of code. ser. ESEC-FSE \u201907. ACM","DOI":"10.1145\/1287624.1287654"},{"key":"2307_CR26","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Jhala R, Majumdar R (2004) Race checking by context inference. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. ACM","DOI":"10.1145\/996841.996844"},{"key":"2307_CR27","doi-asserted-by":"crossref","unstructured":"Qadeer S, Wu D (2004) Kiss: keep it simple and sequential. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. ACM","DOI":"10.1145\/996841.996845"},{"issue":"3","key":"2307_CR28","doi-asserted-by":"publisher","first-page":"031101","DOI":"10.1007\/s11432-015-0203-2","volume":"60","author":"Z Wu","year":"2016","unstructured":"Wu Z, Lu K, Wang X (2016) Surveying concurrency bug detectors based on types of detected bugs. Sci China Inf Sci 60(3):031101","journal-title":"Sci China Inf Sci"},{"key":"2307_CR29","doi-asserted-by":"crossref","unstructured":"Prvulovic M (2006) Cord: cost-effective (and nearly overhead-free) order-recording and data race detection. In HPCA. IEEE Computer Society, pp 232\u2013243","DOI":"10.1109\/HPCA.2006.1598132"},{"key":"2307_CR30","doi-asserted-by":"crossref","unstructured":"Dimitrov D, Raychev V, Vechev M, Koskinen E (2014) Commutativity race detection. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, ser. PLDI \u201914. ACM, pp 305\u2013315","DOI":"10.1145\/2666356.2594322"},{"key":"2307_CR31","unstructured":"Mattern F (1989) Virtual time and global states of distributed systems. In: Proc. workshop on parallel and distributed algorithms"},{"key":"2307_CR32","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan R, Choi J-D (2003)Hybrid dynamic data race detection. In: Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ser. PPoPP \u201903. ACM, pp 167\u2013178","DOI":"10.1145\/781498.781528"},{"key":"2307_CR33","doi-asserted-by":"crossref","unstructured":"Tian C, Nagarajan V, Gupta R, Tallam S (2008) Dynamic recognition of synchronization operations for improved data race detection. In: Proceedings of the 2008 International Symposium on Software Testing and Analysis, ser. ISSTA \u201908. ACM, pp 143\u2013154","DOI":"10.1145\/1390630.1390649"},{"key":"2307_CR34","doi-asserted-by":"crossref","unstructured":"Serebryany K, Iskhodzhanov T (2009) Threadsanitizer: data race detection in practice. ser. WBIA \u201909. ACM","DOI":"10.1145\/1791194.1791203"},{"key":"2307_CR35","doi-asserted-by":"crossref","unstructured":"Bond MD, Coons KE, McKinley KS (2010) Pacer: proportional detection of data races. ser. PLDI \u201910. ACM","DOI":"10.1145\/1806596.1806626"},{"key":"2307_CR36","doi-asserted-by":"crossref","unstructured":"Li D, Srisa-an W, Dwyer MB (2011) Sos: saving time in dynamic race detection with stationary analysis. ser. OOPSLA \u201911. ACM","DOI":"10.1145\/2048066.2048072"},{"key":"2307_CR37","doi-asserted-by":"crossref","unstructured":"Wester B, Devecsery D, Chen PM, Flinn J, Narayanasamy S (2013) Parallelizing data race detection. ser. ASPLOS \u201913. ACM","DOI":"10.1145\/2451116.2451120"},{"issue":"4","key":"2307_CR38","doi-asserted-by":"publisher","first-page":"1645","DOI":"10.1007\/s11227-016-1691-1","volume":"72","author":"Y Jiang","year":"2016","unstructured":"Jiang Y, Yang Y, Xiao T, Sheng T, Chen W (2016) DRDDR: a lightweight method to detect data races in Linux kernel. J Supercomput 72(4):1645\u20131659","journal-title":"J Supercomput"},{"issue":"13","key":"2307_CR39","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/CC.2016.7405713","volume":"1","author":"Z Bo","year":"2016","unstructured":"Bo Z, Shuang X, Yang A, TAO W (2016) DPTSV: a dynamic priority task scheduling strategy for TSS deadlock based on value evaluation. China Commun 1(13):161\u2013175","journal-title":"China Commun"},{"key":"2307_CR40","doi-asserted-by":"crossref","unstructured":"Letko Z, Vojnar T, K\u0159ena B (2008) Atomrace: data race and atomicity violation detector and healer. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, ser. PADTAD \u201908. ACM","DOI":"10.1145\/1390841.1390848"},{"key":"2307_CR41","doi-asserted-by":"crossref","unstructured":"Burckhardt S, Kothari P, Musuvathi M, Nagarakatte S (2010) A randomized scheduler with probabilistic guarantees of finding bugs. ser. ASPLOS XV. ACM","DOI":"10.1145\/1736020.1736040"},{"key":"2307_CR42","doi-asserted-by":"crossref","unstructured":"Nagarakatte S, Burckhardt S, Martin MM, Musuvathi M (2012) Multicore acceleration of priority-based schedulers for concurrency bug detection. ser. PLDI \u201912. ACM","DOI":"10.1145\/2254064.2254128"},{"key":"2307_CR43","doi-asserted-by":"crossref","unstructured":"Blum B, Gibson G (2016) Stateless model checking with data-race preemption points. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM","DOI":"10.1145\/2983990.2984036"},{"key":"2307_CR44","doi-asserted-by":"crossref","unstructured":"Yu J, Narayanasamy S, Pereira C, Pokam G (2012) Maple: a coverage-driven testing tool for multithreaded programs. ser. OOPSLA \u201912. ACM","DOI":"10.1145\/2384616.2384651"},{"key":"2307_CR45","doi-asserted-by":"crossref","unstructured":"Veeraraghavan K, Chen PM, Flinn J, Narayanasamy S (2011) Detecting and surviving data races using complementary schedules. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, ser. SOSP \u201911. ACM, pp 369\u2013384","DOI":"10.1145\/2043556.2043590"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-018-2307-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2307-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2307-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T21:14:20Z","timestamp":1693602860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-018-2307-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,30]]},"references-count":45,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["2307"],"URL":"https:\/\/doi.org\/10.1007\/s11227-018-2307-8","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2018,3,30]]},"assertion":[{"value":"30 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}