{"id":"https://openalex.org/W2998680618","doi":"https://doi.org/10.1109/tpds.2019.2963030","title":"Concurrent Irrevocability in Best-Effort Hardware Transactional Memory","display_name":"Concurrent Irrevocability in Best-Effort Hardware Transactional Memory","publication_year":2019,"publication_date":"2019-12-30","ids":{"openalex":"https://openalex.org/W2998680618","doi":"https://doi.org/10.1109/tpds.2019.2963030","mag":"2998680618"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2019.2963030","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2019.2963030","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/A5082812702","display_name":"Rub\u00e9n Titos-Gil","orcid":"https://orcid.org/0000-0002-9790-5011"},"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":"Ruben Titos-Gil","raw_affiliation_strings":["Universidad de Murcia, Murcia, Spain"],"raw_orcid":"https://orcid.org/0000-0002-9790-5011","affiliations":[{"raw_affiliation_string":"Universidad de Murcia, Murcia, Spain","institution_ids":["https://openalex.org/I80180929"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007711704","display_name":"Ricardo Fern\u00e1ndez\u2010Pascual","orcid":"https://orcid.org/0000-0002-2337-4369"},"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":"Ricardo Fernandez-Pascual","raw_affiliation_strings":["Universidad de Murcia, Murcia, Spain"],"raw_orcid":"https://orcid.org/0000-0002-2337-4369","affiliations":[{"raw_affiliation_string":"Universidad de Murcia, Murcia, Spain","institution_ids":["https://openalex.org/I80180929"]}]},{"author_position":"middle","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":["Universidad de Murcia, Murcia, Spain"],"raw_orcid":"https://orcid.org/0000-0001-5757-1064","affiliations":[{"raw_affiliation_string":"Universidad de Murcia, Murcia, Spain","institution_ids":["https://openalex.org/I80180929"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010840475","display_name":"Manuel E. Acacio","orcid":"https://orcid.org/0000-0003-0935-4078"},"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":"Manuel E. Acacio","raw_affiliation_strings":["Universidad de Murcia, Murcia, Spain"],"raw_orcid":"https://orcid.org/0000-0003-0935-4078","affiliations":[{"raw_affiliation_string":"Universidad de Murcia, Murcia, Spain","institution_ids":["https://openalex.org/I80180929"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I80180929"],"apc_list":null,"apc_paid":null,"fwci":0.3554,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.6558339,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"31","issue":"6","first_page":"1301","last_page":"1315"},"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.9984999895095825,"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/T13471","display_name":"Cognitive Functions and Memory","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9186898469924927},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.8738930225372314},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.6073880195617676},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.5948392748832703},{"id":"https://openalex.org/keywords/optimistic-concurrency-control","display_name":"Optimistic concurrency control","score":0.59238201379776},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5724307894706726},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.5544975399971008},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.5389145016670227},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5235704779624939},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.484019011259079},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.48076698184013367},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.43128734827041626},{"id":"https://openalex.org/keywords/out-of-order-execution","display_name":"Out-of-order execution","score":0.4276522994041443},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4184611141681671},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.41216734051704407},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2116212248802185},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16297993063926697},{"id":"https://openalex.org/keywords/distributed-concurrency-control","display_name":"Distributed concurrency control","score":0.12550851702690125}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9186898469924927},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.8738930225372314},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.6073880195617676},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.5948392748832703},{"id":"https://openalex.org/C79240183","wikidata":"https://www.wikidata.org/wiki/Q1779327","display_name":"Optimistic concurrency control","level":5,"score":0.59238201379776},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5724307894706726},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.5544975399971008},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.5389145016670227},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5235704779624939},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.484019011259079},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.48076698184013367},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43128734827041626},{"id":"https://openalex.org/C1793878","wikidata":"https://www.wikidata.org/wiki/Q1153762","display_name":"Out-of-order execution","level":2,"score":0.4276522994041443},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4184611141681671},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.41216734051704407},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2116212248802185},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16297993063926697},{"id":"https://openalex.org/C208087996","wikidata":"https://www.wikidata.org/wiki/Q5283142","display_name":"Distributed concurrency control","level":4,"score":0.12550851702690125},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tpds.2019.2963030","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2019.2963030","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":[{"score":0.800000011920929,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G6757627235","display_name":null,"funder_award_id":"RTI2018-098156-B-C53","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1979330015","https://openalex.org/W2005064465","https://openalex.org/W2057769886","https://openalex.org/W2087476542","https://openalex.org/W2100091242","https://openalex.org/W2110710544","https://openalex.org/W2129240242","https://openalex.org/W2141758526","https://openalex.org/W2147657366","https://openalex.org/W2149473197","https://openalex.org/W2161652554","https://openalex.org/W2163654949","https://openalex.org/W2189254265","https://openalex.org/W2293605087","https://openalex.org/W2316531414","https://openalex.org/W2567569525","https://openalex.org/W2588301782","https://openalex.org/W2792782933","https://openalex.org/W2897252056","https://openalex.org/W3010332222","https://openalex.org/W4244583165","https://openalex.org/W6687081247"],"related_works":["https://openalex.org/W4362712030","https://openalex.org/W2103847662","https://openalex.org/W4302613376","https://openalex.org/W4300145204","https://openalex.org/W2783561925","https://openalex.org/W3155619820","https://openalex.org/W2963373502","https://openalex.org/W2172064476","https://openalex.org/W1576905273","https://openalex.org/W2998680618"],"abstract_inverted_index":{"Existing":[0],"best-effort":[1,142],"requester-wins":[2],"implementations":[3],"of":[4,19,65,76,86,105,164],"transactional":[5],"memory":[6],"must":[7],"resort":[8,91],"to":[9,12,32,36,41,59,82,92,94,121,125,137,149],"non-speculative":[10,103],"execution":[11,104,168],"provide":[13,126],"forward":[14],"progress":[15],"in":[16,57,167],"the":[17,63,84,119,122,133,150,171],"presence":[18],"transactions":[20,56,90,129],"that":[21,157],"exceed":[22],"hardware":[23],"capacity,":[24],"experience":[25],"page":[26],"faults":[27],"or":[28],"suffer":[29],"high-contention":[30],"leading":[31],"livelocks.":[33],"Current":[34],"approaches":[35],"irrevocability":[37,78,93],"employ":[38],"lock-based":[39],"synchronization":[40],"achieve":[42],"mutual":[43],"exclusion":[44],"when":[45,89],"executing":[46],"a":[47,73,106,141],"transaction":[48],"non-speculatively,":[49],"conservatively":[50],"precluding":[51],"concurrency":[52,87,99],"with":[53,174],"any":[54,147],"other":[55],"order":[58],"guarantee":[60],"atomicity":[61],"at":[62],"cost":[64],"degrading":[66],"performance.":[67],"In":[68],"this":[69],"article,":[70],"we":[71],"propose":[72],"new":[74],"form":[75],"concurrent":[77,127],"whose":[79],"goal":[80],"is":[81],"minimize":[83],"loss":[85],"paid":[88],"complete.":[95],"By":[96],"enabling":[97],"optimistic":[98],"control":[100],"also":[101],"during":[102],"transaction,":[107],"our":[108,158],"proposal":[109,159],"allows":[110],"for":[111,179],"higher":[112],"parallelism":[113],"than":[114],"existing":[115],"schemes.":[116],"We":[117],"describe":[118],"extensions":[120,135],"instruction":[123],"set":[124],"irrevocable":[128],"as":[130,132],"well":[131],"architectural":[134],"required":[136],"realize":[138],"them":[139],"on":[140,177],"HTM":[143],"system":[144],"without":[145],"requiring":[146],"modification":[148],"cache":[151],"coherence":[152],"protocol.":[153],"Our":[154],"evaluation":[155],"shows":[156],"achieves":[160],"an":[161],"average":[162,178],"reduction":[163],"12.5":[165],"percent":[166,176],"time":[169],"across":[170],"STAMP":[172],"benchmarks,":[173],"15.8":[175],"highly":[180],"contended":[181],"workloads.":[182]},"counts_by_year":[{"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":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}