{"id":"https://openalex.org/W3040883242","doi":"https://doi.org/10.1145/3350755.3400212","title":"The Recoverable Consensus Hierarchy","display_name":"The Recoverable Consensus Hierarchy","publication_year":2020,"publication_date":"2020-07-06","ids":{"openalex":"https://openalex.org/W3040883242","doi":"https://doi.org/10.1145/3350755.3400212","mag":"3040883242"},"language":"en","primary_location":{"id":"doi:10.1145/3350755.3400212","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3350755.3400212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures","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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5075472271"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":0.3084,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.60136292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"281","last_page":"291"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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":1.0,"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/T12288","display_name":"Optimization and Search Problems","score":0.9847000241279602,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9688000082969666,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/hierarchy","display_name":"Hierarchy","score":0.7563352584838867},{"id":"https://openalex.org/keywords/consensus","display_name":"Consensus","score":0.6981005668640137},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6734557747840881},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5040706396102905},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.4248945415019989},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.41611504554748535},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4134824872016907},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34886783361434937},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2056613266468048},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.1772094964981079},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11732867360115051},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10328945517539978}],"concepts":[{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.7563352584838867},{"id":"https://openalex.org/C107107730","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus","level":3,"score":0.6981005668640137},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6734557747840881},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5040706396102905},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.4248945415019989},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.41611504554748535},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4134824872016907},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34886783361434937},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2056613266468048},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.1772094964981079},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11732867360115051},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10328945517539978},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3350755.3400212","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3350755.3400212","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6000000238418579,"display_name":"Peace, Justice and strong institutions"}],"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":22,"referenced_works":["https://openalex.org/W1602960976","https://openalex.org/W1973272308","https://openalex.org/W1978280181","https://openalex.org/W1991558558","https://openalex.org/W2013271396","https://openalex.org/W2015913324","https://openalex.org/W2035362408","https://openalex.org/W2073407658","https://openalex.org/W2082497009","https://openalex.org/W2085407655","https://openalex.org/W2087549824","https://openalex.org/W2101939036","https://openalex.org/W2138654728","https://openalex.org/W2140227464","https://openalex.org/W2481199248","https://openalex.org/W2506042853","https://openalex.org/W2611515161","https://openalex.org/W2738823197","https://openalex.org/W2810443901","https://openalex.org/W4231667023","https://openalex.org/W4237166236","https://openalex.org/W4308284000"],"related_works":["https://openalex.org/W2116677773","https://openalex.org/W2155261584","https://openalex.org/W2584231425","https://openalex.org/W2365264209","https://openalex.org/W2150611273","https://openalex.org/W4207086172","https://openalex.org/W2042919702","https://openalex.org/W962203960","https://openalex.org/W4225981436","https://openalex.org/W2156185805"],"abstract_inverted_index":{"Herlihy's":[0],"consensus":[1,12,32,47,97,128,162,191],"hierarchy":[2,33,98,106,129,137,163],"ranks":[3],"the":[4,31,41,95,104,126,135,143,160,170,189,201,205,215],"power":[5],"of":[6,43,66,145,198,217],"various":[7],"synchronization":[8,89],"primitives":[9,184],"for":[10],"solving":[11],"in":[13,34,49,94,103,125,134,159,169,188],"a":[14,35,59,154],"model":[15,36,68],"where":[16,40],"asynchronous":[17],"processes":[18],"communicate":[19],"through":[20],"shared":[21],"memory,":[22],"and":[23,75,120,150,207],"may":[24],"fail":[25],"by":[26,54],"halting.":[27],"This":[28],"paper":[29],"revisits":[30],"with":[37,71,76,212],"crash-recovery":[38,209],"failures,":[39,74],"specification":[42],"consensus,":[44],"called":[45],"recoverable":[46],"(RC)":[48],"this":[50,67,196],"paper,":[51],"is":[52,148],"weakened":[53],"allowing":[55],"non-terminating":[56],"executions":[57],"when":[58],"process":[60,73,80],"fails":[61],"infinitely":[62],"often.":[63],"Two":[64],"variations":[65],"are":[69,109,140],"considered:":[70],"independent":[72,208],"simultaneous":[77,206],"(i.e.,":[78],"system-wide)":[79],"failures.":[81],"We":[82],"prove":[83],"several":[84],"fundamental":[85],"results:":[86],"(i)":[87],"any":[88,112],"primitive":[90,116,155],"at":[91,100,122,156,166,185],"level":[92,101,123,132,157,167,186],"2":[93,102,124,158,168,187],"conventional":[96,127,161,190],"remains":[99,165],"RC":[105,136,171],"if":[107,138],"failures":[108,139,147],"simultaneous;":[110],"(ii)":[111,178],"commutative":[113],"or":[114],"overwriting":[115],"(including":[117],"Test-And-Set,":[118],"Fetch-And-Add,":[119],"Fetch-And-Store)":[121],"drops":[130],"to":[131,182,214],"1":[133],"independent,":[141],"unless":[142],"number":[144],"such":[146],"bounded;":[149],"(iii)":[151,174],"there":[152],"exists":[153],"that":[164,176],"hierarchy.":[172,192],"Result":[173],"implies":[175],"result":[177],"cannot":[179],"be":[180],"generalized":[181],"all":[183],"To":[193],"our":[194],"knowledge,":[195],"collection":[197],"results":[199],"exhibits":[200],"first":[202],"separation":[203],"between":[204],"failure":[210],"models":[211],"respect":[213],"computability":[216],"consensus.":[218]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}