{"id":"https://openalex.org/W2810665464","doi":"https://doi.org/10.1145/3212734.3212755","title":"Recoverable Mutual Exclusion Under System-Wide Failures","display_name":"Recoverable Mutual Exclusion Under System-Wide Failures","publication_year":2018,"publication_date":"2018-07-23","ids":{"openalex":"https://openalex.org/W2810665464","doi":"https://doi.org/10.1145/3212734.3212755","mag":"2810665464"},"language":"en","primary_location":{"id":"doi:10.1145/3212734.3212755","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3212734.3212755","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-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/A5075472271","display_name":"Wojciech Golab","orcid":"https://orcid.org/0000-0002-8891-256X"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Wojciech Golab","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022630655","display_name":"Danny Hendler","orcid":"https://orcid.org/0000-0001-7152-7828"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Danny Hendler","raw_affiliation_strings":["Ben-Gurion University, Beer-Sheva, Israel"],"affiliations":[{"raw_affiliation_string":"Ben-Gurion University, Beer-Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075472271"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":2.0299,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.8801251,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"17","last_page":"26"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9713000059127808,"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/T11740","display_name":"Geochemistry and Elemental Analysis","score":0.9340999722480774,"subfield":{"id":"https://openalex.org/subfields/1906","display_name":"Geochemistry and Petrology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.9003430604934692},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8453555107116699},{"id":"https://openalex.org/keywords/semaphore","display_name":"Semaphore","score":0.6968817710876465},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.5802863240242004},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.576332151889801},{"id":"https://openalex.org/keywords/traverse","display_name":"Traverse","score":0.4787713587284088},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.44993048906326294},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4230252504348755},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4200458824634552},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3222980797290802},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17453926801681519},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1378726363182068},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12846383452415466}],"concepts":[{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.9003430604934692},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8453555107116699},{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.6968817710876465},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.5802863240242004},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.576332151889801},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.4787713587284088},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.44993048906326294},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4230252504348755},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4200458824634552},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3222980797290802},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17453926801681519},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1378726363182068},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12846383452415466},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3212734.3212755","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3212734.3212755","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W78253466","https://openalex.org/W1556276302","https://openalex.org/W1601302035","https://openalex.org/W1973072380","https://openalex.org/W1984883054","https://openalex.org/W1987782288","https://openalex.org/W2001738739","https://openalex.org/W2010418743","https://openalex.org/W2022907112","https://openalex.org/W2030333832","https://openalex.org/W2031844067","https://openalex.org/W2034343921","https://openalex.org/W2054987727","https://openalex.org/W2063992960","https://openalex.org/W2069278684","https://openalex.org/W2070253537","https://openalex.org/W2070908350","https://openalex.org/W2076575129","https://openalex.org/W2087801709","https://openalex.org/W2108840660","https://openalex.org/W2112383564","https://openalex.org/W2131910547","https://openalex.org/W2138404963","https://openalex.org/W2147005473","https://openalex.org/W2147275437","https://openalex.org/W2170523074","https://openalex.org/W2196868970","https://openalex.org/W2481199248","https://openalex.org/W2618898480","https://openalex.org/W2703407771","https://openalex.org/W2738823197","https://openalex.org/W2773731580","https://openalex.org/W2985470207","https://openalex.org/W4294549613"],"related_works":["https://openalex.org/W2055159690","https://openalex.org/W2382175194","https://openalex.org/W2367266491","https://openalex.org/W1953982795","https://openalex.org/W2480924089","https://openalex.org/W1498456247","https://openalex.org/W2985470207","https://openalex.org/W2375900035","https://openalex.org/W1564372777","https://openalex.org/W1517912153"],"abstract_inverted_index":{"Recoverable":[0],"mutual":[1,10],"exclusion":[2,11],"(RME)":[3],"is":[4,27,66,159,175,202],"a":[5,140,151,238,272,298,310],"variation":[6],"on":[7,179,271],"the":[8,30,48,56,60,70,96,118,157,176,180,186,203,212,234,255,258,261],"classic":[9],"(ME)":[12],"problem":[13,62],"that":[14,46,55,74,100,122,153,190,223,276,300],"allows":[15],"processes":[16,65,145,246,250,277],"to":[17,161,279,316],"crash":[18,247],"and":[19,78,86,104,112,115,126,132,149,194,199,249,291,309],"recover.":[20],"The":[21,263,286],"time":[22],"complexity":[23,58,136,182,205],"of":[24,59,72,98,120,142,166,183,188,206,260,313],"RME":[25,61,184,207,224,318],"algorithms":[26,73,99,121,189],"quantified":[28],"in":[29,139,211,233,237],"same":[31],"way":[32],"as":[33,83,109,305],"for":[34,63,69,95,117,185],"ME,":[35],"namely":[36],"by":[37,209,221],"counting":[38],"remote":[39],"memory":[40,44],"references":[41],"--":[42],"expensive":[43],"operations":[45],"traverse":[47],"processor-to-memory":[49],"interconnect.":[50],"Prior":[51],"work":[52,167],"has":[53],"established":[54],"RMR":[57,181,204,324],"n":[64,90],"\u0398(log":[67],"n)":[68,94],"class":[71,97,119,187],"use":[75,101,123,191,278],"read/write":[76,102,124,192,289],"registers":[77,103,125,193,290],"single-word":[79,106,197,292],"comparison":[80],"primitives":[81,130],"such":[82,108,304],"Compare-And-Swap":[84,293],"(Golab":[85,111,131],"Ramaraju":[87],"2016),":[88],"O(log":[89],"/":[91],"log":[92,93],"additional":[105,252],"read-modify-primitives":[107],"Fetch-And-Store":[110],"Hendler":[113,133],"2017),":[114],"\u0398(1)":[116],"specialized":[127],"double-word":[128],"read-modify-write":[129],"2017).":[134],"These":[135],"bounds":[137],"hold":[138],"model":[141,239],"computation":[143],"where":[144,150,240],"may":[146],"fail":[147],"independently,":[148],"process":[152],"fails":[154],"while":[155,320],"accessing":[156],"mutex":[158],"required":[160],"recover":[162],"eventually.":[163],"This":[164,215],"body":[165],"leaves":[168],"open":[169],"two":[170],"important":[171],"questions:":[172],"(i)":[173],"what":[174],"tight":[177],"bound":[178,265],"commonly":[195],"supported":[196],"read-modify-primitives;":[198],"(ii)":[200],"how":[201],"affected":[208],"variations":[210],"failure":[213],"model?":[214],"paper":[216],"answers":[217],"both":[218],"questions":[219],"partially":[220],"showing":[222],"can":[225,301],"be":[226],"solved":[227],"using":[228],"O(1)":[229],"RMRs":[230],"per":[231],"passage":[232],"worst":[235],"case":[236],"failures":[241],"are":[242],"system-wide":[243],"(i.e.,":[244],"all":[245],"simultaneously),":[248],"receive":[251],"information":[253],"from":[254],"environment":[256],"regarding":[257],"occurrence":[259],"failure.":[262,285],"upper":[264],"algorithm":[266,319],"we":[267,296],"present":[268,297],"relies":[269],"crucially":[270],"novel":[273],"RMR-efficient":[274],"barrier":[275,287],"synchronize":[280],"recovery":[281],"actions":[282],"after":[283],"each":[284],"uses":[288],"only.":[294],"Additionally,":[295],"transformation":[299],"add":[302],"properties":[303],"critical":[306],"section":[307],"re-entry":[308],"strong":[311],"notion":[312],"starvation":[314],"freedom":[315],"any":[317],"preserving":[321],"its":[322],"asymptotic":[323],"complexity.":[325]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}