{"id":"https://openalex.org/W2621996340","doi":"https://doi.org/10.1145/3079856.3080220","title":"Non-Speculative Load-Load Reordering in TSO","display_name":"Non-Speculative Load-Load Reordering in TSO","publication_year":2017,"publication_date":"2017-06-15","ids":{"openalex":"https://openalex.org/W2621996340","doi":"https://doi.org/10.1145/3079856.3080220","mag":"2621996340"},"language":"en","primary_location":{"id":"doi:10.1145/3079856.3080220","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3079856.3080220","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th Annual International Symposium on Computer Architecture","raw_type":"proceedings-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/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":true,"raw_author_name":"Alberto Ros","raw_affiliation_strings":["Department of Computer Engineering, University of Murcia, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, University of Murcia, Spain","institution_ids":["https://openalex.org/I80180929"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069683581","display_name":"Trevor E. Carlson","orcid":"https://orcid.org/0000-0001-8742-134X"},"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":"Trevor E. Carlson","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032185994","display_name":"Mehdi Alipour","orcid":"https://orcid.org/0000-0001-9842-8715"},"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":"Mehdi Alipour","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"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 University, Sweden"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5073507304"],"corresponding_institution_ids":["https://openalex.org/I80180929"],"apc_list":null,"apc_paid":null,"fwci":3.6976,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.94529617,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"187","last_page":"200"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9983000159263611,"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/T10772","display_name":"Distributed systems and fault tolerance","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.828091025352478},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.7925608158111572},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5792660713195801},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5653620362281799},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.47924140095710754},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.4531469941139221},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.4501665234565735},{"id":"https://openalex.org/keywords/load-balancing","display_name":"Load balancing (electrical power)","score":0.42974042892456055},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.36652708053588867},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.191095232963562},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16704848408699036},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.1135033667087555},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.10518708825111389}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.828091025352478},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.7925608158111572},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5792660713195801},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5653620362281799},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.47924140095710754},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.4531469941139221},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.4501665234565735},{"id":"https://openalex.org/C138959212","wikidata":"https://www.wikidata.org/wiki/Q1806783","display_name":"Load balancing (electrical power)","level":3,"score":0.42974042892456055},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.36652708053588867},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.191095232963562},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16704848408699036},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.1135033667087555},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10518708825111389},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.0},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3079856.3080220","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3079856.3080220","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th Annual International Symposium on Computer Architecture","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5967516260","display_name":null,"funder_award_id":"621-2012-5332","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G7797671502","display_name":null,"funder_award_id":"TIN2015-66972-C5-3-R","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"}],"funders":[{"id":"https://openalex.org/F4320310087","display_name":"Fundaci\u00f3n S\u00e9neca","ror":"https://ror.org/03q68pf65"},{"id":"https://openalex.org/F4320313710","display_name":"Menzies School of Health Research","ror":"https://ror.org/006mbby82"},{"id":"https://openalex.org/F4320314455","display_name":"Minist\u00e8re de l'\u00c9conomie, de la Science et de l'Innovation - Qu\u00e9bec","ror":null},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1885534640","https://openalex.org/W1966151719","https://openalex.org/W2010574112","https://openalex.org/W2053994197","https://openalex.org/W2066691060","https://openalex.org/W2080000584","https://openalex.org/W2081698031","https://openalex.org/W2085773946","https://openalex.org/W2088598399","https://openalex.org/W2097410296","https://openalex.org/W2097465082","https://openalex.org/W2099735635","https://openalex.org/W2105900173","https://openalex.org/W2118896605","https://openalex.org/W2120142006","https://openalex.org/W2125203708","https://openalex.org/W2129698601","https://openalex.org/W2141165425","https://openalex.org/W2142101409","https://openalex.org/W2148004594","https://openalex.org/W2154001575","https://openalex.org/W2157225945","https://openalex.org/W2160313031","https://openalex.org/W2164264749","https://openalex.org/W2165090207","https://openalex.org/W2169680334","https://openalex.org/W2169875292","https://openalex.org/W2170293694","https://openalex.org/W2239894058","https://openalex.org/W2296408112","https://openalex.org/W2333000976","https://openalex.org/W2333603443","https://openalex.org/W2417495832","https://openalex.org/W2501476751","https://openalex.org/W2542426564","https://openalex.org/W2565766216","https://openalex.org/W2585550685","https://openalex.org/W2600847957","https://openalex.org/W2622383771","https://openalex.org/W4250717483"],"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":{"In":[0,31],"Total":[1],"Store":[2],"Order":[3],"memory":[4,193],"consistency":[5,202],"(TSO),":[6],"loads":[7,25,66,103,111],"can":[8,77,92,160],"be":[9,27,78,205],"speculatively":[10,64],"reordered":[11,65,102],"to":[12,60,100,107,112,118,127,147,188,198],"improve":[13],"performance.":[14],"If":[15],"a":[16,145,155,184],"load-load":[17,163],"reordering":[18,71,76,146,164],"is":[19,57,72,89,174],"seen":[20],"by":[21,83,143,152,183],"other":[22,81],"cores,":[23],"speculative":[24,95],"must":[26],"squashed":[28],"and":[29,38,62,151,169,176],"re-executed.":[30],"architectures":[32],"with":[33],"an":[34],"unordered":[35],"interconnection":[36],"network":[37],"directory":[39,157],"coherence,":[40],"this":[41],"has":[42],"been":[43],"the":[44,52,75,84,110,131,138,148,178,189,201],"established":[45],"view":[46],"for":[47,51],"decades.":[48],"We":[49,140],"show,":[50],"first":[53],"time,":[54],"that":[55,90,142],"it":[56],"not":[58,196],"necessary":[59],"squash":[61],"re-execute":[63],"in":[67,130],"TSO":[68],"when":[69],"their":[70],"seen.":[73],"Instead,":[74],"hidden":[79],"form":[80],"cores":[82],"coherence":[85,149],"protocol.":[86],"The":[87],"implication":[88],"we":[91,159],"irrevocably":[93],"bind":[94],"loads.":[96],"This":[97],"allows":[98],"us":[99],"commit":[101,182,199],"out-of-order":[104,181],"without":[105,116,165,170],"having":[106,117],"wait":[108],"(for":[109],"become":[113],"non-speculative)":[114],"or":[115],"checkpoint":[119],"committed":[120],"state":[121],"(and":[122],"rollback":[123],"if":[124,200],"needed),":[125],"just":[126],"ensure":[128],"correctness":[129],"rare":[132],"case":[133,191],"of":[134,180],"some":[135],"core":[136],"seeing":[137],"reordering.":[139],"show":[141],"exposing":[144],"layer":[150],"appropriately":[153],"modifying":[154],"typical":[156],"protocol":[158],"successfully":[161],"hide":[162],"perceptible":[166],"performance":[167,179],"cost":[168],"deadlock.":[171],"Our":[172],"solution":[173],"cost-effective":[175],"increases":[177],"sizable":[185],"margin,":[186],"compared":[187],"base":[190],"where":[192],"operations":[194],"are":[195],"allowed":[197],"model":[203],"could":[204],"violated.":[206]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":11}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}