{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T06:10:20Z","timestamp":1692252620259},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,3,10]],"date-time":"2016-03-10T00:00:00Z","timestamp":1457568000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"The National Science and Technology Major Project of China","award":["No. 2012ZX01039 - 004"],"award-info":[{"award-number":["No. 2012ZX01039 - 004"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s11227-016-1691-1","type":"journal-article","created":{"date-parts":[[2016,3,10]],"date-time":"2016-03-10T08:08:47Z","timestamp":1457597327000},"page":"1645-1659","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["DRDDR: a lightweight method to detect data races in Linux kernel"],"prefix":"10.1007","volume":"72","author":[{"given":"Yunyun","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Yi","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Tian","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Tianwei","family":"Sheng","sequence":"additional","affiliation":[]},{"given":"Wenguang","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,10]]},"reference":[{"issue":"7","key":"1691_CR1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"NG Leveson","year":"1993","unstructured":"Leveson NG, Turner CS (1993) An investigation of the Therac-25 accidents. Computer 26(7):18\u201341","journal-title":"Computer"},{"key":"1691_CR2","unstructured":"Poulsen K (2004) Software bug contributed to blackout. Security Focus. http:\/\/www.securityfocus.com\/news\/8016"},{"key":"1691_CR3","unstructured":"Joab J (2012) Nasdaq\u2019s Facebook glitch came from \u2018race conditions\u2019. http:\/\/www.computerworld.com\/s\/article\/9227350"},{"issue":"7","key":"1691_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"},{"issue":"4","key":"1691_CR5","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson T (1997) Eraser: a dynamic data race detector for multithreaded programs. ACM Trans Computer Syst 15(4):391\u2013411","journal-title":"ACM Trans Computer Syst"},{"issue":"5","key":"1691_CR6","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/512529.512560","volume":"37","author":"JD Choi","year":"2002","unstructured":"Choi JD, Lee K, Loginov A, O\u2019Callahan R, Sarkar V, Sridharan M (2002) Efficient and precise datarace detection for multithreaded object-oriented programs. PLDI\u201902 37(5):258\u2013269","journal-title":"PLDI\u201902"},{"issue":"5","key":"1691_CR7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1145\/1095810.1095832","volume":"39","author":"Y Yu","year":"2005","unstructured":"Yu Y, Rodeheffer T, Chen W (2005) Racetrack: efficient detection of data race conditions via adaptive tracking. SOSP\u201905 39(5):221\u2013234","journal-title":"SOSP\u201905"},{"key":"1691_CR8","first-page":"1","volume":"10","author":"J Erickson","year":"2010","unstructured":"Erickson J, Musuvathi M, Burckhardt S, Olynyk K (2010) Effective data-race detection for the kernel. OSDI\u201910 10:1\u201316","journal-title":"OSDI\u201910"},{"issue":"4","key":"1691_CR9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/2248487.1950389","volume":"47","author":"K Baris","year":"2012","unstructured":"Baris K, Zamfir C, Candea G (2012) Data races vs. data race bugs: telling the difference with portend. ACM SIGPLAN Notices 47(4):185\u2013198","journal-title":"ACM SIGPLAN Notices"},{"key":"1691_CR10","unstructured":"Debugfs-The Linux Kernel Archives. https:\/\/www.kernel.org\/doc\/Documentation\/fil-esystems\/debugfs.txt"},{"key":"1691_CR11","unstructured":"Open Source Processor Emulator QEMU. http:\/\/wiki.qemu.org\/"},{"key":"1691_CR12","unstructured":"Kernel Based Virtual Machine KVM. http:\/\/www.linux-kvm.org\/page\/"},{"key":"1691_CR13","unstructured":"IA-32 Architecture. https:\/\/software.intel.com\/en-us\/articles\/ia-32-intelr-64-ia-64-architecture-mean\/"},{"key":"1691_CR14","unstructured":"AMD-64 Architecture. http:\/\/support.amd.com\/TechDocs\/24592"},{"key":"1691_CR15","unstructured":"MIPS R4000 Microprocessor. http:\/\/groups.csail.mit.edu\/cag\/raw\/documents\/R4400_Uman_book_Ed2"},{"key":"1691_CR16","unstructured":"SPARC Architecture. http:\/\/searchservervirtualization.techtarget.com\/definition\/SP-ARC"},{"key":"1691_CR17","unstructured":"PowerPC Architecture. https:\/\/www-01.ibm.com\/chips\/techlib\/techlib.nsf\/products\/PowerPC"},{"key":"1691_CR18","unstructured":"Linux Kernel Bugzilla. https:\/\/bugzilla.kernel.org"},{"key":"1691_CR19","unstructured":"Ecryptfs bug in Linux kernel. https:\/\/bugzilla.kernel.org\/id=29752"},{"key":"1691_CR20","unstructured":"Ext2 bug in Linux kernel. https:\/\/bugzilla.kernel.org\/id=36002"},{"key":"1691_CR21","unstructured":"Linux Test Project. http:\/\/ltp.sourceforge.net\/"},{"key":"1691_CR22","unstructured":"DRDDR source code on GitHub. https:\/\/github.com\/ahyangyi\/DRDDR"},{"issue":"6","key":"1691_CR23","first-page":"255","volume":"45","author":"MD Bond","year":"2010","unstructured":"Bond MD, Coons KE, McKinley KS (2010) PACER: proportional detection of data races. PLDI\u201910 45(6):255\u2013268","journal-title":"PLDI\u201910"},{"issue":"6","key":"1691_CR24","first-page":"134","volume":"44","author":"D Marino","year":"2009","unstructured":"Marino D, Musuvathi M, Narayanasamy S (2009) LiteRace: effective sampling for lightweight data-race detection. PLDI\u201909 44(6):134\u2013143","journal-title":"PLDI\u201909"},{"issue":"6","key":"1691_CR25","first-page":"121","volume":"44","author":"C Flanagan","year":"2009","unstructured":"Flanagan C, Freund SN (2009) FastTrack: efficient and precise dynamic race detection. PLDI\u201909 44(6):121\u2013133","journal-title":"PLDI\u201909"},{"key":"1691_CR26","unstructured":"Kaushik V, 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, pp 369\u2013384"},{"issue":"6","key":"1691_CR27","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/2666356.2594315","volume":"49","author":"J Huang","year":"2014","unstructured":"Huang J, Meredith PON, Rosu G (2014) Maximal sound predictive race detection with control flow abstraction. ACM SIGPLAN Notices 49(6):337\u2013348","journal-title":"ACM SIGPLAN Notices"},{"key":"1691_CR28","unstructured":"Pedro F, Li C, Rodrigues R (2011) Finding complex concurrency bugs in large multi-threaded applications. In: Proceedings of the sixth conference on computer systems, pp 215\u2013228"},{"key":"1691_CR29","unstructured":"Baris K, Zamfir C, Candea G (2013) RaceMob: crowdsourced data race detection. In: Proceedings of the twenty-fourth ACM symposium on operating systems principles, pp 406\u2013422"},{"key":"1691_CR30","doi-asserted-by":"crossref","unstructured":"Sheng TW, Vachharajani N, Eranian S, Hundt R, Chen WG, Zheng WM (2011) RACEZ: a lightweight and non-invasive race detection tool for production applications. ICSE\u201911 401\u2013410","DOI":"10.1145\/1985793.1985848"},{"key":"1691_CR31","doi-asserted-by":"crossref","unstructured":"Zhou P, Teodorescu R, Zhou YY (2007) HARD: hardware-assisted lockset-based race detection. In: IEEE 13th international symposium on high performance computer architecture, HPCA 2007, pp 121\u2013132","DOI":"10.1109\/HPCA.2007.346191"},{"key":"1691_CR32","doi-asserted-by":"crossref","unstructured":"Gupta S, Sultan F, Cadambi S, Ivancic F, Rotteler M (2009) Using hardware transactional memory for data race detection. In: IEEE international symposium on IPDPS 2009, pp 1\u201311","DOI":"10.1109\/IPDPS.2009.5161006"},{"key":"1691_CR33","unstructured":"Abdullah M, Qi S, Torrellas J (2012) Vulcan: hardware support for detecting sequential consistency violations dynamically. In: 45th annual IEEE\/ACM international symposium on microarchitecture (MICRO), 2012, pp 363\u2013375"},{"key":"1691_CR34","unstructured":"Jin G, Zhang W, Deng D, (2012) Automated concurrency-bug fixing. In: Presented as part of the 10th USENIX symposium on operating systems design and implementation (OSDI 12), 2012, pp 221\u2013236"},{"key":"1691_CR35","doi-asserted-by":"crossref","unstructured":"Narayanasamy S, Wang Z, Tigani J, Edwards A, Calder B (2007) Automatically classifying benign and harmful data races using replay analysis. In: Programming language design and implementation (PLDI \u201907), pp 22\u201331","DOI":"10.1145\/1273442.1250738"},{"key":"1691_CR36","volume-title":"Researches on key technologies of data races detection in concurrent programs. Dissertation for the Doctoral Degree","author":"TW Sheng","year":"2010","unstructured":"Sheng TW (2010) Researches on key technologies of data races detection in concurrent programs. Dissertation for the Doctoral Degree. Tsinghua University, Beijing"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-016-1691-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-016-1691-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-016-1691-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T05:29:43Z","timestamp":1692250183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-016-1691-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,10]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["1691"],"URL":"https:\/\/doi.org\/10.1007\/s11227-016-1691-1","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,10]]}}}