{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:18:24Z","timestamp":1740133104465,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61732010","61702201","61628204"],"award-info":[{"award-number":["61732010","61702201","61628204"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2018,11,1]]},"DOI":"10.1109\/tpds.2018.2836899","type":"journal-article","created":{"date-parts":[[2018,5,15]],"date-time":"2018-05-15T20:20:51Z","timestamp":1526415651000},"page":"2599-2612","source":"Crossref","is-referenced-by-count":2,"title":["Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation"],"prefix":"10.1109","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6302-813X","authenticated-orcid":false,"given":"Xiaofei","family":"Liao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minhao","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7903-2061","authenticated-orcid":false,"given":"Long","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3934-7605","authenticated-orcid":false,"given":"Hai","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2139-6465","authenticated-orcid":false,"given":"Zhiyuan","family":"Shao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"307","article-title":"Kivati: fast detection and prevention of atomicity violations","author":"chew","year":"2010","journal-title":"Proc 5th Eur Conf Comput Syst"},{"key":"ref38","first-page":"157","article-title":"Dynamic race prediction in linear time","author":"kini","year":"2017","journal-title":"Proc ACM SIGPLAN Conf Programming Lang Des Implementation"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/1454115.1454128","article-title":"The parsec benchmark suite: Characterization and architectural implications","author":"bienia","year":"2008","journal-title":"Proc Int l Conf Parallel Architectures and Compilation Techniques"},{"key":"ref32","first-page":"241","article-title":"Valor: Efficient, software-only region conflict exceptions","author":"biswas","year":"2015","journal-title":"Proc ACM SIGPLAN Int Conf Object-Oriented Program Syst Languages Appl"},{"key":"ref31","first-page":"462","article-title":"Precise and maximal race detection from incomplete traces","author":"huang","year":"2016","journal-title":"Proc ACM SIGPLAN Int Conf Object-Oriented Program Syst Languages Appl"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/2872362.2872384","article-title":"Txrace: Efficient data race detection using commodity hardware transactional memory","author":"zhang","year":"2016","journal-title":"Proc Conf Architectural Support for Programming Languages and Operating Systems"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1145\/2950290.2950329","article-title":"Parallel data race detection for task parallel programs with locks","author":"yoga","year":"2016","journal-title":"Proc of the ACM SIGSOFT Int'l Symp on the Foundations of Softw Eng"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1145\/1346281.1346323","article-title":"Learning from mistakes: A comprehensive study on real world concurrency bug characteristics","author":"lu","year":"2008","journal-title":"Proc Conf Architectural Support for Programming Languages and Operating Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1995.524546"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/1542476.1542490","article-title":"Fasttrack: Efficient and precise dynamic race detection","author":"flanagan","year":"2009","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1007\/978-3-540-73368-3_27","article-title":"Parametric and sliced causality","author":"chen","year":"2007","journal-title":"Proc 19th Int Conf Comput Aided Verification"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/1791194.1791203","article-title":"Threadsanitizer: Data race detection in practice","author":"serebryany","year":"2009","journal-title":"Proc Workshop Binary Instrum Appl"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1999.1574"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"810","DOI":"10.1145\/2950290.2950310","article-title":"A deployable sampling strategy for data race detection","author":"cai","year":"2016","journal-title":"Proc Sixth ACM SIGSOFT Int'l Symp Foundations of Software Eng"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2727485"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref16","first-page":"215","article-title":"Virtual time and global states of distributed systems","volume":"1","author":"mattern","year":"1988","journal-title":"Proc of Parallel and Distributed Algorithms"},{"key":"ref17","first-page":"467","article-title":"IFRit: interference-free regions for dynamic data-race detection","author":"dean","year":"2012","journal-title":"Proc ACM Int Conf Object Oriented Program Syst Languages Appl"},{"key":"ref18","first-page":"141","article-title":"CLAP: Recording local executions to reproduce concurrency failures","author":"huang","year":"2013","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation"},{"key":"ref19","first-page":"255","article-title":"Pacer: Proportional detection of data races","author":"bond","year":"2010","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1564"},{"key":"ref4","first-page":"205","article-title":"Relay: Static race detection on millions of lines of code","author":"voung","year":"2007","journal-title":"Proc 2nd ACM SIGSOFT Symp on Foundations of Software Engineering"},{"key":"ref27","first-page":"187","article-title":"Lreplay: A pending period based deterministic replay scheme","author":"chen","year":"2010","journal-title":"Proc 37th Annu Int Symp Comput Archit"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119480"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/269005.266641","article-title":"Eraser: A dynamic data race detector for multithreaded programs","author":"savage","year":"1997","journal-title":"Proc 16th ACM Symp Operating Systems Principles"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"ref8","first-page":"31\ufffd101:1","article-title":"Surveying concurrency bug detectors based on types of detected bugs","volume":"60","author":"wu","year":"2016","journal-title":"Sci China Inf Sci"},{"key":"ref7","first-page":"477","article-title":"Stateless model checking with data-race preemption points","author":"blum","year":"2016","journal-title":"Proc ACM SIGPLAN Int Conf Object-Oriented Program Syst Languages Appl"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375591"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-012-4750-0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/130616.130623"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"ref22","first-page":"188","article-title":"Scalable concurrency debugging with distributed graph processing","author":"zheng","year":"2018","journal-title":"Proc Int Symp Code Generation Optimization"},{"key":"ref21","first-page":"451","article-title":"Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction","author":"huang","year":"2012","journal-title":"Proc ACM Int Conf Object Oriented Program Syst Languages Appl"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_23"},{"key":"ref24","first-page":"151","article-title":"Effective data-race detection for the kernel","author":"erickson","year":"2010","journal-title":"Proc 9th USENIX Conf Operating Syst Des Implementation"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3170434"},{"key":"ref44","first-page":"337","article-title":"Maximal sound predictive race detection with control flow abstraction","author":"huang","year":"2014","journal-title":"Proc ACM SIGPLAN Conf Programming Lang Des Implementation"},{"article-title":"Global clock, physical time order and pending period analysis in multiprocessor systems","year":"2009","author":"chen","key":"ref26"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103702"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/3037697.3037708","article-title":"Prorace: Practical data race detection for production use","author":"zhang","year":"2017","journal-title":"Proc Conf Architectural Support for Programming Languages and Operating Systems"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/8486815\/08359198.pdf?arnumber=8359198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,2]],"date-time":"2023-09-02T17:07:49Z","timestamp":1693674469000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8359198\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,1]]},"references-count":44,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2018.2836899","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"type":"print","value":"1045-9219"},{"type":"electronic","value":"1558-2183"},{"type":"electronic","value":"2161-9883"}],"subject":[],"published":{"date-parts":[[2018,11,1]]}}}