{"id":"https://openalex.org/W2567569525","doi":"https://doi.org/10.1109/tpds.2016.2638815","title":"Lazy Irrevocability for Best-Effort Transactional Memory Systems","display_name":"Lazy Irrevocability for Best-Effort Transactional Memory Systems","publication_year":2016,"publication_date":"2016-12-13","ids":{"openalex":"https://openalex.org/W2567569525","doi":"https://doi.org/10.1109/tpds.2016.2638815","mag":"2567569525"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2016.2638815","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2016.2638815","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":true,"oa_status":"green","oa_url":"https://hdl.handle.net/10630/33324","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017628166","display_name":"Ricardo Quislant","orcid":"https://orcid.org/0000-0002-4705-7042"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Ricardo Quislant","raw_affiliation_strings":["Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040859568","display_name":"Eladio Guti\u00e9rrez","orcid":"https://orcid.org/0000-0001-9748-9161"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Eladio Gutierrez","raw_affiliation_strings":["Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113573576","display_name":"Emilio L. Zapata","orcid":null},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Emilio L. Zapata","raw_affiliation_strings":["Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032105032","display_name":"\u00d3scar Plata","orcid":"https://orcid.org/0000-0003-2233-0011"},"institutions":[{"id":"https://openalex.org/I82767444","display_name":"Universidad de M\u00e1laga","ror":"https://ror.org/036b2ww28","country_code":"ES","type":"education","lineage":["https://openalex.org/I82767444"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Oscar Plata","raw_affiliation_strings":["Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Computer Architecture, University of M\u00e1laga, M\u00e1laga, Spain","institution_ids":["https://openalex.org/I82767444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5017628166"],"corresponding_institution_ids":["https://openalex.org/I82767444"],"apc_list":null,"apc_paid":null,"fwci":0.5791,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.73850625,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"28","issue":"7","first_page":"1919","last_page":"1932"},"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.9994000196456909,"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.9976000189781189,"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.9165996313095093},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.9026752710342407},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.7234587073326111},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.6165034770965576},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5115800499916077},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.4938831925392151},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4532202482223511},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.43866074085235596},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.4384101927280426},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3728657364845276},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3586265742778778},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.288241446018219},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.21104088425636292},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.10657098889350891}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9165996313095093},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.9026752710342407},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.7234587073326111},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.6165034770965576},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5115800499916077},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.4938831925392151},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4532202482223511},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.43866074085235596},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.4384101927280426},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3728657364845276},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3586265742778778},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.288241446018219},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.21104088425636292},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.10657098889350891},{"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tpds.2016.2638815","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2016.2638815","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"},{"id":"pmh:oai:riuma.uma.es:10630/33324","is_oa":true,"landing_page_url":"https://hdl.handle.net/10630/33324","pdf_url":null,"source":{"id":"https://openalex.org/S4306401385","display_name":"Repositorio Institucional de la Universidad de M\u00e1laga (University of M\u00e1laga)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82767444","host_organization_name":"Universidad de M\u00e1laga","host_organization_lineage":["https://openalex.org/I82767444"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"AM"}],"best_oa_location":{"id":"pmh:oai:riuma.uma.es:10630/33324","is_oa":true,"landing_page_url":"https://hdl.handle.net/10630/33324","pdf_url":null,"source":{"id":"https://openalex.org/S4306401385","display_name":"Repositorio Institucional de la Universidad de M\u00e1laga (University of M\u00e1laga)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I82767444","host_organization_name":"Universidad de M\u00e1laga","host_organization_lineage":["https://openalex.org/I82767444"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"AM"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.44999998807907104}],"awards":[{"id":"https://openalex.org/G2556605103","display_name":null,"funder_award_id":"P12-TIC-1470","funder_id":"https://openalex.org/F4320326754","funder_display_name":"Junta de Andaluc\u00eda"}],"funders":[{"id":"https://openalex.org/F4320326754","display_name":"Junta de Andaluc\u00eda","ror":"https://ror.org/01jem9c82"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1979330015","https://openalex.org/W2001738739","https://openalex.org/W2005064465","https://openalex.org/W2017700354","https://openalex.org/W2032945467","https://openalex.org/W2042082001","https://openalex.org/W2075626884","https://openalex.org/W2087476542","https://openalex.org/W2105055683","https://openalex.org/W2115003448","https://openalex.org/W2120635877","https://openalex.org/W2130392506","https://openalex.org/W2137096499","https://openalex.org/W2141222493","https://openalex.org/W2141386638","https://openalex.org/W2149473197","https://openalex.org/W2153580689","https://openalex.org/W2157225945","https://openalex.org/W2163654949","https://openalex.org/W2164264749","https://openalex.org/W2220172223","https://openalex.org/W3142307116","https://openalex.org/W3146443411","https://openalex.org/W4205283737","https://openalex.org/W4236302577","https://openalex.org/W4241925695","https://openalex.org/W4244583165","https://openalex.org/W4298077439","https://openalex.org/W6684392763"],"related_works":["https://openalex.org/W2518762612","https://openalex.org/W2572582730","https://openalex.org/W2767643229","https://openalex.org/W2413014562","https://openalex.org/W2138476373","https://openalex.org/W2245412218","https://openalex.org/W2105578427","https://openalex.org/W2124651507","https://openalex.org/W838243904","https://openalex.org/W2144825886","https://openalex.org/W28422244","https://openalex.org/W2055100610","https://openalex.org/W2116590550","https://openalex.org/W2021030008","https://openalex.org/W2985911026","https://openalex.org/W2914180539","https://openalex.org/W2978286473","https://openalex.org/W2424082904","https://openalex.org/W2387788167","https://openalex.org/W2259021409"],"abstract_inverted_index":{"IBM":[0],"and":[1,31,99,175,265],"Intel":[2],"now":[3],"offer":[4],"commercial":[5],"systems":[6,26],"with":[7,91,171,194,208,223,240,255,260],"Transactional":[8],"Memory":[9],"(TM),":[10],"a":[11,33,76,95,108,147,225],"programming":[12,20,68],"paradigm":[13],"whose":[14],"aim":[15],"is":[16,112,132,192,252],"to":[17,37,62,70,89,100,106,271],"facilitate":[18],"concurrent":[19],"while":[21],"maximizing":[22],"parallelism.":[23],"These":[24],"TM":[25,49,72],"are":[27,44],"implemented":[28,230],"in":[29,94,121,157,231],"hardware":[30,40,48,148],"provide":[32],"software":[34,53,125,196],"fallback":[35,54,109,126,130,276],"path":[36,55,277],"overcome":[38],"the":[39,60,71,102,115,122,129,135,138,143,158,163,180,187,212,215,220,236,250,256,261,275],"implementation":[41],"limitations.":[42],"They":[43],"known":[45],"as":[46,87,201],"best-effort":[47],"(BE-HTM)":[50],"systems.":[51],"The":[52,247],"must":[56],"be":[57,177,229],"provided":[58],"by":[59,179],"user":[61,103,181],"ensure":[63],"forward":[64],"progress,":[65],"which":[66,198,233],"adds":[67],"complexity":[69],"paradigm.":[73],"We":[74,145,217],"propose":[75,146,200,219],"new":[77],"type":[78],"of":[79,117,124,137,141,167,189,214,238,244,249],"irrevocability":[80,150,222],"(a":[81],"transactional":[82,245],"mode":[83],"that":[84,152,227],"marks":[85],"transactions":[86],"non-abortable)":[88],"deal":[90],"BE-HTM":[92],"limitations":[93],"more":[96],"efficient":[97],"manner,":[98],"liberate":[101],"from":[104,269],"having":[105],"program":[107],"path.":[110],"It":[111,161,191],"based":[113],"on":[114],"concept":[116],"lazy":[118,149,172,204,221],"subscription":[119,173],"used":[120],"context":[123],"paths,":[127],"where":[128],"lock":[131,207],"checked":[133],"at":[134,142,211],"end":[136,213],"transaction":[139],"instead":[140],"beginning.":[144],"mechanism":[151,226],"does":[153],"not":[154],"involve":[155],"changes":[156],"coherence":[159],"protocol.":[160],"solves":[162],"unsafe":[164],"execution":[165],"problem":[166],"premature":[168],"commits":[169],"associated":[170],"fallbacks,":[174],"can":[176],"triggered":[178],"via":[182],"an":[183,202],"ISA":[184],"extension,":[185],"for":[186],"sake":[188],"versatility.":[190],"compared":[193],"its":[195],"counterpart,":[197],"we":[199,266],"enhanced":[203],"single":[205],"global":[206],"escaped":[209],"spinning":[210],"transaction.":[216],"also":[218],"anticipation,":[224],"cannot":[228],"software,":[232],"significantly":[234],"improves":[235],"performance":[237],"codes":[239],"multiple":[241],"cache":[242],"evictions":[243],"data.":[246],"evaluation":[248],"proposals":[251],"carried":[253],"out":[254],"Simics/GEMS":[257],"simulator":[258],"along":[259],"STAMP":[262],"benchmark":[263],"suite,":[264],"obtain":[267],"speedups":[268],"14":[270],"28":[272],"percent":[273],"over":[274],"approaches.":[278]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-01-06T00:00:00"}
