{"id":"https://openalex.org/W2738823197","doi":"https://doi.org/10.1145/3087801.3087819","title":"Recoverable Mutual Exclusion in Sub-logarithmic Time","display_name":"Recoverable Mutual Exclusion in Sub-logarithmic Time","publication_year":2017,"publication_date":"2017-07-20","ids":{"openalex":"https://openalex.org/W2738823197","doi":"https://doi.org/10.1145/3087801.3087819","mag":"2738823197"},"language":"en","primary_location":{"id":"doi:10.1145/3087801.3087819","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3087801.3087819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 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":3.108,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.92781074,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"211","last_page":"220"},"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.9843000173568726,"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.9839000105857849,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.8803566694259644},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7974791526794434},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.723859965801239},{"id":"https://openalex.org/keywords/swap","display_name":"Swap (finance)","score":0.6340847015380859},{"id":"https://openalex.org/keywords/logarithm","display_name":"Logarithm","score":0.5832163095474243},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.4840209186077118},{"id":"https://openalex.org/keywords/queue","display_name":"Queue","score":0.46641218662261963},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.45396316051483154},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.45054543018341064},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.44602057337760925},{"id":"https://openalex.org/keywords/log-log-plot","display_name":"Log-log plot","score":0.43629974126815796},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.43157297372817993},{"id":"https://openalex.org/keywords/traverse","display_name":"Traverse","score":0.430736780166626},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3706822395324707},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33740413188934326},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.18203413486480713},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16004899144172668},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14859473705291748},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14094600081443787}],"concepts":[{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.8803566694259644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7974791526794434},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.723859965801239},{"id":"https://openalex.org/C99821215","wikidata":"https://www.wikidata.org/wiki/Q1136583","display_name":"Swap (finance)","level":2,"score":0.6340847015380859},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.5832163095474243},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.4840209186077118},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.46641218662261963},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.45396316051483154},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.45054543018341064},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.44602057337760925},{"id":"https://openalex.org/C195292467","wikidata":"https://www.wikidata.org/wiki/Q2091879","display_name":"Log-log plot","level":3,"score":0.43629974126815796},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.43157297372817993},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.430736780166626},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3706822395324707},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33740413188934326},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.18203413486480713},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16004899144172668},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14859473705291748},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14094600081443787},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3087801.3087819","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3087801.3087819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.8199999928474426}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W78253466","https://openalex.org/W1504504841","https://openalex.org/W1540179969","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/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/W2087801709","https://openalex.org/W2108840660","https://openalex.org/W2113751407","https://openalex.org/W2131910547","https://openalex.org/W2138404963","https://openalex.org/W2147005473","https://openalex.org/W2147275437","https://openalex.org/W2153773928","https://openalex.org/W2170523074","https://openalex.org/W2196868970","https://openalex.org/W2481199248","https://openalex.org/W2703407771","https://openalex.org/W4294549613"],"related_works":["https://openalex.org/W2035522910","https://openalex.org/W3183901574","https://openalex.org/W2005615533","https://openalex.org/W3167950480","https://openalex.org/W4243665620","https://openalex.org/W1529311266","https://openalex.org/W2047234016","https://openalex.org/W2052169362","https://openalex.org/W1608733163","https://openalex.org/W2623150993"],"abstract_inverted_index":{"Recoverable":[0],"mutual":[1,10],"exclusion":[2,11],"(RME)":[3],"is":[4,27,89],"a":[5,139],"variation":[6,141],"on":[7,53,135],"the":[8,30,48,54,83,101],"classic":[9],"(ME)":[12],"problem":[13,56],"that":[14,46,74,109,133],"allows":[15],"processes":[16,73],"to":[17],"crash":[18],"and":[19,79,118,123,138,150],"recover.":[20],"The":[21],"time":[22],"complexity":[23,88],"of":[24,61,142],"RME":[25,55,107],"algorithms":[26,145],"quantified":[28],"in":[29,65,100],"same":[31],"way":[32],"as":[33],"for":[34],"ME,":[35],"namely":[36],"by":[37,104,148],"counting":[38],"remote":[39],"memory":[40,44,69],"references":[41],"--":[42],"expensive":[43],"operations":[45],"traverse":[47],"processor-to-memory":[49],"interconnect.":[50],"Prior":[51],"work":[52],"established":[57],"an":[58,66,106,129],"upper":[59],"bound":[60],"O(log":[62,111],"N)":[63,116],"RMRs":[64,117,131],"asynchronous":[67],"shared":[68],"model":[70,103],"with":[71],"N":[72,112],"communicate":[75],"using":[76,91],"atomic":[77],"read":[78],"write":[80],"operations,":[81],"prompting":[82],"question":[84,98],"whether":[85],"sub-logarithmic":[86],"RMR":[87],"attainable":[90],"common":[92],"read-modify-write":[93],"primitives.":[94],"We":[95,126],"answer":[96],"this":[97],"positively":[99],"cache-coherent":[102],"presenting":[105],"algorithm":[108,132],"incurs":[110],"/":[113],"log":[114,115],"uses":[119],"read,":[120],"write,":[121],"Fetch-And-Store,":[122],"Compare-And-Swap":[124,137],"instructions.":[125],"also":[127],"present":[128],"O(1)":[130],"relies":[134],"double-word":[136,140],"Fetch-And-Store.":[143],"Both":[144],"are":[146],"inspired":[147],"Mellor-Crummey":[149],"Scott's":[151],"queue":[152],"lock.":[153]},"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":6},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}