{"id":"https://openalex.org/W4406808953","doi":"https://doi.org/10.1007/s00446-024-00474-4","title":"Fast and fair randomized wait-free locks","display_name":"Fast and fair randomized wait-free locks","publication_year":2025,"publication_date":"2025-01-24","ids":{"openalex":"https://openalex.org/W4406808953","doi":"https://doi.org/10.1007/s00446-024-00474-4"},"language":"en","primary_location":{"id":"doi:10.1007/s00446-024-00474-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-024-00474-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-024-00474-4.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00446-024-00474-4.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002422340","display_name":"Naama Ben-David","orcid":"https://orcid.org/0000-0002-0863-2470"},"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":true,"raw_author_name":"Naama Ben-David","raw_affiliation_strings":["Technion, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technion, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033930662","display_name":"Guy E. Blelloch","orcid":"https://orcid.org/0000-0003-0224-9187"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guy E. Blelloch","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002422340"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":{"value":2490,"currency":"EUR","value_usd":3090},"apc_paid":{"value":2490,"currency":"EUR","value_usd":3090},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01050504,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":"1","first_page":"51","last_page":"72"},"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.9998000264167786,"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.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9879000186920166,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9851999878883362,"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/computer-science","display_name":"Computer science","score":0.5344549417495728},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3335988521575928}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5344549417495728},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3335988521575928}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00446-024-00474-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-024-00474-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-024-00474-4.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00446-024-00474-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00446-024-00474-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00446-024-00474-4.pdf","source":{"id":"https://openalex.org/S139349430","display_name":"Distributed Computing","issn_l":"0178-2770","issn":["0178-2770","1432-0452"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Distributed Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1814763051","display_name":"AF: Small: Shared-Memory Parallel Algorithms: Theory and Practice","funder_award_id":"1910030","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6550909468","display_name":null,"funder_award_id":"CCF-1919223","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7587430710","display_name":"SHF: Medium: Algorithmic lambda-Calculus for the Design, Analysis, and Implementation of Parallel Algorithms","funder_award_id":"1901381","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G82646606","display_name":"SPX: Parallel Models and Algorithms for Emerging Memory Systems","funder_award_id":"1919223","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320323721","display_name":"Technion-Israel Institute of Technology","ror":"https://ror.org/03qryx823"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406808953.pdf","grobid_xml":"https://content.openalex.org/works/W4406808953.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1495128589","https://openalex.org/W1553534568","https://openalex.org/W1842410071","https://openalex.org/W1964328999","https://openalex.org/W1973072380","https://openalex.org/W1976075610","https://openalex.org/W1976439674","https://openalex.org/W1977692753","https://openalex.org/W1978280181","https://openalex.org/W1982100000","https://openalex.org/W1988881980","https://openalex.org/W1988936992","https://openalex.org/W2005317574","https://openalex.org/W2015797339","https://openalex.org/W2016403002","https://openalex.org/W2034963261","https://openalex.org/W2055454967","https://openalex.org/W2065224821","https://openalex.org/W2067661972","https://openalex.org/W2070253537","https://openalex.org/W2072544773","https://openalex.org/W2085407655","https://openalex.org/W2091642429","https://openalex.org/W2093189971","https://openalex.org/W2096181137","https://openalex.org/W2101939036","https://openalex.org/W2106871513","https://openalex.org/W2110325957","https://openalex.org/W2119251905","https://openalex.org/W2124525591","https://openalex.org/W2133386065","https://openalex.org/W2141166827","https://openalex.org/W2159291506","https://openalex.org/W2163264184","https://openalex.org/W2165663045","https://openalex.org/W2412642011","https://openalex.org/W2431458507","https://openalex.org/W2769656678","https://openalex.org/W2963015830","https://openalex.org/W3177354720","https://openalex.org/W4221052948","https://openalex.org/W4241948923"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"We":[1,278],"present":[2,245],"a":[3,17,30,36,102,105,246,251],"randomized":[4],"approach":[5,28],"for":[6,145,298,310],"wait-free":[7],"locks":[8,47,100,112],"with":[9,117],"strong":[10],"bounds":[11,234],"on":[12,59,84,96,198,290,318],"time":[13],"and":[14,40,91,113,241,336],"fairness":[15],"in":[16,19,62,101,109,148,203],"context":[18],"which":[20,63,284,301],"any":[21,89,149,296],"process":[22],"can":[23,249,294],"be":[24,343],"arbitrarily":[25],"delayed.":[26],"Our":[27],"supports":[29],"tryLock":[31,51,106,194,323,340],"operation":[32,52,155],"that":[33,248,312],"is":[34,57,67,136,151,195,302],"given":[35,346],"set":[37],"of":[38,88,99,181,253,276,321,332,339,349],"locks,":[39,61],"code":[41,66,116,147],"to":[42,81,304,308,342],"run":[43],"when":[44],"all":[45],"the":[46,60,65,82,85,97,115,141,146,154,193,228,233,291,299,319,327,333,347,350],"are":[48,189],"acquired.":[49],"A":[50],"may":[53],"fail":[54],"if":[55,140,192],"there":[56],"contention":[58,87],"case":[64],"not":[68,231,286],"run.":[69],"Given":[70],"an":[71,92,280],"upper":[72,93],"bound":[73,94],"$$\\kappa":[74,235],"$$":[75,236],"<mml:math":[76,123,162,208,237,261],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[77,124,163,209,238,262],"<mml:mi>\u03ba</mml:mi>":[78,129,168,214,239,266,270],"</mml:math>":[79,133,178,224,240,275],"known":[80],"algorithm":[83,229],"point":[86],"lock,":[90],"L":[95,242,259],"number":[98],"tryLock\u2019s":[103],"set,":[104],"will":[107,156,201],"succeed":[108,202],"acquiring":[110],"its":[111],"running":[114],"probability":[118,252],"at":[119,254],"least":[120,255],"$$1/(\\kappa":[121],"L)$$":[122],"<mml:mrow>":[125,164,210,263],"<mml:mn>1</mml:mn>":[126,264],"<mml:mo>/</mml:mo>":[127,265],"<mml:mo>(</mml:mo>":[128,166,212,269],"<mml:mi>L</mml:mi>":[130,172,218,267,271],"<mml:mo>)</mml:mo>":[131,176,222,273],"</mml:mrow>":[132,177,223,274],".":[134],"It":[135],"thus":[137,191],"fair.":[138],"Furthermore,":[139,307],"maximum":[142],"step":[143],"complexity":[144],"lock":[150,337],"T":[152],",":[153,243],"take":[157],"$$O(\\kappa":[158,204],"^2":[159],"L^2":[160],"T)$$":[161,207,260],"<mml:mi>O</mml:mi>":[165,211],"<mml:msup>":[167,171,213,217],"<mml:mn>2</mml:mn>":[169,173],"</mml:msup>":[170,174,216,220],"<mml:mi>T</mml:mi>":[175,221,272],"steps,":[179],"regardless":[180],"whether":[182],"it":[183,200],"succeeds":[184],"or":[185],"fails.":[186],"The":[187],"operations":[188,341],"independent,":[190],"repeatedly":[196],"retried":[197],"failure,":[199],"^3":[205],"L^3":[206],"<mml:mn>3</mml:mn>":[215,219],"expected":[225],"steps.":[226],"If":[227],"does":[230,285],"know":[232],"we":[244,325],"variant":[247],"guarantee":[250],"$$1/\\kappa":[256],"L\\log":[257],"(\\kappa":[258],"<mml:mo>log</mml:mo>":[268],"success.":[277],"assume":[279],"oblivious":[281],"adversarial":[282],"scheduler,":[283],"make":[287],"decisions":[288,331],"based":[289,317],"operations,":[292,324],"but":[293],"predetermine":[295],"schedule":[297],"processes,":[300],"unknown":[303],"our":[305],"algorithm.":[306],"account":[309],"applications":[311],"change":[313],"their":[314],"future":[315],"requests":[316],"results":[320],"previous":[322],"strengthen":[326],"adversary":[328],"by":[329],"allowing":[330],"start":[334],"times":[335],"sets":[338],"made":[344],"adaptively,":[345],"history":[348],"execution":[351],"so":[352],"far.":[353]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}