{"id":"https://openalex.org/W7165175185","doi":"https://doi.org/10.48550/arxiv.2606.19003","title":"On the Notions of Bounded Bypass, and How to Make any Deadlock-Free MUTEX Protocol Satisfy One of Them","display_name":"On the Notions of Bounded Bypass, and How to Make any Deadlock-Free MUTEX Protocol Satisfy One of Them","publication_year":2026,"publication_date":"2026-06-17","ids":{"openalex":"https://openalex.org/W7165175185","doi":"https://doi.org/10.48550/arxiv.2606.19003"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.19003","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.19003","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.19003","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048229897","display_name":"Rob van Glabbeek","orcid":"https://orcid.org/0000-0003-4712-7423"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"van Glabbeek, Rob","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070497799","display_name":"Daniele Gorla","orcid":"https://orcid.org/0000-0001-8859-9844"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gorla, Daniele","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138889464","display_name":"Myrthe Spronck","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Spronck, Myrthe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9983000159263611,"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.9983000159263611,"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.00039999998989515007,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.00019999999494757503,"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/bounded-function","display_name":"Bounded function","score":0.8335999846458435},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8271999955177307},{"id":"https://openalex.org/keywords/semaphore","display_name":"Semaphore","score":0.756600022315979},{"id":"https://openalex.org/keywords/bounded-operator","display_name":"Bounded operator","score":0.5842999815940857},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.43560001254081726},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.33480000495910645}],"concepts":[{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.8335999846458435},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8271999955177307},{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.756600022315979},{"id":"https://openalex.org/C175454919","wikidata":"https://www.wikidata.org/wiki/Q2342396","display_name":"Bounded operator","level":3,"score":0.5842999815940857},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5264000296592712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4408000111579895},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.43560001254081726},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.33480000495910645},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.326200008392334},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.31839999556541443},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3012999892234802},{"id":"https://openalex.org/C124343487","wikidata":"https://www.wikidata.org/wiki/Q1046373","display_name":"Critical section","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C93796298","wikidata":"https://www.wikidata.org/wiki/Q4949984","display_name":"Bounded inverse theorem","level":4,"score":0.27720001339912415},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.19003","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.19003","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.19003","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.19003","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7962909936904907}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"the":[1,22,84,111,118,136,147,163,176,201,208,215,220,240,269,273],"literature":[2],"on":[3,37,268],"mutual":[4,186],"exclusion,":[5],"bounded":[6,71,90,100,104,107,133,191,224,244],"bypass":[7,72,105,108,134,192,245],"has":[8],"been":[9],"used":[10],"for":[11,46,239],"a":[12,16,30,34,67,76,121,142,190,195,228,265],"long":[13],"time":[14],"as":[15,33],"strengthening":[17],"of":[18,24,70,86,120,125,146,166,178,203,210,223,243,272],"starvation-freedom,":[19],"but,":[20],"to":[21,51,57,128,161,189,253,279],"best":[23],"our":[25],"knowledge,":[26],"it":[27,276],"still":[28,226],"lacks":[29],"satisfying":[31],"definition":[32,69,78],"liveness":[35,93,164],"property":[36],"its":[38],"own.":[39],"Moreover,":[40],"we":[41,64,151,235],"have":[42],"encountered":[43],"MUTEX":[44,169],"protocols":[45],"which":[47],"this":[48,181,248],"notion":[49],"needs":[50],"be":[52,58],"slightly":[53,231],"weakened":[54],"in":[55,159,175,200,207,247,285],"order":[56],"met.":[59],"To":[60],"solve":[61],"these":[62],"issues,":[63],"first":[65],"provide":[66,236],"formal":[68],"(that":[73],"also":[74],"corrects":[75],"previous":[77],"from":[79],"Raynal)":[80],"and":[81,88,99,171,205,212,250,281,287],"then":[82],"introduce":[83],"notions":[85,242],"post-doorway":[87,132],"intermittent":[89,103,221],"bypass,":[91,225],"two":[92],"properties":[94,165],"that":[95,114,138,197],"lie":[96],"between":[97],"starvation-freedom":[98],"bypass.":[101],"Essentially,":[102],"weakens":[106],"by":[109,156,259],"ignoring":[110],"possible":[112],"bypasses":[113,137],"may":[115,139],"happen":[116,140],"during":[117,141],"execution":[119],"certain":[122],"finite":[123,143],"set":[124],"write":[126],"operations":[127],"shared":[129],"registers.":[130],"Orthogonally,":[131],"ignores":[135],"initial":[144],"phase":[145],"lock":[148],"protocol.":[149],"Furthermore,":[150],"study":[152],"an":[153],"algorithm":[154,182,218],"proposed":[155],"Yoah":[157],"Bar-David":[158],"1998":[160],"enhance":[162],"any":[167,184],"deadlock-free":[168,185],"protocol":[170,188],"prove":[172],"that:":[173],"(1)":[174],"setting":[177,209],"atomic":[179],"registers,":[180,214],"upgrades":[183],"exclusion":[187],"one,":[193],"with":[194,227],"bound":[196],"is":[198],"quadratic":[199,229],"number":[202],"processes;":[204],"(2)":[206],"safe":[211],"regular":[213],"very":[216],"same":[217],"ensures":[219],"version":[222],"(but":[230],"different)":[232],"bound.":[233],"Finally,":[234],"logical":[237],"formulae":[238],"different":[241],"defined":[246],"paper":[249],"use":[251],"them":[252],"confirm":[254],"all":[255],"claims":[256],"made":[257],"here,":[258],"using":[260],"model":[261],"checking.":[262],"This":[263],"had":[264],"positive":[266],"impact":[267],"theoretical":[270],"development":[271],"work,":[274],"since":[275],"allowed":[277],"us":[278],"identify":[280],"correct":[282],"small":[283],"mistakes/ambiguities":[284],"definitions":[286],"proofs.":[288]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-19T00:00:00"}