Matches in SemOpenAlex for { <https://semopenalex.org/work/W3116558992> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3116558992 abstract "Linearizability, the traditional correctness condition for concurrent data structures is considered insufficient for the non-volatile shared memory model where processes recover following a crash. For this crash-recovery shared memory model, strict-linearizability is considered appropriate since, unlike linearizability, it ensures operations that crash take effect prior to the crash or not at all. This work formalizes and answers the question of whether an implementation of a data type derived for the crash-stop shared memory model is also strict-linearizable in the crash-recovery model. This work presents a rigorous study to prove how helping mechanisms, typically employed by non-blocking implementations, is the algorithmic abstraction that delineates linearizability from strict-linearizability. Our first contribution formalizes the crash-recovery model and how explicit process crashes and recovery introduces further dimensionalities over the standard crash-stop shared memory model. We make the following technical contributions: (i) we prove that strict-linearizability is independent of any known help definition; (ii) we then present a natural definition of help-freedom to prove that any obstruction-free, linearizable and help-free implementation of a total object type is also strict-linearizable; (iii) finally, we prove that for a large class of object types, a non-blocking strict-linearizable implementation cannot have helping. Viewed holistically, this work provides the first precise characterization of the intricacies in applying a concurrent implementation designed for the crash-stop model to the crash-recovery model, and vice-versa." @default.
- W3116558992 created "2021-01-05" @default.
- W3116558992 creator A5028532973 @default.
- W3116558992 creator A5090605375 @default.
- W3116558992 date "2020-12-07" @default.
- W3116558992 modified "2023-09-25" @default.
- W3116558992 title "Separation and Equivalence results for the Crash-stop and Crash-recovery Shared Memory Models." @default.
- W3116558992 cites W1520380662 @default.
- W3116558992 cites W1526359699 @default.
- W3116558992 cites W156702976 @default.
- W3116558992 cites W1982100000 @default.
- W3116558992 cites W1983572666 @default.
- W3116558992 cites W1993805917 @default.
- W3116558992 cites W2063800777 @default.
- W3116558992 cites W2085407655 @default.
- W3116558992 cites W2095950283 @default.
- W3116558992 cites W2101939036 @default.
- W3116558992 cites W2511114427 @default.
- W3116558992 cites W2575900856 @default.
- W3116558992 cites W2787794676 @default.
- W3116558992 cites W2810443901 @default.
- W3116558992 cites W2811437435 @default.
- W3116558992 hasPublicationYear "2020" @default.
- W3116558992 type Work @default.
- W3116558992 sameAs 3116558992 @default.
- W3116558992 citedByCount "0" @default.
- W3116558992 crossrefType "posted-content" @default.
- W3116558992 hasAuthorship W3116558992A5028532973 @default.
- W3116558992 hasAuthorship W3116558992A5090605375 @default.
- W3116558992 hasConcept C120314980 @default.
- W3116558992 hasConcept C133875982 @default.
- W3116558992 hasConcept C154945302 @default.
- W3116558992 hasConcept C173608175 @default.
- W3116558992 hasConcept C183469790 @default.
- W3116558992 hasConcept C199360897 @default.
- W3116558992 hasConcept C20528329 @default.
- W3116558992 hasConcept C2781238097 @default.
- W3116558992 hasConcept C41008148 @default.
- W3116558992 hasConcept C55439883 @default.
- W3116558992 hasConcept C80444323 @default.
- W3116558992 hasConceptScore W3116558992C120314980 @default.
- W3116558992 hasConceptScore W3116558992C133875982 @default.
- W3116558992 hasConceptScore W3116558992C154945302 @default.
- W3116558992 hasConceptScore W3116558992C173608175 @default.
- W3116558992 hasConceptScore W3116558992C183469790 @default.
- W3116558992 hasConceptScore W3116558992C199360897 @default.
- W3116558992 hasConceptScore W3116558992C20528329 @default.
- W3116558992 hasConceptScore W3116558992C2781238097 @default.
- W3116558992 hasConceptScore W3116558992C41008148 @default.
- W3116558992 hasConceptScore W3116558992C55439883 @default.
- W3116558992 hasConceptScore W3116558992C80444323 @default.
- W3116558992 hasLocation W31165589921 @default.
- W3116558992 hasOpenAccess W3116558992 @default.
- W3116558992 hasPrimaryLocation W31165589921 @default.
- W3116558992 hasRelatedWork W1717387230 @default.
- W3116558992 hasRelatedWork W1818449680 @default.
- W3116558992 hasRelatedWork W1970986296 @default.
- W3116558992 hasRelatedWork W2017559473 @default.
- W3116558992 hasRelatedWork W2145919405 @default.
- W3116558992 hasRelatedWork W2293100135 @default.
- W3116558992 hasRelatedWork W2295204596 @default.
- W3116558992 hasRelatedWork W2580338579 @default.
- W3116558992 hasRelatedWork W2592567368 @default.
- W3116558992 hasRelatedWork W2731393287 @default.
- W3116558992 hasRelatedWork W2786183046 @default.
- W3116558992 hasRelatedWork W2787750560 @default.
- W3116558992 hasRelatedWork W2803087584 @default.
- W3116558992 hasRelatedWork W2887304561 @default.
- W3116558992 hasRelatedWork W2896052140 @default.
- W3116558992 hasRelatedWork W2900684180 @default.
- W3116558992 hasRelatedWork W2947389486 @default.
- W3116558992 hasRelatedWork W2989289194 @default.
- W3116558992 hasRelatedWork W3043007004 @default.
- W3116558992 hasRelatedWork W49252608 @default.
- W3116558992 isParatext "false" @default.
- W3116558992 isRetracted "false" @default.
- W3116558992 magId "3116558992" @default.
- W3116558992 workType "article" @default.