{"id":"https://openalex.org/W3207206756","doi":"https://doi.org/10.1145/3744236","title":"Adaptive and Fair Transformation for Recoverable Mutual Exclusion","display_name":"Adaptive and Fair Transformation for Recoverable Mutual Exclusion","publication_year":2025,"publication_date":"2025-06-11","ids":{"openalex":"https://openalex.org/W3207206756","doi":"https://doi.org/10.1145/3744236","mag":"3207206756"},"language":"en","primary_location":{"id":"doi:10.1145/3744236","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3744236","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3744236","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017357109","display_name":"Sahil Dhoked","orcid":"https://orcid.org/0000-0003-2893-377X"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sahil Dhoked","raw_affiliation_strings":["Computer Science, The University of Texas at Dallas","Computer Science, The University of Texas at Dallas, Richardson, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science, The University of Texas at Dallas","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Computer Science, The University of Texas at Dallas, Richardson, United States","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103161933","display_name":"Neeraj Mittal","orcid":"https://orcid.org/0000-0002-8734-1400"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Neeraj Mittal","raw_affiliation_strings":["Computer Science, The University of Texas at Dallas","Computer Science, The University of Texas at Dallas, Richardson, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science, The University of Texas at Dallas","institution_ids":["https://openalex.org/I162577319"]},{"raw_affiliation_string":"Computer Science, The University of Texas at Dallas, Richardson, United States","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017357109"],"corresponding_institution_ids":["https://openalex.org/I162577319"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00058711,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"72","issue":"4","first_page":"1","last_page":"61"},"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/T13471","display_name":"Cognitive Functions and Memory","score":0.978600025177002,"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"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.953499972820282,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6151036620140076},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.6047589182853699},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4220888614654541},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3128163516521454},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.11925530433654785},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.11519730091094971},{"id":"https://openalex.org/keywords/genetics","display_name":"Genetics","score":0.07379114627838135}],"concepts":[{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6151036620140076},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.6047589182853699},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4220888614654541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3128163516521454},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.11925530433654785},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.11519730091094971},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.07379114627838135},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3744236","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3744236","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},{"id":"mag:3207206756","is_oa":true,"landing_page_url":"http://arxiv.org/pdf/2110.08308.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3744236","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3744236","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.8100000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1214620947","https://openalex.org/W1486881664","https://openalex.org/W1987782288","https://openalex.org/W2001738739","https://openalex.org/W2010898455","https://openalex.org/W2023917386","https://openalex.org/W2054987727","https://openalex.org/W2069347532","https://openalex.org/W2072072075","https://openalex.org/W2100505193","https://openalex.org/W2108840660","https://openalex.org/W2116680417","https://openalex.org/W2139686111","https://openalex.org/W2147005473","https://openalex.org/W2148789662","https://openalex.org/W2166905397","https://openalex.org/W2170523074","https://openalex.org/W2187800381","https://openalex.org/W2481199248","https://openalex.org/W2703407771","https://openalex.org/W2738823197","https://openalex.org/W2773731580","https://openalex.org/W2794791658","https://openalex.org/W2810665464","https://openalex.org/W2963078385","https://openalex.org/W2973122435","https://openalex.org/W2985470207","https://openalex.org/W3022040810","https://openalex.org/W3046463707","https://openalex.org/W3099035734","https://openalex.org/W3130257833","https://openalex.org/W3183901574","https://openalex.org/W4294549613","https://openalex.org/W4312548704","https://openalex.org/W4319165565","https://openalex.org/W4366158500","https://openalex.org/W4378801269","https://openalex.org/W4378895332","https://openalex.org/W6891572155"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W3046715470","https://openalex.org/W2531084474","https://openalex.org/W2383425257","https://openalex.org/W1982812811","https://openalex.org/W1540896195","https://openalex.org/W2161425454","https://openalex.org/W4362712030"],"abstract_inverted_index":{"Mutual":[0],"exclusion":[1,18,66,74],"is":[2,182,253,318],"one":[3],"of":[4,63,116,129,143,155,169,174,185,216,231,248,270,278,298,313,332,358],"the":[5,24,51,61,101,114,121,127,133,137,144,149,170,183,204,213,222,229,234,245,267,271,276,279,295,299,307,329],"most":[6,364],"commonly":[7,361],"used":[8,326],"techniques":[9],"to":[10,60,112,202,293,327,338],"handle":[11],"contention":[12,269],"in":[13,46,53,132,221,233,363],"concurrent":[14],"systems.":[15],"Traditionally,":[16],"mutual":[17,65,73],"algorithms":[19],"have":[20],"been":[21],"designed":[22],"under":[23],"assumption":[25],"that":[26,77,95,99,107,321],"a":[27,34,72,93,153,192,197,208,217,249,288],"process":[28],"does":[29],"not":[30],"fail":[31],"while":[32,37,81,135],"acquiring/releasing":[33],"lock":[35,52,205],"or":[36],"executing":[38],"its":[39],"critical":[40,218,250],"section.":[41],"However,":[42],"failures":[43,80,131],"do":[44],"occur":[45],"real":[47],"life,":[48],"potentially":[49],"leaving":[50],"an":[54,105,179,240],"inconsistent":[55],"state.":[56],"This":[57],"gives":[58],"rise":[59],"problem":[62,103],"recoverable":[64],"(RME)":[67],",":[68,263],"which":[69,244,359],"involves":[70],"designing":[71],"(ME)":[75],"algorithm":[76,98,106,150,242,292,305,344],"can":[78,108],"tolerate":[79],"maintaining":[82,136],"required":[83],"safety":[84],"and":[85,140,166,195,273,310,340,350],"liveness":[86],"properties.":[87],"In":[88,336],"this":[89,156],"work,":[90],"we":[91],"present":[92],"framework":[94,238,285],"transforms":[96],"any":[97,175],"solves":[100],"RME":[102,146,180,224,241,300,334],"into":[104],"also":[109,324],"simultaneously":[110],"adapt":[111],"(i)":[113],"number":[115,128,184,230],"processes":[117,232],"concurrently":[118],"competing":[119],"for":[120,243],"lock,":[122,198],"as":[123,125,152,163,199,201],"well":[124,200],"(ii)":[126],"unresolved":[130],"system,":[134],"correctness":[138],"properties":[139,161,312],"performance":[141,172],"characteristics":[142],"underlying":[145,223],"algorithm.":[147,301],"Additionally,":[148],"constructed":[151],"result":[154],"transformation":[157],"adds":[158],"certain":[159],"desirable":[160],"such":[162],"bounded":[164],"recovery":[165],"fairness.":[167],"One":[168],"important":[171],"measures":[173],"ME":[176],"algorithm,":[177,181,225],"including":[178],"remote":[186],"memory":[187,290,303],"references":[188],"(RMRs)":[189],"made":[190],"by":[191,255,286],"process\u2014to":[193],"acquire":[194],"release":[196],"recover":[203],"structure":[206],"after":[207],"failure.":[209],"Let":[210],"R(n)":[211,261],"denote":[212],"RMR":[214,246],"complexity":[215,247,297,331],"section":[219,251],"request":[220,252,272],"where":[226,264],"n":[227],"denotes":[228,266,275],"system.":[235],"Then,":[236],"our":[237,284,314,343],"yields":[239],"given":[254],"\\(\\mathcal":[256],"{O}(\\min":[257],"\\lbrace":[258],"\\ddot{c},\\sqrt":[259],"{F+1},\\":[260],"\\rbrace)\\)":[262],"\\(\\ddot{c}\\)":[265],"point":[268],"F":[274],"failure-density":[277],"request.":[280],"We":[281],"further":[282],"extend":[283],"presenting":[287],"novel":[289],"reclamation":[291,304],"bound":[294,328],"space":[296,330],"Our":[302,316],"maintains":[306],"correctness,":[308],"performance,":[309],"fairness":[311],"transformation.":[315],"approach":[317],"general":[319],"enough":[320],"it":[322],"may":[323],"be":[325],"other":[333],"algorithms.":[335],"addition":[337],"read":[339],"write":[341],"instructions,":[342,356],"uses":[345],"compare-and-swap":[346],"(":[347,352],"CAS":[348],")":[349,354],"fetch-and-store":[351],"FAS":[353],"hardware":[355],"both":[357],"are":[360],"available":[362],"modern":[365],"processors.":[366]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}