{"id":"https://openalex.org/W2777716674","doi":"https://doi.org/10.1145/3131360","title":"Characterizing Transactional Memory Consistency Conditions Using Observational Refinement","display_name":"Characterizing Transactional Memory Consistency Conditions Using Observational Refinement","publication_year":2017,"publication_date":"2017-12-18","ids":{"openalex":"https://openalex.org/W2777716674","doi":"https://doi.org/10.1145/3131360","mag":"2777716674"},"language":"en","primary_location":{"id":"doi:10.1145/3131360","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131360","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","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/A5029333678","display_name":"Hagit Attiya","orcid":"https://orcid.org/0000-0002-8017-6457"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Hagit Attiya","raw_affiliation_strings":["Technion\u2014Israel Institute of Technology, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion\u2014Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068242118","display_name":"Alexey Gotsman","orcid":"https://orcid.org/0000-0002-2454-4171"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alexey Gotsman","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039554087","display_name":"Sandeep Hans","orcid":"https://orcid.org/0000-0003-4986-0688"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Sandeep Hans","raw_affiliation_strings":["Technion\u2014Israel Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion\u2014Israel Institute of Technology","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082349206","display_name":"Noam Rinetzky","orcid":"https://orcid.org/0000-0002-7750-4085"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Noam Rinetzky","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.22977441,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"65","issue":"1","first_page":"1","last_page":"44"},"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.9898999929428101,"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.989799976348877,"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.8157549500465393},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.658155083656311},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.6552091240882874},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6458518505096436},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5844041109085083},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5829912424087524},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.580166220664978},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5360174179077148},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.49012884497642517},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.48965007066726685},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4875001609325409},{"id":"https://openalex.org/keywords/observational-study","display_name":"Observational study","score":0.4758859872817993},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.47008657455444336},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.41100192070007324},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35843420028686523},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11124306917190552},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07362133264541626}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8157549500465393},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.658155083656311},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.6552091240882874},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6458518505096436},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5844041109085083},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5829912424087524},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.580166220664978},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5360174179077148},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.49012884497642517},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.48965007066726685},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4875001609325409},{"id":"https://openalex.org/C23131810","wikidata":"https://www.wikidata.org/wiki/Q818574","display_name":"Observational study","level":2,"score":0.4758859872817993},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.47008657455444336},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.41100192070007324},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35843420028686523},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11124306917190552},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07362133264541626},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3131360","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131360","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W307320947","https://openalex.org/W1523021320","https://openalex.org/W1542975293","https://openalex.org/W1580087508","https://openalex.org/W1588468239","https://openalex.org/W1981246829","https://openalex.org/W1983572666","https://openalex.org/W2022984109","https://openalex.org/W2023304911","https://openalex.org/W2035134754","https://openalex.org/W2047791971","https://openalex.org/W2054739713","https://openalex.org/W2060499019","https://openalex.org/W2086512828","https://openalex.org/W2095825766","https://openalex.org/W2101939036","https://openalex.org/W2105055683","https://openalex.org/W2113751407","https://openalex.org/W2117879955","https://openalex.org/W2128585185","https://openalex.org/W2129990308","https://openalex.org/W2132484060","https://openalex.org/W2133108345","https://openalex.org/W2141222493","https://openalex.org/W2151448199","https://openalex.org/W2152198540","https://openalex.org/W2152988224","https://openalex.org/W2155500238","https://openalex.org/W2183354935","https://openalex.org/W2243907423","https://openalex.org/W4238982306","https://openalex.org/W4244083566","https://openalex.org/W4298077439"],"related_works":["https://openalex.org/W3150250461","https://openalex.org/W1946484695","https://openalex.org/W4290062159","https://openalex.org/W2517715353","https://openalex.org/W1496260221","https://openalex.org/W2789122466","https://openalex.org/W2783626745","https://openalex.org/W3011851329","https://openalex.org/W2616552159","https://openalex.org/W2777716674"],"abstract_inverted_index":{"Transactional":[0,108,157],"memory":[1],"(TM)":[2],"facilitates":[3],"the":[4,33,45,99,141],"development":[5],"of":[6,43,48,75,98,107,200,204],"concurrent":[7],"applications":[8],"by":[9,86],"letting":[10],"a":[11,28,55,76,79,96,105,112,122,132,151,172,198,201,209],"programmer":[12,63],"designate":[13],"certain":[14,188],"code":[15],"blocks":[16,50],"as":[17,65,95],"atomic.":[18],"The":[19],"common":[20],"approach":[21,211],"to":[22,118,168,197,212,224],"stating":[23],"TM":[24,35,69,81,113,192,214,219],"correctness":[25],"is":[26,116,140,166,195],"through":[27,51],"consistency":[29,39,114,153,215],"condition":[30,144,203],"that":[31,73,104,138,164,186],"restricts":[32],"possible":[34],"executions.":[36],"Unfortunately,":[37],"existing":[38],"conditions":[40,216],"fall":[41],"short":[42],"formalizing":[44],"intuitive":[46],"semantics":[47],"atomic":[49],"which":[52],"programmers":[53],"use":[54],"TM.":[56],"To":[57],"close":[58],"this":[59,146],"gap,":[60],"we":[61,184],"formalize":[62],"expectations":[64],"observational":[66,119,169],"refinement":[67,120,170],"between":[68],"implementations.":[70],"This":[71],"states":[72],"properties":[74],"program":[77],"using":[78],"concrete":[80,100],"implementation":[82],"can":[83],"be":[84],"established":[85],"analyzing":[87],"its":[88],"behavior":[89],"with":[90],"an":[91],"abstract":[92],"TM,":[93],"serving":[94],"specification":[97],"one.":[101],"We":[102,135,148],"show":[103,163,185],"variant":[106,199],"Memory":[109,158],"Specification":[110,159],"(TMS),":[111],"condition,":[115,154],"equivalent":[117,167,196],"for":[121,145,171],"programming":[123],"language":[124,173,222],"where":[125,174],"local":[126,175],"variables":[127,176],"are":[128,177],"rolled":[129,179],"back":[130,180],"upon":[131,181],"transaction":[133],"abort.":[134],"thereby":[136],"establish":[137],"TMS":[139],"weakest":[142],"acceptable":[143],"case.":[147],"then":[149],"propose":[150],"new":[152,210],"called":[155],"Strong":[156],"(STMS)":[160],",":[161],"and":[162,217,221],"it":[165],"not":[178],"aborts.":[182],"Finally,":[183],"under":[187],"natural":[189],"assumptions":[190],"on":[191],"implementations,":[193],"STMS":[194],"well-known":[202],"opacity.":[205],"Our":[206],"results":[207],"suggest":[208],"evaluating":[213],"enable":[218],"implementors":[220],"designers":[223],"make":[225],"better-informed":[226],"decisions.":[227]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}