{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:40:27Z","timestamp":1740123627606,"version":"3.37.3"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T00:00:00Z","timestamp":1497484800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National 973 Fundamental Basic Research Program","award":["2014CB340600"],"award-info":[{"award-number":["2014CB340600"]}]},{"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"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11227-017-1996-8","type":"journal-article","created":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T09:18:05Z","timestamp":1497518285000},"page":"3999-4019","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A dynamic predictive race detector for C\/C++ programs"],"prefix":"10.1007","volume":"73","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":"Jinan","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,15]]},"reference":[{"key":"1996_CR1","doi-asserted-by":"crossref","unstructured":"Pozniansky E, Schuster A (2003) Efficient on-the-fly data race detection in multithreaded c++ programs. In: Proceedings of PPoPP, ACM","DOI":"10.1145\/781498.781529"},{"key":"1996_CR2","doi-asserted-by":"crossref","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 13(1):161\u2013175","DOI":"10.1109\/CC.2016.7405713"},{"key":"1996_CR3","doi-asserted-by":"crossref","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson T (1997) Eraser: a dynamic data race detector for multi-threaded programs. In: Proceedings of SOSP, ACM","DOI":"10.1145\/268998.266641"},{"issue":"7","key":"1996_CR4","doi-asserted-by":"crossref","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":"1996_CR5","doi-asserted-by":"crossref","unstructured":"Smaragdakis Y, Evans J, Sadowski C, Yi J, Flanagan C (2012) Sound predictive race detection in polynomial time. In: Proceedings of POPL, ACM","DOI":"10.1145\/2103656.2103702"},{"key":"1996_CR6","doi-asserted-by":"crossref","unstructured":"Adve SV, Hill MD, Miller BP, Netzer RHB (1991) Detecting data races on weak memory systems. In: Proceedings of ISCA, ACM","DOI":"10.1145\/115952.115976"},{"key":"1996_CR7","doi-asserted-by":"crossref","unstructured":"Netzer RHB, Miller BP (1991) Improving the accuracy of data race detection. In: Proceedings of PPoPP, ACM","DOI":"10.1145\/109625.109640"},{"key":"1996_CR8","doi-asserted-by":"crossref","unstructured":"Banerjee U, Bliss B, Ma Z, Petersen P (2006) A theory of data race detection. In: Proceedings of PADTAD, ACM","DOI":"10.1145\/1147403.1147416"},{"issue":"1","key":"1996_CR9","doi-asserted-by":"crossref","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":"1996_CR10","doi-asserted-by":"crossref","unstructured":"Yang Y, Gopalakrishnan G, Lindstrom G (2004) Memory-model-sensitive data race analysis. In: Formal methods and software engineering, vol 3308. Springer, Berlin, pp 30\u201345","DOI":"10.1007\/978-3-540-30482-1_11"},{"key":"1996_CR11","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 International Conference on CAV 2007 Computer Aided Verification. Springer, Berlin","DOI":"10.1007\/978-3-540-73368-3_26"},{"key":"1996_CR12","doi-asserted-by":"crossref","unstructured":"Prvulovic M (2006) Cord: cost-effective (and nearly overhead-free) order-recording and data race detection. In: Proceedings of HPCA, IEEE Computer Society","DOI":"10.1109\/HPCA.2006.1598132"},{"issue":"4","key":"1996_CR13","doi-asserted-by":"crossref","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"},{"key":"1996_CR14","doi-asserted-by":"crossref","unstructured":"Dimitrov D, Raychev V, Vechev M, Koskinen E (2014) Commutativity race detection. In: Proceedings of PLDI, ACM","DOI":"10.1145\/2666356.2594322"},{"key":"1996_CR15","doi-asserted-by":"crossref","unstructured":"O\u2019Callahan R, Choi J-D (2003) Hybrid dynamic data race detection. In: Proceedings of PPoPP, ACM","DOI":"10.1145\/781527.781528"},{"key":"1996_CR16","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 ISSTA, ACM","DOI":"10.1145\/1390630.1390649"},{"issue":"8","key":"1996_CR17","doi-asserted-by":"crossref","first-page":"2922","DOI":"10.1007\/s11227-015-1418-8","volume":"71","author":"Z Wu","year":"2015","unstructured":"Wu Z, Lu K, Wang X, Zhou X, Chen C (2015) Detecting harmful data races through parallel verification. J Supercomput 71(8):2922\u20132943","journal-title":"J Supercomput"},{"key":"1996_CR18","doi-asserted-by":"crossref","unstructured":"Flanagan C, Freund SN (2009) Fasttrack: efficient and precise dynamic race detection. In: Proceedings of PLDI, ACM","DOI":"10.1145\/1542476.1542490"},{"key":"1996_CR19","doi-asserted-by":"crossref","unstructured":"Bond MD, Coons KE, McKinley KS (2010) Pacer: proportional detection of data races. In: Proceedings of PLDI, ACM","DOI":"10.1145\/1806596.1806626"},{"key":"1996_CR20","unstructured":"Mattern F (1989) Virtual time and global states of distributed systems. In: Proceedings of Workshop on Parallel and Distributed Algorithms"},{"issue":"2","key":"1996_CR21","doi-asserted-by":"crossref","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"},{"key":"1996_CR22","doi-asserted-by":"crossref","unstructured":"Huang J, Meredith PO, Rosu G (2014) Maximal sound predictive race detection with control flow abstraction. In: Proceedings of PLDI, ACM","DOI":"10.1145\/2666356.2594315"},{"key":"1996_CR23","doi-asserted-by":"crossref","unstructured":"Serbanuta T-F, Chen F, Rosu G (2012) Maximal causal models for sequentially consistent systems. In: Proceedings of RV. Springer, Berlin","DOI":"10.1007\/978-3-642-35632-2_16"},{"key":"1996_CR24","doi-asserted-by":"crossref","unstructured":"Li D, Srisa-an W, Dwyer MB (2011) Sos: saving time in dynamic race detection with stationary analysis. In: Proceedings of OOPSLA, ACM","DOI":"10.1145\/2048066.2048072"},{"key":"1996_CR25","doi-asserted-by":"crossref","unstructured":"Wester B, Devecsery D, Chen PM, Flinn J, Narayanasamy S (2013) Parallelizing data race detection. In: Proceedings of ASPLOS, ACM","DOI":"10.1145\/2451116.2451120"},{"key":"1996_CR26","doi-asserted-by":"crossref","unstructured":"Raman R, Zhao J, Sarkar V, Vechev M, Yahav E (2012) Scalable and precise dynamic datarace detection for structured parallelism. In: Proceedings of PLDI, ACM","DOI":"10.1145\/2254064.2254127"},{"key":"1996_CR27","doi-asserted-by":"crossref","unstructured":"Burckhardt S, Kothari P, Musuvathi M, Nagarakatte S (2010) A randomized scheduler with probabilistic guarantees of finding bugs. In: Proceedings of ASPLOS, ACM","DOI":"10.1145\/1736020.1736040"},{"issue":"12","key":"1996_CR28","doi-asserted-by":"crossref","first-page":"2774","DOI":"10.1007\/s11432-012-4751-z","volume":"55","author":"Y He","year":"2012","unstructured":"He Y, Wu W, Chen Y (2012) An efficient method for detecting concurrency errors in object-oriented programs. Sci China Inf Sci 55(12):2774\u20132784","journal-title":"Sci China Inf Sci"},{"key":"1996_CR29","doi-asserted-by":"crossref","unstructured":"Nagarakatte S, Burckhardt S, Martin MM, Musuvathi M (2012) Multicore acceleration of priority-based schedulers for concurrency bug detection. In: Proceedings of PLDI, ACM","DOI":"10.1145\/2254064.2254128"},{"key":"1996_CR30","doi-asserted-by":"crossref","unstructured":"Yu J, Narayanasamy S, Pereira C, Pokam G (2012) Maple: a coverage-driven testing tool for multithreaded programs. In: Proceedings of OOPSLA, ACM","DOI":"10.1145\/2384616.2384651"},{"key":"1996_CR31","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 SOSP, ACM","DOI":"10.1145\/2043556.2043590"},{"issue":"2","key":"1996_CR32","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/s10766-014-0304-y","volume":"43","author":"Z Wu","year":"2015","unstructured":"Wu Z, Lu K, Wang X, Zhou X (2015) Collaborative technique for concurrency bug detection. Int J Parallel Program 43(2):260\u2013285","journal-title":"Int J Parallel Program"},{"key":"1996_CR33","doi-asserted-by":"crossref","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. In: Proceedings of PLDI, ACM","DOI":"10.1145\/1065010.1065034"},{"key":"1996_CR34","doi-asserted-by":"crossref","unstructured":"Woo SC, Ohara M, Torrie E, Singh JP, Gupta A (1995) The splash-2 programs: characterization and methodological considerations. In: Proceedings of ISCA, ACM","DOI":"10.1145\/223982.223990"},{"key":"1996_CR35","doi-asserted-by":"crossref","unstructured":"Bienia C, Kumar S, Singh JP, Li K (2008) The parsec benchmark suite: characterization and architectural implications. In: Proceedings of PACT, ACM","DOI":"10.1145\/1454115.1454128"},{"key":"1996_CR36","doi-asserted-by":"crossref","unstructured":"Elmas T, Burnim J, Necula G, Sen K (2013) Concurrit: a domain specific language for reproducing concurrency bugs. In: Proceedings of PLDI, ACM","DOI":"10.1145\/2491956.2462162"},{"key":"1996_CR37","unstructured":"Aget http:\/\/www.enderunix.org\/aget\/"},{"key":"1996_CR38","unstructured":"Apache. http:\/\/www.apache.org\/"},{"key":"1996_CR39","unstructured":"cherokee. http:\/\/cherokee-project.com\/"},{"key":"1996_CR40","unstructured":"Lwa. https:\/\/lwan.ws\/"},{"key":"1996_CR41","unstructured":"nxweb. http:\/\/nxweb.org\/"},{"key":"1996_CR42","unstructured":"pbzip2. http:\/\/compression.ca\/pbzip2\/"},{"key":"1996_CR43","unstructured":"pigz. http:\/\/www.zlib.net\/pigz\/"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-017-1996-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-017-1996-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-017-1996-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T23:49:29Z","timestamp":1569455369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-017-1996-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,15]]},"references-count":43,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["1996"],"URL":"https:\/\/doi.org\/10.1007\/s11227-017-1996-8","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2017,6,15]]}}}