{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:25:53Z","timestamp":1783095953563,"version":"3.54.6"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Basic Research Program of China","doi-asserted-by":"publisher","award":["2018YFB0204300"],"award-info":[{"award-number":["2018YFB0204300"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872376"],"award-info":[{"award-number":["61872376"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2923956","type":"journal-article","created":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T20:01:32Z","timestamp":1560974492000},"page":"99123-99135","source":"Crossref","is-referenced-by-count":9,"title":["Understanding and Statically Detecting Synchronization Performance Bugs in Distributed Cloud Systems"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4349-0540","authenticated-orcid":false,"given":"Chen","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiaxin","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongsheng","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xicheng","family":"Lu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009895"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043590"},{"key":"ref31","first-page":"27","article-title":"Eraser: A dynamic data race detector for multi-threaded programs","author":"savage","year":"2015","journal-title":"Proc 16th ACM Symp Operating Syst Principles (SOSP)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/109625.109640"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736041"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869474"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950394"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"ref60","first-page":"3","article-title":"dBug: Systematic evaluation of distributed systems","author":"simsa","year":"2010","journal-title":"Proc 5th Int Conf Syst Softw Verification (SSV)"},{"key":"ref61","first-page":"213","article-title":"MODIST: Transparent model checking of unmodified distributed systems","author":"yang","year":"2009","journal-title":"Proc USENIX Symp Netw Syst Design Implem (NSDI)"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737966"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483784"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2012.6224281"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254075"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606646"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806617"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591177"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555244"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491416"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606602"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869519"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3208104"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.63"},{"key":"ref59","first-page":"399","article-title":"SAMC: Semantic-aware model checking for fast discovery of deep bugs in cloud systems","author":"leesatapornwongsa","year":"2014","journal-title":"Proc 5th USENIX Conf Operating Syst Design Implementation"},{"key":"ref58","first-page":"18","article-title":"Life, death, and the critical transition: Finding liveness bugs in systems code","author":"killian","year":"2007","journal-title":"Proc 9th USENIX Conf Netw Syst Design Implement (NSDI)"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882297"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250755"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693489"},{"key":"ref40","first-page":"307","article-title":"X-ray: Automating root-cause diagnosis of performance anomalies in production software","author":"attariyan","year":"2012","journal-title":"Proc 12th USENIX Conf Oper Syst Design Implement (OSDI)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931070"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660234"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2013.6624035"},{"key":"ref14","first-page":"1","article-title":"What bugs live in the cloud? A study of 3000+ issues in cloud systems","author":"gunawi","year":"2014","journal-title":"Proc Symp Cloud Computing (SoCC)"},{"key":"ref15","year":"0","journal-title":"Main Page—Walawiki"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.100"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568229"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544315"},{"key":"ref19","first-page":"329","article-title":"Learning from mistakes: A comprehensive study on real world concurrency bug characteristics","author":"lu","year":"2008","journal-title":"Proc ACM 13th Int Conf Architectural Support Program Lang Oper Syst (ASPLOS)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064186"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.41"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2012.40"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190552"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2370816.2370854"},{"key":"ref49","first-page":"603","article-title":"Non-intrusive performance profiling for entire software stacks based on the flow reconstruction principle","author":"zhao","year":"2016","journal-title":"Proc 12th USENIX Conf Oper Syst Design Implement (OSDI)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786815"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465433"},{"key":"ref46","first-page":"4","article-title":"Black-box problem diagnosis in parallel file systems","author":"kasick","year":"2010","journal-title":"Proc USENIX Conf File and Storage Technologies (FAST)"},{"key":"ref45","first-page":"7","article-title":"Experiences with tracing causality in networked services","volume":"10","author":"fonseca","year":"2010","journal-title":"Proc Internet Netw Manage Conf Res Enterprise Netw"},{"key":"ref48","first-page":"217","article-title":"The mystery machine: End-to-end performance analysis of large-scale Internet services","author":"chow","year":"2014","journal-title":"Proc 11th USENIX Conf Oper Syst Design Implement"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541968"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227198"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945454"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815409"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08740928.pdf?arnumber=8740928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T19:40:11Z","timestamp":1628624411000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8740928\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":61,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2923956","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}