{"id":"https://openalex.org/W4224046843","doi":"https://doi.org/10.1007/s00446-022-00420-2","title":"Last-use opacity: a strong safety property for transactional memory with prerelease support","display_name":"Last-use opacity: a strong safety property for transactional memory with prerelease support","publication_year":2022,"publication_date":"2022-04-17","ids":{"openalex":"https://openalex.org/W4224046843","doi":"https://doi.org/10.1007/s00446-022-00420-2"},"language":"en","primary_location":{"id":"doi:10.1007/s00446-022-00420-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-022-00420-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-022-00420-2.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00446-022-00420-2.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081136053","display_name":"Konrad Siek","orcid":"https://orcid.org/0000-0002-3599-2164"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]},{"id":"https://openalex.org/I46597724","display_name":"Pozna\u0144 University of Technology","ror":"https://ror.org/00p7p3302","country_code":"PL","type":"education","lineage":["https://openalex.org/I46597724"]}],"countries":["CZ","PL"],"is_corresponding":true,"raw_author_name":"Konrad Siek","raw_affiliation_strings":["Faculty of Information Technology, Czech Technical University in Prague, Th\u00e1kurova 9, 160 00, Prague 6, Czech Republic","Institute of Computing Science, Poznan University of Technology, Piotrowo 2, 60-965, Poznan, Poland","Faculty of Information Technology, Czech Technical University in Prague, Prague 6, Czech Republic","Institute of Computing Science, Poznan University of Technology, Poznan, Poland"],"raw_orcid":"https://orcid.org/0000-0002-3599-2164","affiliations":[{"raw_affiliation_string":"Faculty of Information Technology, Czech Technical University in Prague, Th\u00e1kurova 9, 160 00, Prague 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Institute of Computing Science, Poznan University of Technology, Piotrowo 2, 60-965, Poznan, Poland","institution_ids":["https://openalex.org/I46597724"]},{"raw_affiliation_string":"Faculty of Information Technology, Czech Technical University in Prague, Prague 6, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Institute of Computing Science, Poznan University of Technology, Poznan, Poland","institution_ids":["https://openalex.org/I46597724"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069864766","display_name":"Pawe\u0142 T. Wojciechowski","orcid":"https://orcid.org/0000-0003-2008-278X"},"institutions":[{"id":"https://openalex.org/I46597724","display_name":"Pozna\u0144 University of Technology","ror":"https://ror.org/00p7p3302","country_code":"PL","type":"education","lineage":["https://openalex.org/I46597724"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Pawe\u0142 T. Wojciechowski","raw_affiliation_strings":["Institute of Computing Science, Poznan University of Technology, Piotrowo 2, 60-965, Poznan, Poland","Institute of Computing Science, Poznan University of Technology, Poznan, Poland"],"raw_orcid":"https://orcid.org/0000-0003-2008-278X","affiliations":[{"raw_affiliation_string":"Institute of Computing Science, Poznan University of Technology, Piotrowo 2, 60-965, Poznan, Poland","institution_ids":["https://openalex.org/I46597724"]},{"raw_affiliation_string":"Institute of Computing Science, Poznan University of Technology, Poznan, Poland","institution_ids":["https://openalex.org/I46597724"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5081136053"],"corresponding_institution_ids":["https://openalex.org/I44504214","https://openalex.org/I46597724"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":{"value":2490,"currency":"EUR","value_usd":3090},"fwci":0.2849,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55567866,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"35","issue":"3","first_page":"265","last_page":"301"},"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.9912999868392944,"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.984000027179718,"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/serializability","display_name":"Serializability","score":0.7281152009963989},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6796157360076904},{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.526326596736908},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.5194870233535767},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5049362778663635},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.504783034324646},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.488841712474823},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4435870051383972},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.38343048095703125},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2562275528907776},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09670111536979675}],"concepts":[{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.7281152009963989},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6796157360076904},{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.526326596736908},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.5194870233535767},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5049362778663635},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.504783034324646},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.488841712474823},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4435870051383972},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.38343048095703125},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2562275528907776},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09670111536979675},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00446-022-00420-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-022-00420-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-022-00420-2.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00446-022-00420-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-022-00420-2","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-022-00420-2.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6399999856948853,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1006421493","display_name":null,"funder_award_id":"DEC-2012/07/B/ST6/01230","funder_id":"https://openalex.org/F4320322511","funder_display_name":"Narodowe Centrum Nauki"}],"funders":[{"id":"https://openalex.org/F4320322511","display_name":"Narodowe Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4224046843.pdf","grobid_xml":"https://content.openalex.org/works/W4224046843.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W69959062","https://openalex.org/W307320947","https://openalex.org/W1542975293","https://openalex.org/W1545155892","https://openalex.org/W1545706510","https://openalex.org/W1963520590","https://openalex.org/W1965528698","https://openalex.org/W1981246829","https://openalex.org/W1981423585","https://openalex.org/W1991878751","https://openalex.org/W1996587743","https://openalex.org/W2018464987","https://openalex.org/W2022984109","https://openalex.org/W2023304911","https://openalex.org/W2035134754","https://openalex.org/W2050465587","https://openalex.org/W2057561852","https://openalex.org/W2064214512","https://openalex.org/W2074095926","https://openalex.org/W2092911542","https://openalex.org/W2094222793","https://openalex.org/W2103184997","https://openalex.org/W2105055683","https://openalex.org/W2113751407","https://openalex.org/W2119964141","https://openalex.org/W2128585185","https://openalex.org/W2129990308","https://openalex.org/W2132334337","https://openalex.org/W2133108345","https://openalex.org/W2141222493","https://openalex.org/W2152812436","https://openalex.org/W2164529885","https://openalex.org/W2165842861","https://openalex.org/W2535263865","https://openalex.org/W2745031319","https://openalex.org/W2905427109","https://openalex.org/W2914061328","https://openalex.org/W2963872353","https://openalex.org/W3144200734","https://openalex.org/W4236919400","https://openalex.org/W4242949098"],"related_works":["https://openalex.org/W2018479316","https://openalex.org/W50993356","https://openalex.org/W579270350","https://openalex.org/W2731282421","https://openalex.org/W164845491","https://openalex.org/W590454891","https://openalex.org/W2391763778","https://openalex.org/W2588999713","https://openalex.org/W1529755872","https://openalex.org/W2048101474"],"abstract_inverted_index":{"Abstract":[0],"Transaction":[1],"Memory":[2],"(TM)":[3],"is":[4,85],"a":[5,51,55,59,108,130,195,205,222],"concurrency":[6],"control":[7],"abstraction":[8],"that":[9,105,148,172,175],"allows":[10],"the":[11,39,144,161],"programmer":[12],"to":[13,18,38,50,69,157,203],"specify":[14],"blocks":[15],"of":[16,41,110,160,197,225],"code":[17,27],"be":[19,36,100,204],"executed":[20],"atomically":[21],"as":[22,129],"transactions.":[23,142,235],"However,":[24,122],"since":[25],"transactional":[26],"can":[28,99],"contain":[29],"just":[30],"about":[31],"any":[32,45,159],"operation":[33],"attention":[34],"must":[35],"paid":[37],"state":[40],"shared":[42],"variables":[43,174],"at":[44],"given":[46],"time.":[47],"E.g.,":[48],"contrary":[49],"database":[52],"transaction,":[53],"if":[54],"TM":[56,111,199],"transaction":[57],"reads":[58],"stale":[60],"value":[61],"it":[62],"may":[63],"execute":[64],"dangerous":[65],"operations,":[66],"like":[67,210,215],"attempt":[68],"divide":[70],"by":[71,103],"zero,":[72],"access":[73],"an":[74,80],"illegal":[75],"memory":[76],"address,":[77],"or":[78,166],"enter":[79],"infinite":[81],"loop.":[82],"Thus":[83],"serializability":[84],"insufficient,":[86],"and":[87,118,120,191,212,229],"stronger":[88],"safety":[89,112,200],"properties":[90,113,125,147,201,209,218],"are":[91,152],"required":[92],"in":[93],"TM,":[94,134],"which":[95],"regulate":[96],"what":[97],"values":[98],"read,":[101],"even":[102],"transactions":[104,171],"abort.":[106],"Hence,":[107],"number":[109],"were":[114],"developed,":[115],"including":[116],"opacity,":[117,180,182,194],"TMS1":[119],"TMS2.":[121],"such":[123],"strong":[124,155,192,208],"preclude":[126],"using":[127],"prerelease":[128,151,173],"technique":[131],"for":[132],"optimizing":[133],"because":[135],"they":[136],"virtually":[137],"forbid":[138],"reading":[139],"from":[140],"live":[141,181],"On":[143],"other":[145],"hand,":[146],"do":[149],"allow":[150],"either":[153],"not":[154],"enough":[156],"prevent":[158],"problems":[162],"mentioned":[163],"above":[164],"(recoverability),":[165],"add":[167],"additional":[168],"conditions":[169,233],"on":[170,234],"limit":[176],"their":[177],"applicability":[178],"(elastic":[179],"virtual":[183],"world":[184],"consistency).":[185],"This":[186],"paper":[187],"introduces":[188],"last-use":[189,193],"opacity":[190,211],"pair":[196],"new":[198],"meant":[202],"compromise":[206],"between":[207],"minimal":[213],"ones":[214],"serializability.":[216],"The":[217],"eliminate":[219],"all":[220],"but":[221],"small":[223],"class":[224],"benign":[226],"inconsistent":[227],"views":[228],"pose":[230],"no":[231],"stringent":[232]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}