{"id":"https://openalex.org/W2800982441","doi":"https://doi.org/10.1109/mm.2018.032271061","title":"Non-speculative load reordering in total store ordering","display_name":"Non-speculative load reordering in total store ordering","publication_year":2018,"publication_date":"2018-05-01","ids":{"openalex":"https://openalex.org/W2800982441","doi":"https://doi.org/10.1109/mm.2018.032271061","mag":"2800982441"},"language":"en","primary_location":{"id":"doi:10.1109/mm.2018.032271061","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mm.2018.032271061","pdf_url":null,"source":{"id":"https://openalex.org/S59697426","display_name":"IEEE Micro","issn_l":"0272-1732","issn":["0272-1732","1937-4143"],"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 Micro","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/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":["Uppsala University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Uppsala University","institution_ids":["https://openalex.org/I123387679"]}]},{"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/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Trevor E. Carlson","raw_affiliation_strings":["National University of Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"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":["Uppsala University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Uppsala University","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"last","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":["University of Murcia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Murcia","institution_ids":["https://openalex.org/I80180929"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05491463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":"3","first_page":"48","last_page":"57"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9067932367324829},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.7226040363311768},{"id":"https://openalex.org/keywords/speculative-execution","display_name":"Speculative execution","score":0.6468169093132019},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6010165214538574},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5732349753379822},{"id":"https://openalex.org/keywords/speculative-multithreading","display_name":"Speculative multithreading","score":0.5689793229103088},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.46635594964027405},{"id":"https://openalex.org/keywords/out-of-order-execution","display_name":"Out-of-order execution","score":0.4520447850227356},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4501695930957794},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.43616044521331787},{"id":"https://openalex.org/keywords/rollback","display_name":"Rollback","score":0.42574864625930786},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.1771637499332428},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.15078547596931458},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1426348090171814},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.11119407415390015},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.09747207164764404}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9067932367324829},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.7226040363311768},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.6468169093132019},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6010165214538574},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5732349753379822},{"id":"https://openalex.org/C15296174","wikidata":"https://www.wikidata.org/wiki/Q7575343","display_name":"Speculative multithreading","level":4,"score":0.5689793229103088},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.46635594964027405},{"id":"https://openalex.org/C1793878","wikidata":"https://www.wikidata.org/wiki/Q1153762","display_name":"Out-of-order execution","level":2,"score":0.4520447850227356},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4501695930957794},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.43616044521331787},{"id":"https://openalex.org/C174220543","wikidata":"https://www.wikidata.org/wiki/Q395307","display_name":"Rollback","level":3,"score":0.42574864625930786},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.1771637499332428},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.15078547596931458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1426348090171814},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.11119407415390015},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.09747207164764404},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mm.2018.032271061","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mm.2018.032271061","pdf_url":null,"source":{"id":"https://openalex.org/S59697426","display_name":"IEEE Micro","issn_l":"0272-1732","issn":["0272-1732","1937-4143"],"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 Micro","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5099999904632568}],"awards":[],"funders":[{"id":"https://openalex.org/F4320310087","display_name":"Fundaci\u00f3n S\u00e9neca","ror":"https://ror.org/03q68pf65"},{"id":"https://openalex.org/F4320320698","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49"},{"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"},{"id":"https://openalex.org/F4320322603","display_name":"Universiteit Gent","ror":"https://ror.org/00cv9y106"},{"id":"https://openalex.org/F4320322805","display_name":"Universidad de Murcia","ror":"https://ror.org/03p3aeb86"},{"id":"https://openalex.org/F4320324119","display_name":"Uppsala Universitet","ror":"https://ror.org/048a87296"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1978301594","https://openalex.org/W2066691060","https://openalex.org/W2099706037","https://openalex.org/W2120142006","https://openalex.org/W2155979591","https://openalex.org/W2170293694","https://openalex.org/W2239894058","https://openalex.org/W2296408112","https://openalex.org/W2333000976","https://openalex.org/W2621996340","https://openalex.org/W2798280240","https://openalex.org/W4212907643","https://openalex.org/W4239949242","https://openalex.org/W4312364354","https://openalex.org/W6750253483"],"related_works":["https://openalex.org/W2124112831","https://openalex.org/W2586771600","https://openalex.org/W2913814439","https://openalex.org/W2728258543","https://openalex.org/W37057355","https://openalex.org/W2101113316","https://openalex.org/W2897302968","https://openalex.org/W987489445","https://openalex.org/W2765149243","https://openalex.org/W1582356596"],"abstract_inverted_index":{"Load":[0],"reordering":[1,40,73],"is":[2,105],"important":[3,102],"for":[4,63],"performance.":[5],"It":[6],"allows":[7,116],"a":[8,42],"core":[9,153],"to":[10,14,29,37,54,78,82,118,127,132,144],"continue":[11],"performing":[12],"accesses":[13,25],"the":[15,64,71,79,130,148,155],"memory":[16],"system":[17],"even":[18],"when":[19],"there":[20],"are":[21],"older,":[22],"in-program-order,":[23],"unperformed":[24],"(for":[26,129],"example,":[27],"due":[28],"long":[30],"latency":[31],"misses).":[32],"The":[33,101],"only":[34],"known":[35],"solution":[36,115],"allow":[38],"such":[39,46],"in":[41,147],"strong":[43],"consistency":[44],"model":[45],"as":[47],"total":[48],"store":[49],"ordering":[50],"(TSO)":[51],"has":[52],"been":[53],"reorder":[55],"speculatively":[56],"and":[57,75,96],"squash-and-re-execute":[58],"if":[59,141],"caught.":[60],"We":[61,85],"show,":[62],"first":[65],"time,":[66],"that":[67,106],"we":[68,107],"can":[69,86,108],"do":[70,87],"load":[72],"non-speculatively":[74],"leave":[76],"it":[77],"coherence":[80],"protocol":[81],"handle":[83],"conflicts.":[84],"this":[88],"efficiently":[89],"(without":[90],"perceptible":[91],"hardware":[92],"or":[93,99,135],"performance":[94],"cost)":[95],"without":[97,125],"deadlocks":[98],"livelocks.":[100],"new":[103],"result":[104],"now":[109],"irrevocably":[110],"bind":[111],"speculative":[112],"loads.":[113],"Our":[114],"us":[117],"commit":[119],"reordered":[120],"loads":[121,131],"out":[122],"of":[123,151],"order":[124],"having":[126],"wait":[128],"become":[133],"non-speculative)":[134],"checkpoint":[136],"committed":[137],"state":[138],"(and":[139],"rollback":[140],"needed),":[142],"just":[143],"ensure":[145],"correctness":[146],"rare":[149],"case":[150],"another":[152],"seeing":[154],"reordering.":[156]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}