{"id":"https://openalex.org/W2803482819","doi":"https://doi.org/10.1109/tpds.2018.2836899","title":"Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation","display_name":"Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation","publication_year":2018,"publication_date":"2018-05-15","ids":{"openalex":"https://openalex.org/W2803482819","doi":"https://doi.org/10.1109/tpds.2018.2836899","mag":"2803482819"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2018.2836899","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2018.2836899","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022398389","display_name":"Xiaofei Liao","orcid":"https://orcid.org/0000-0001-6302-813X"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaofei Liao","raw_affiliation_strings":["Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China"],"raw_orcid":"https://orcid.org/0000-0001-6302-813X","affiliations":[{"raw_affiliation_string":"Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058017764","display_name":"Minhao Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Minhao Lin","raw_affiliation_strings":["Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023600493","display_name":"Long Zheng","orcid":"https://orcid.org/0000-0001-7903-2061"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Long Zheng","raw_affiliation_strings":["Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China"],"raw_orcid":"https://orcid.org/0000-0001-7903-2061","affiliations":[{"raw_affiliation_string":"Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022262922","display_name":"Hai Jin","orcid":"https://orcid.org/0000-0002-3934-7605"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hai Jin","raw_affiliation_strings":["Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China"],"raw_orcid":"https://orcid.org/0000-0002-3934-7605","affiliations":[{"raw_affiliation_string":"Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China","institution_ids":["https://openalex.org/I47720641"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066761150","display_name":"Zhiyuan Shao","orcid":"https://orcid.org/0000-0003-2139-6465"},"institutions":[{"id":"https://openalex.org/I47720641","display_name":"Huazhong University of Science and Technology","ror":"https://ror.org/00p991c53","country_code":"CN","type":"education","lineage":["https://openalex.org/I47720641"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiyuan Shao","raw_affiliation_strings":["Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China"],"raw_orcid":"https://orcid.org/0000-0003-2139-6465","affiliations":[{"raw_affiliation_string":"Services Computing Technology and System Lab, Huazhong University of Science and Technology, Wuhan, Hubei, China","institution_ids":["https://openalex.org/I47720641"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I47720641"],"apc_list":null,"apc_paid":null,"fwci":0.6918,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.68543407,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"29","issue":"11","first_page":"2599","last_page":"2612"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8865101337432861},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.7609463930130005},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.738764762878418},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.6687372326850891},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.653734028339386},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5212855339050293},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5174327492713928},{"id":"https://openalex.org/keywords/look-ahead","display_name":"Look-ahead","score":0.43568721413612366},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4208194613456726},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.41874611377716064},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.41831234097480774},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.396828293800354},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.361107736825943},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1828702986240387},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.15681201219558716},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08902087807655334}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8865101337432861},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.7609463930130005},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.738764762878418},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.6687372326850891},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.653734028339386},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5212855339050293},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5174327492713928},{"id":"https://openalex.org/C147297375","wikidata":"https://www.wikidata.org/wiki/Q6674930","display_name":"Look-ahead","level":2,"score":0.43568721413612366},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4208194613456726},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.41874611377716064},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.41831234097480774},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.396828293800354},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.361107736825943},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1828702986240387},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.15681201219558716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08902087807655334},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tpds.2018.2836899","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2018.2836899","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2709730326","display_name":"\u6781\u7aef\u5316\u4f9b\u9700\u9a71\u52a8\u7684\u53ef\u4f38\u7f29\u865a\u62df\u5316\u7814\u7a76","funder_award_id":"61732010","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6235642523","display_name":null,"funder_award_id":"61702201","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7218138803","display_name":null,"funder_award_id":"61628204","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W1534988187","https://openalex.org/W1579452275","https://openalex.org/W1650052555","https://openalex.org/W1652742168","https://openalex.org/W1784984667","https://openalex.org/W1968172146","https://openalex.org/W1972544179","https://openalex.org/W1986819805","https://openalex.org/W2002946738","https://openalex.org/W2025819261","https://openalex.org/W2034256728","https://openalex.org/W2046368282","https://openalex.org/W2047068447","https://openalex.org/W2068530820","https://openalex.org/W2078197548","https://openalex.org/W2091543666","https://openalex.org/W2092393083","https://openalex.org/W2100505193","https://openalex.org/W2101161997","https://openalex.org/W2120476011","https://openalex.org/W2121816623","https://openalex.org/W2133662847","https://openalex.org/W2135954168","https://openalex.org/W2145021036","https://openalex.org/W2150602145","https://openalex.org/W2152885346","https://openalex.org/W2154557525","https://openalex.org/W2164538023","https://openalex.org/W2166615267","https://openalex.org/W2167744164","https://openalex.org/W2169875292","https://openalex.org/W2314450363","https://openalex.org/W2535027431","https://openalex.org/W2536074297","https://openalex.org/W2547439180","https://openalex.org/W2547616304","https://openalex.org/W2560532598","https://openalex.org/W2604695547","https://openalex.org/W2606910946","https://openalex.org/W2736895358","https://openalex.org/W2790220467","https://openalex.org/W2793508496","https://openalex.org/W2951734910","https://openalex.org/W3137220996","https://openalex.org/W4233336711","https://openalex.org/W4233730906","https://openalex.org/W4235523922","https://openalex.org/W4236306709","https://openalex.org/W4238549726","https://openalex.org/W4300810260","https://openalex.org/W6600049303","https://openalex.org/W6636893698","https://openalex.org/W6636927302","https://openalex.org/W6662383160","https://openalex.org/W6667444436","https://openalex.org/W6728901608","https://openalex.org/W6729157498","https://openalex.org/W6730498349","https://openalex.org/W6736688684","https://openalex.org/W6748815138"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W2363983170","https://openalex.org/W2270181498","https://openalex.org/W2965083567","https://openalex.org/W4235240664","https://openalex.org/W1838576100","https://openalex.org/W2757182831","https://openalex.org/W2095886385","https://openalex.org/W2376330853","https://openalex.org/W4232879103"],"abstract_inverted_index":{"Most":[0],"of":[1,32,56,80,90,101,109,128,148,167,186,219,258],"dynamic":[2],"data":[3],"race":[4,92],"detection":[5,93],"essentially":[6],"relies":[7],"on":[8,43,152,182,209],"the":[9,15,40,67,87,146,165,217,225,256],"underlying":[10],"happens-before":[11],"orders":[12,111],"to":[13,22,251],"yield":[14],"precise":[16],"reports.":[17],"They":[18],"are":[19,175],"notoriously":[20],"prone":[21],"a":[23,30,53,72,77,95,106,125,138,160,183],"prohibitively":[24],"basic":[25],"overhead.":[26],"Although":[27],"there":[28,46],"exist":[29],"wealth":[31],"research":[33],"advances":[34],"that":[35,105,189],"succeed":[36],"in":[37,51,115,171,255],"significantly":[38],"reducing":[39,145],"analysis":[41,151],"overhead":[42,147],"memory":[44],"accesses,":[45],"remains":[47],"an":[48],"open":[49],"problem":[50,89],"handling":[52],"great":[54],"deal":[55],"fundamentally":[57],"unscalable":[58],"synchronization":[59,88,113,154,173],"overhead,":[60],"which":[61,172,211],"can":[62,212,232],"be":[63,213,233],"particularly":[64],"serious":[65],"for":[66,112,163,224],"large,":[68],"lock-intensive":[69,226],"programs":[70,187,227],"with":[71,94],"long":[73],"running":[74],"time":[75],"and":[76,122,150,201],"large":[78],"number":[79,218],"threads.":[81],"In":[82],"this":[83,102,135],"paper,":[84],"we":[85,157],"revisit":[86],"off-the-shelf":[91],"comprehensive":[96],"study.":[97],"The":[98],"key":[99],"insight":[100,136],"work":[103,117],"is":[104,118,221,244],"full":[107],"collection":[108],"partial":[110],"operations":[114,174],"prior":[116],"not":[119],"necessarily":[120],"tracked":[121],"analyzed":[123],"from":[124],"new":[126],"perspective":[127],"\u201cglobal":[129],"clock\u201d":[130],"representation.":[131],"We":[132],"therefore":[133],"develop":[134],"into":[137],"novel":[139],"pending-period":[140],"based":[141],"approach,":[142],"aiming":[143],"at":[144],"monitoring":[149],"unnecessary":[153],"operations.":[155],"Further,":[156,238],"also":[158],"enable":[159],"significant":[161,215],"improvement":[162,208,254],"enhancing":[164],"efficiency":[166],"existing":[168],"sampling":[169,243,261],"techniques,":[170],"often":[176],"conservatively":[177],"identified.":[178],"Our":[179],"experimental":[180],"results":[181],"wide":[184],"variety":[185],"show":[188],"our":[190,230,239],"approach":[191,231],"outperforms":[192],"state-of-the-art":[193],"by":[194],"5.85x":[195],"(versus":[196,199,203],"FastTrack),":[197],"3.51x":[198],"ThreadSanitizer)":[200],"1.34x":[202],"IFRit)":[204],"program":[205],"execution":[206],"slowdown":[207],"average,":[210],"more":[214,245],"as":[216],"threads":[220],"increasing.":[222],"Particularly":[223],"(e.g.,":[228],"barnes),":[229],"26.04x":[234],"faster":[235],"than":[236,247],"FastTrack.":[237],"pending":[240],"period":[241],"extended":[242],"efficient":[246],"Pacer":[248],"(with":[249],"up":[250],"31.28":[252],"percent":[253,260],"case":[257],"10":[259],"rate).":[262]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}