Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047745508> ?p ?o ?g. }
- W2047745508 endingPage "433" @default.
- W2047745508 startingPage "415" @default.
- W2047745508 abstract "It is considered good practice in concurrent computing to devise shared object implementations that ensure a minimal obstruction-free progress property and delegate the task of boosting liveness to independent generic oracles called contention managers. This paper determines necessary and sufficient conditions to implement wait-free and non-blocking contention managers, i.e., contention managers that ensure wait-freedom (resp. non-blockingness) of any associated obstruction-free object implementation. The necessary conditions hold even when universal objects (like compare-and-swap) or random oracles are available in the implementation of the contention manager. On the other hand, the sufficient conditions assume only basic read/write objects, i.e., registers. We show that failure detector $$lozenge{fancyscript{P}}$$ is the weakest to convert any obstruction-free algorithm into a wait-free one, and Ω *, a new failure detector which we introduce in this paper, and which is strictly weaker than $$lozengefancyscript{P}$$ but strictly stronger than Ω, is the weakest to convert any obstruction-free algorithm into a non-blocking one. We also address the issue of minimizing the overhead imposed by contention management in low contention scenarios. We propose two intermittent failure detectors $$I_{Omega^*}$$ and $$I_{lozengefancyscript{P}}$$ that are in a precise sense equivalent to, respectively, Ω * and $$lozengefancyscript{P}$$ , but allow for reducing the cost of failure detection in eventually synchronous systems when there is little contention. We present two contention managers: a non-blocking one and a wait-free one, that use, respectively, $$I_{Omega^*}$$ and $$I_{lozengefancyscript{P}}$$ . When there is no contention, the first induces very little overhead whereas the second induces some non-trivial overhead. We show that wait-free contention managers, unlike their non-blocking counterparts, impose an inherent non-trivial overhead even in contention-free executions." @default.
- W2047745508 created "2016-06-24" @default.
- W2047745508 creator A5017515710 @default.
- W2047745508 creator A5049321288 @default.
- W2047745508 creator A5060107963 @default.
- W2047745508 date "2007-10-31" @default.
- W2047745508 modified "2023-10-01" @default.
- W2047745508 title "The weakest failure detectors to boost obstruction-freedom" @default.
- W2047745508 cites W1553485915 @default.
- W2047745508 cites W1554388936 @default.
- W2047745508 cites W1587361561 @default.
- W2047745508 cites W1759214032 @default.
- W2047745508 cites W1988800505 @default.
- W2047745508 cites W2003214215 @default.
- W2047745508 cites W2035362408 @default.
- W2047745508 cites W2041549661 @default.
- W2047745508 cites W2075854425 @default.
- W2047745508 cites W2077240273 @default.
- W2047745508 cites W2085407655 @default.
- W2047745508 cites W2101939036 @default.
- W2047745508 cites W2104456311 @default.
- W2047745508 cites W2105055683 @default.
- W2047745508 cites W2106871513 @default.
- W2047745508 cites W2131716463 @default.
- W2047745508 cites W2133194649 @default.
- W2047745508 cites W2133943294 @default.
- W2047745508 cites W2139575664 @default.
- W2047745508 cites W2336977579 @default.
- W2047745508 cites W2912556876 @default.
- W2047745508 cites W4251986490 @default.
- W2047745508 doi "https://doi.org/10.1007/s00446-007-0046-9" @default.
- W2047745508 hasPublicationYear "2007" @default.
- W2047745508 type Work @default.
- W2047745508 sameAs 2047745508 @default.
- W2047745508 citedByCount "34" @default.
- W2047745508 countsByYear W20477455082012 @default.
- W2047745508 countsByYear W20477455082013 @default.
- W2047745508 countsByYear W20477455082014 @default.
- W2047745508 countsByYear W20477455082015 @default.
- W2047745508 countsByYear W20477455082017 @default.
- W2047745508 countsByYear W20477455082019 @default.
- W2047745508 countsByYear W20477455082021 @default.
- W2047745508 crossrefType "journal-article" @default.
- W2047745508 hasAuthorship W2047745508A5017515710 @default.
- W2047745508 hasAuthorship W2047745508A5049321288 @default.
- W2047745508 hasAuthorship W2047745508A5060107963 @default.
- W2047745508 hasBestOaLocation W20477455081 @default.
- W2047745508 hasConcept C111919701 @default.
- W2047745508 hasConcept C11413529 @default.
- W2047745508 hasConcept C120314980 @default.
- W2047745508 hasConcept C121332964 @default.
- W2047745508 hasConcept C143273055 @default.
- W2047745508 hasConcept C144745244 @default.
- W2047745508 hasConcept C158245101 @default.
- W2047745508 hasConcept C199360897 @default.
- W2047745508 hasConcept C2524010 @default.
- W2047745508 hasConcept C2779557605 @default.
- W2047745508 hasConcept C2779960059 @default.
- W2047745508 hasConcept C31258907 @default.
- W2047745508 hasConcept C33923547 @default.
- W2047745508 hasConcept C41008148 @default.
- W2047745508 hasConcept C62520636 @default.
- W2047745508 hasConcept C76155785 @default.
- W2047745508 hasConcept C94915269 @default.
- W2047745508 hasConceptScore W2047745508C111919701 @default.
- W2047745508 hasConceptScore W2047745508C11413529 @default.
- W2047745508 hasConceptScore W2047745508C120314980 @default.
- W2047745508 hasConceptScore W2047745508C121332964 @default.
- W2047745508 hasConceptScore W2047745508C143273055 @default.
- W2047745508 hasConceptScore W2047745508C144745244 @default.
- W2047745508 hasConceptScore W2047745508C158245101 @default.
- W2047745508 hasConceptScore W2047745508C199360897 @default.
- W2047745508 hasConceptScore W2047745508C2524010 @default.
- W2047745508 hasConceptScore W2047745508C2779557605 @default.
- W2047745508 hasConceptScore W2047745508C2779960059 @default.
- W2047745508 hasConceptScore W2047745508C31258907 @default.
- W2047745508 hasConceptScore W2047745508C33923547 @default.
- W2047745508 hasConceptScore W2047745508C41008148 @default.
- W2047745508 hasConceptScore W2047745508C62520636 @default.
- W2047745508 hasConceptScore W2047745508C76155785 @default.
- W2047745508 hasConceptScore W2047745508C94915269 @default.
- W2047745508 hasIssue "6" @default.
- W2047745508 hasLocation W20477455081 @default.
- W2047745508 hasLocation W20477455082 @default.
- W2047745508 hasLocation W20477455083 @default.
- W2047745508 hasLocation W20477455084 @default.
- W2047745508 hasLocation W20477455085 @default.
- W2047745508 hasOpenAccess W2047745508 @default.
- W2047745508 hasPrimaryLocation W20477455081 @default.
- W2047745508 hasRelatedWork W2092071486 @default.
- W2047745508 hasRelatedWork W2130966263 @default.
- W2047745508 hasRelatedWork W2391167130 @default.
- W2047745508 hasRelatedWork W2513851135 @default.
- W2047745508 hasRelatedWork W2783385843 @default.
- W2047745508 hasRelatedWork W3011543501 @default.
- W2047745508 hasRelatedWork W4254972035 @default.
- W2047745508 hasRelatedWork W4283067488 @default.
- W2047745508 hasRelatedWork W2460246254 @default.