Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890940170> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2890940170 abstract "The abortable mutual exclusion problem was introduced by Scott and Scherer to meet a need that arises in database and real time systems, where processes sometimes have to abandon their attempt to acquire a mutual exclusion lock to initiate recovery from a potential deadlock or to avoid overshooting a deadline. Algorithms of O(1) RMR complexity have been known for the standard mutual exclusion problem for both the Cache-Coherent (CC) and Distributed Shared Memory (DSM) models of multiprocessors, but whether O(1) RMR complexity is also achievable for abortable mutual exclusion has remained open for the 18 years that this problem has been investigated. Jayanti gives a Theta(log n) worst case RMR complexity solution for both models, where n is the maximum number of processes that execute the algorithm concurrently. Giakouppis and Woelfel's algorithm, presented at PODC last year, is an O(1) amortized complexity algorithm, but it works only for the CC model, uses randomization, does not satisfy Starvation Freedom, and the O(1) amortized bound holds only in expectation and is proven for the a weak (oblivious) adversary model. We design an algorithm that is free of these limitations: our algorithm is deterministic, supports fast aborts (a process completes an abort in O(1) steps), has a small space complexity of O(n), requires hardware support for only the Fetch&Store instruction, satisfies a novely defined First Come First Served for abortable locks, and most importantly, has O(1) amortized RMR complexity for both the CC and DSM models. Our algorithm is short and practical with fewer than a dozen lines of code, and is accompanied by a rigorous proof of mutual exclusion through invariants and of starvation-freedom and complexity analysis through distance and potential functions. Thus, modulo amortization, our result answers affirmatively the long standing open question described above." @default.
- W2890940170 created "2018-09-27" @default.
- W2890940170 creator A5000699482 @default.
- W2890940170 creator A5008303793 @default.
- W2890940170 date "2018-09-12" @default.
- W2890940170 modified "2023-09-27" @default.
- W2890940170 title "Constant Amortized RMR Complexity Deterministic Abortable Mutual Exclusion Algorithm for CC and DSM Models." @default.
- W2890940170 cites W1556276302 @default.
- W2890940170 cites W1635884043 @default.
- W2890940170 cites W1987782288 @default.
- W2890940170 cites W2001738739 @default.
- W2890940170 cites W2054278856 @default.
- W2890940170 cites W2069278684 @default.
- W2890940170 cites W2145602816 @default.
- W2890940170 cites W2147275437 @default.
- W2890940170 cites W2150517612 @default.
- W2890940170 cites W2170523074 @default.
- W2890940170 cites W2516467118 @default.
- W2890940170 cites W2736699952 @default.
- W2890940170 cites W2809701488 @default.
- W2890940170 hasPublicationYear "2018" @default.
- W2890940170 type Work @default.
- W2890940170 sameAs 2890940170 @default.
- W2890940170 citedByCount "0" @default.
- W2890940170 crossrefType "posted-content" @default.
- W2890940170 hasAuthorship W2890940170A5000699482 @default.
- W2890940170 hasAuthorship W2890940170A5008303793 @default.
- W2890940170 hasConcept C11413529 @default.
- W2890940170 hasConcept C118615104 @default.
- W2890940170 hasConcept C120314980 @default.
- W2890940170 hasConcept C142417499 @default.
- W2890940170 hasConcept C159023740 @default.
- W2890940170 hasConcept C162319229 @default.
- W2890940170 hasConcept C173608175 @default.
- W2890940170 hasConcept C199360897 @default.
- W2890940170 hasConcept C2777027219 @default.
- W2890940170 hasConcept C33923547 @default.
- W2890940170 hasConcept C41008148 @default.
- W2890940170 hasConcept C56348326 @default.
- W2890940170 hasConcept C63553672 @default.
- W2890940170 hasConcept C80444323 @default.
- W2890940170 hasConceptScore W2890940170C11413529 @default.
- W2890940170 hasConceptScore W2890940170C118615104 @default.
- W2890940170 hasConceptScore W2890940170C120314980 @default.
- W2890940170 hasConceptScore W2890940170C142417499 @default.
- W2890940170 hasConceptScore W2890940170C159023740 @default.
- W2890940170 hasConceptScore W2890940170C162319229 @default.
- W2890940170 hasConceptScore W2890940170C173608175 @default.
- W2890940170 hasConceptScore W2890940170C199360897 @default.
- W2890940170 hasConceptScore W2890940170C2777027219 @default.
- W2890940170 hasConceptScore W2890940170C33923547 @default.
- W2890940170 hasConceptScore W2890940170C41008148 @default.
- W2890940170 hasConceptScore W2890940170C56348326 @default.
- W2890940170 hasConceptScore W2890940170C63553672 @default.
- W2890940170 hasConceptScore W2890940170C80444323 @default.
- W2890940170 hasLocation W28909401701 @default.
- W2890940170 hasOpenAccess W2890940170 @default.
- W2890940170 hasPrimaryLocation W28909401701 @default.
- W2890940170 hasRelatedWork W1635884043 @default.
- W2890940170 hasRelatedWork W1910084381 @default.
- W2890940170 hasRelatedWork W1979464238 @default.
- W2890940170 hasRelatedWork W1984883054 @default.
- W2890940170 hasRelatedWork W1994104555 @default.
- W2890940170 hasRelatedWork W1999332309 @default.
- W2890940170 hasRelatedWork W2024559175 @default.
- W2890940170 hasRelatedWork W2053934158 @default.
- W2890940170 hasRelatedWork W2070253537 @default.
- W2890940170 hasRelatedWork W2070595838 @default.
- W2890940170 hasRelatedWork W2136644108 @default.
- W2890940170 hasRelatedWork W2184370241 @default.
- W2890940170 hasRelatedWork W2703407771 @default.
- W2890940170 hasRelatedWork W2809701488 @default.
- W2890940170 hasRelatedWork W2934559842 @default.
- W2890940170 hasRelatedWork W2963078385 @default.
- W2890940170 hasRelatedWork W2983340778 @default.
- W2890940170 hasRelatedWork W3111030721 @default.
- W2890940170 hasRelatedWork W3163867720 @default.
- W2890940170 hasRelatedWork W3183901574 @default.
- W2890940170 isParatext "false" @default.
- W2890940170 isRetracted "false" @default.
- W2890940170 magId "2890940170" @default.
- W2890940170 workType "article" @default.