{"id":"https://openalex.org/W4250456581","doi":"https://doi.org/10.1109/micro.2016.7783736","title":"Racer: TSO consistency via race detection","display_name":"Racer: TSO consistency via race detection","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W4250456581","doi":"https://doi.org/10.1109/micro.2016.7783736"},"language":"en","primary_location":{"id":"doi:10.1109/micro.2016.7783736","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2016.7783736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5073507304","display_name":"Alberto Ros","orcid":"https://orcid.org/0000-0001-5757-1064"},"institutions":[{"id":"https://openalex.org/I80180929","display_name":"Universidad de Murcia","ror":"https://ror.org/03p3aeb86","country_code":"ES","type":"education","lineage":["https://openalex.org/I80180929"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alberto Ros","raw_affiliation_strings":["Department of Computer Engineering, Universidad de Murcia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Universidad de Murcia, Spain","institution_ids":["https://openalex.org/I80180929"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020214726","display_name":"Stefanos Kaxiras","orcid":"https://orcid.org/0000-0001-8267-0232"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Stefanos Kaxiras","raw_affiliation_strings":["Department of Information Technology, Uppsala Universitet, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala Universitet, Sweden","institution_ids":["https://openalex.org/I123387679"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5688,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.82924436,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9980999827384949,"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.8807086944580078},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.6412341594696045},{"id":"https://openalex.org/keywords/directory","display_name":"Directory","score":0.6369897723197937},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5870595574378967},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5827212929725647},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5422099828720093},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5313034057617188},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5107555389404297},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5015473365783691},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.49791526794433594},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.36568716168403625},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.34247124195098877},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.3383680582046509},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32310616970062256},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.2471904754638672},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.09897094964981079}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8807086944580078},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.6412341594696045},{"id":"https://openalex.org/C2777683733","wikidata":"https://www.wikidata.org/wiki/Q201456","display_name":"Directory","level":2,"score":0.6369897723197937},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5870595574378967},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5827212929725647},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5422099828720093},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5313034057617188},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5107555389404297},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5015473365783691},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.49791526794433594},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.36568716168403625},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.34247124195098877},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.3383680582046509},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32310616970062256},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.2471904754638672},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.09897094964981079},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/micro.2016.7783736","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2016.7783736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W1644882639","https://openalex.org/W1981931980","https://openalex.org/W1981951650","https://openalex.org/W1994713432","https://openalex.org/W1997352364","https://openalex.org/W1997576530","https://openalex.org/W2011788958","https://openalex.org/W2013946423","https://openalex.org/W2016521571","https://openalex.org/W2050487400","https://openalex.org/W2052207834","https://openalex.org/W2053776346","https://openalex.org/W2054739713","https://openalex.org/W2081698031","https://openalex.org/W2083963764","https://openalex.org/W2085773946","https://openalex.org/W2090249619","https://openalex.org/W2090499750","https://openalex.org/W2102498740","https://openalex.org/W2112833506","https://openalex.org/W2114667497","https://openalex.org/W2123845384","https://openalex.org/W2137196255","https://openalex.org/W2138088426","https://openalex.org/W2148032086","https://openalex.org/W2149426285","https://openalex.org/W2149473197","https://openalex.org/W2150618958","https://openalex.org/W2151032144","https://openalex.org/W2151233837","https://openalex.org/W2155063683","https://openalex.org/W2156025066","https://openalex.org/W2157225945","https://openalex.org/W2158551169","https://openalex.org/W2164264749","https://openalex.org/W2169875292","https://openalex.org/W2170293694","https://openalex.org/W2171660832","https://openalex.org/W2207400145","https://openalex.org/W2247425036","https://openalex.org/W2293464548","https://openalex.org/W2296637508","https://openalex.org/W2341293993","https://openalex.org/W2417495832","https://openalex.org/W3004250778","https://openalex.org/W3137220996","https://openalex.org/W3145483441","https://openalex.org/W3145847625","https://openalex.org/W4238549726","https://openalex.org/W4239949242","https://openalex.org/W4243278180","https://openalex.org/W4244282989","https://openalex.org/W4250401973","https://openalex.org/W6636988782","https://openalex.org/W6638820435","https://openalex.org/W6653954524","https://openalex.org/W6688170390"],"related_works":["https://openalex.org/W2036306661","https://openalex.org/W2044887272","https://openalex.org/W246909719","https://openalex.org/W118795575","https://openalex.org/W2138711299","https://openalex.org/W1906213980","https://openalex.org/W4254064645","https://openalex.org/W1979030370","https://openalex.org/W4249870896","https://openalex.org/W2171564459"],"abstract_inverted_index":{"Several":[0],"recent":[1],"efforts":[2,21],"aim":[3],"to":[4,28,76,182],"simplify":[5],"coherence":[6,78],"and":[7,32,115,130,140,162,223,235,239,254,273,280],"its":[8,86,177],"associate":[9],"costs":[10],"(e.g.,":[11,65],"directory":[12,129,228],"size,":[13],"complexity)":[14],"in":[15,59,180,221,225,233,237,248,252,256,277],"multicores.":[16],"The":[17],"bulk":[18],"of":[19,107,112,124,164,197],"these":[20],"rely":[22],"on":[23,82,143,245,269],"program":[24,83],"data-race-free":[25],"(DRF)":[26],"semantics":[27,57,84],"eliminate":[29],"explicit":[30,131],"invalidations":[31],"use":[33],"self-invalidation":[34,142],"instead.":[35],"While":[36],"such":[37],"protocols":[38],"are":[39,74],"simple,":[40],"they":[41],"require":[42],"software":[43,51],"cooperation.":[44],"This":[45],"is":[46,187],"acceptable":[47],"only":[48,266],"for":[49,85,230],"(correct)":[50],"that":[52,79,101,159,211,243],"abides":[53],"by":[54,136],"the":[55,68,103,108,117,121,144,156,172,183,195,198,217,249],"SC-for-DRF":[56,125,241],"defined":[58],"many":[60,73],"modern":[61],"programming":[62],"language":[63],"standards":[64],"C++11,":[66],"Java,":[67],"latest":[69],"C":[70],"standards)":[71],"but":[72,166],"unwilling":[75],"trust":[77],"relies":[80,244],"solely":[81],"correctness.":[87],"To":[88],"address":[89],"this":[90,93,135],"important":[91],"issue,":[92],"work":[94],"proposes":[95],"Racer,":[96],"an":[97,190],"efficient":[98,191],"self-invalidation/write-through":[99],"approach":[100],"guarantees":[102],"memory":[104],"consistency":[105],"model":[106],"most":[109],"common":[110],"family":[111],"processors":[113],"(TSO-x86),":[114],"at":[116,194,216],"same":[118],"time":[119,222,234,253],"maintains":[120],"relaxed-ordering":[122],"advantages":[123],"protocols.":[126],"Lacking":[127],"a":[128,151,169,206,227],"invalidations,":[132],"Racer":[133,148,201,258],"achieves":[134],"detecting":[137,168],"read-after-write":[138],"races":[139,272],"causing":[141],"racing":[145,173],"reader's":[146],"cache.":[147,200],"also":[149],"uses":[150],"coalescing":[152,161],"store":[153],"buffer":[154],"(at":[155],"L1":[157],"level)":[158],"allows":[160],"reordering":[163,215],"stores":[165,178],"upon":[167],"race,":[170],"delays":[171],"read":[174],"until":[175],"all":[176],"appear":[179],"order":[181],"read.":[184],"Race":[185],"detection":[186],"performed":[188],"using":[189],"signature-based":[192],"mechanism":[193],"level":[196,219],"shared":[199],"performs":[202],"significantly":[203],"better":[204],"than":[205,261],"traditional":[207],"non-scalable":[208],"directory-based":[209],"protocol":[210,218,229,242],"does":[212],"not":[213],"allow":[214],"(14.2%":[220],"26.4%":[224],"energy),":[226,238],"TSO":[231],"(1.9%":[232],"15.5%":[236],"state-of-the-art":[240],"acquire-release":[246],"annotations":[247,263],"programs":[250],"(6.7%":[251],"9.5%":[255],"energy).":[257],"self-invalidates":[259],"less":[260],"program-level":[262],"as":[264],"it":[265],"enforces":[267],"ordering":[268],"dynamically":[270],"detected":[271],"provides":[274],"significant":[275],"reductions":[276],"network":[278],"traffic":[279],"memory-system":[281],"energy":[282],"consumption.":[283]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}