{"id":"https://openalex.org/W4246442649","doi":"https://doi.org/10.1109/micro.2016.7783737","title":"Exploiting semantic commutativity in hardware speculation","display_name":"Exploiting semantic commutativity in hardware speculation","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W4246442649","doi":"https://doi.org/10.1109/micro.2016.7783737"},"language":"en","primary_location":{"id":"doi:10.1109/micro.2016.7783737","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2016.7783737","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/A5100350890","display_name":"Guowei Zhang","orcid":"https://orcid.org/0009-0003-9309-2185"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guowei Zhang","raw_affiliation_strings":["Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033071746","display_name":"Virginia Chiu","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Virginia Chiu","raw_affiliation_strings":["Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023312480","display_name":"Daniel S\u00e1nchez","orcid":"https://orcid.org/0000-0002-2453-2904"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Sanchez","raw_affiliation_strings":["Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.2525,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.51175497,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"39","issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","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"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9958000183105469,"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.8615412712097168},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.7880210876464844},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.7200175523757935},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.621787428855896},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5569688677787781},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.5058224201202393},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4871642291545868},{"id":"https://openalex.org/keywords/speculation","display_name":"Speculation","score":0.4783889055252075},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.46095019578933716},{"id":"https://openalex.org/keywords/synchronizing","display_name":"Synchronizing","score":0.43971681594848633},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.4357059597969055},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.394269734621048},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36145591735839844},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33936607837677},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.31194061040878296},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.0960744321346283},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09486299753189087}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8615412712097168},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.7880210876464844},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7200175523757935},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.621787428855896},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5569688677787781},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5058224201202393},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4871642291545868},{"id":"https://openalex.org/C47941915","wikidata":"https://www.wikidata.org/wiki/Q107885","display_name":"Speculation","level":2,"score":0.4783889055252075},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.46095019578933716},{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.43971681594848633},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.4357059597969055},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.394269734621048},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36145591735839844},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33936607837677},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.31194061040878296},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0960744321346283},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09486299753189087},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C139719470","wikidata":"https://www.wikidata.org/wiki/Q39680","display_name":"Macroeconomics","level":1,"score":0.0},{"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/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"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/micro.2016.7783737","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2016.7783737","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":[{"id":"https://openalex.org/G3595427584","display_name":null,"funder_award_id":"CAREER-1452994","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6596830456","display_name":"CAREER: A Hardware and Software Architecture for Data-Centric Parallel Computing","funder_award_id":"1452994","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W659821","https://openalex.org/W1501077214","https://openalex.org/W1515043113","https://openalex.org/W1828386109","https://openalex.org/W1976671374","https://openalex.org/W1979330015","https://openalex.org/W1984458638","https://openalex.org/W1987450425","https://openalex.org/W2007432529","https://openalex.org/W2033797066","https://openalex.org/W2035080386","https://openalex.org/W2043255549","https://openalex.org/W2057769886","https://openalex.org/W2067894433","https://openalex.org/W2076662080","https://openalex.org/W2097560795","https://openalex.org/W2097717378","https://openalex.org/W2098359329","https://openalex.org/W2099537990","https://openalex.org/W2101027550","https://openalex.org/W2102233459","https://openalex.org/W2104670257","https://openalex.org/W2108476689","https://openalex.org/W2112977831","https://openalex.org/W2113235308","https://openalex.org/W2123437221","https://openalex.org/W2123648947","https://openalex.org/W2129458440","https://openalex.org/W2129460677","https://openalex.org/W2130392506","https://openalex.org/W2132490082","https://openalex.org/W2134440791","https://openalex.org/W2136798749","https://openalex.org/W2149473197","https://openalex.org/W2157092502","https://openalex.org/W2160801071","https://openalex.org/W2163654949","https://openalex.org/W2209943643","https://openalex.org/W2235134718","https://openalex.org/W2238800873","https://openalex.org/W2296006986","https://openalex.org/W3083604022","https://openalex.org/W3145483441","https://openalex.org/W3147996988","https://openalex.org/W4205283737","https://openalex.org/W4240827605","https://openalex.org/W4243750660","https://openalex.org/W4245607618","https://openalex.org/W4249058798","https://openalex.org/W4251656607","https://openalex.org/W6600029208","https://openalex.org/W6630663660","https://openalex.org/W6638661645","https://openalex.org/W6645322170","https://openalex.org/W6681969235","https://openalex.org/W6684392763"],"related_works":["https://openalex.org/W2359328895","https://openalex.org/W4243792164","https://openalex.org/W2363535981","https://openalex.org/W2147782221","https://openalex.org/W2007402811","https://openalex.org/W2340802324","https://openalex.org/W2220172223","https://openalex.org/W2129954301","https://openalex.org/W2130223300","https://openalex.org/W2485415552"],"abstract_inverted_index":{"Hardware":[0],"speculative":[1],"execution":[2],"schemes":[3,33],"such":[4],"as":[5],"hardware":[6],"transactional":[7,120],"memory":[8],"(HTM)":[9],"enjoy":[10],"low":[11,150],"run-time":[12,75],"overheads":[13],"but":[14],"suffer":[15],"from":[16],"limited":[17],"concurrency":[18],"because":[19],"they":[20,46,62],"rely":[21],"on":[22,52,131],"reads":[23],"and":[24,95,115,122,144,147,171],"writes":[25],"to":[26,41,99,110,126,168],"detect":[27],"conflicts.":[28,43,117],"By":[29],"contrast,":[30],"software":[31,70],"speculation":[32],"can":[34,106,123],"exploit":[35,48],"semantic":[36,88],"knowledge":[37],"of":[38,152],"concurrent":[39],"operations":[40,51,109,133],"reduce":[42],"In":[44],"particular,":[45],"often":[47,72],"that":[49,86,134],"many":[50,132],"shared":[53],"data,":[54],"like":[55,139],"insertions":[56],"into":[57],"sets,":[58],"are":[59],"semantically":[60,64],"commutative:":[61],"produce":[63],"equivalent":[65],"results":[66],"when":[67],"reordered.":[68],"However,":[69],"techniques":[71],"incur":[73],"unacceptable":[74],"overheads.":[76],"To":[77],"solve":[78],"this":[79],"dichotomy,":[80],"we":[81],"present":[82],"COMMTM,":[83],"an":[84],"HTM":[85,165],"exploits":[87],"commutativity.":[89],"CommTM":[90,118,129,160],"extends":[91],"the":[92,111,149],"coherence":[93],"protocol":[94],"conflict":[96],"detection":[97],"scheme":[98],"support":[100],"user-defined":[101],"commutative":[102,108],"operations.":[103],"Multiple":[104],"cores":[105],"perform":[107],"same":[112],"data":[113],"concurrently":[114],"without":[116],"preserves":[119],"guarantees":[121],"be":[124],"applied":[125],"arbitrary":[127],"HTMs.":[128,153],"scales":[130],"serialize":[135],"in":[136],"conventional":[137,163],"HTMs,":[138],"set":[140],"insertions,":[141,146],"reference":[142],"counting,":[143],"top-K":[145],"retains":[148],"overhead":[151],"As":[154],"a":[155,162],"result,":[156],"at":[157],"128":[158],"cores,":[159],"outperforms":[161],"eager-lazy":[164],"by":[166],"up":[167],"3.4":[169],"\u03c7":[170],"reduces":[172],"or":[173],"eliminates":[174],"aborts.":[175]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}