Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405408886> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2405408886 abstract "An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide precise guarantees on the consistent evolution of an object. This new property is suitable for a variety of distributed objects including concurrent file objects that demand operations to manipulate the latest version of the object. We propose two levels of coverability: (i) strong coverability and (ii) weak coverability. Strong coverability requires that only a single operation can modify the latest version of the object, i.e. covers the latest version with a new version, imposing a total order on object modifications. Weak coverability relaxes the strong requirements of strong coverability and allows multiple operations to modify the same version of an object, where each modification leads to a different version. Weak coverability preserves consistent evolution of the object, by demanding any subsequent operation to only modify one of the newly introduced versions. Coverability combined with atomic guarantees yield to coverable atomic read/write registers. We also show that strongly coverable atomic registers are equivalent in power to consensus. Thus, we focus on weakly coverable registers, and we demonstrate their importance by showing that they cannot be implemented using similar types of registers, like ranked-registers. Furthermore we show that weakly coverable registers may be used to implement basic (weak) read-modify-write and file objects. Finally, we implement weakly coverable registers by modifying an existing MWMR atomic register implementation." @default.
- W2405408886 created "2016-06-24" @default.
- W2405408886 creator A5014057564 @default.
- W2405408886 creator A5020913819 @default.
- W2405408886 creator A5087026860 @default.
- W2405408886 date "2016-01-27" @default.
- W2405408886 modified "2023-09-27" @default.
- W2405408886 title "CoVer-ability: Consistent Versioning for Concurrent Objects" @default.
- W2405408886 cites W1498342204 @default.
- W2405408886 cites W1503117778 @default.
- W2405408886 cites W1911795762 @default.
- W2405408886 cites W1966994880 @default.
- W2405408886 cites W1967118107 @default.
- W2405408886 cites W2035362408 @default.
- W2405408886 cites W2043801088 @default.
- W2405408886 cites W2054739713 @default.
- W2405408886 cites W2065180040 @default.
- W2405408886 cites W2085407655 @default.
- W2405408886 cites W2101939036 @default.
- W2405408886 cites W2114387290 @default.
- W2405408886 cites W2120510885 @default.
- W2405408886 cites W2142980065 @default.
- W2405408886 cites W2163871374 @default.
- W2405408886 cites W2310078400 @default.
- W2405408886 cites W2336977579 @default.
- W2405408886 cites W2611515161 @default.
- W2405408886 hasPublicationYear "2016" @default.
- W2405408886 type Work @default.
- W2405408886 sameAs 2405408886 @default.
- W2405408886 citedByCount "0" @default.
- W2405408886 crossrefType "posted-content" @default.
- W2405408886 hasAuthorship W2405408886A5014057564 @default.
- W2405408886 hasAuthorship W2405408886A5020913819 @default.
- W2405408886 hasAuthorship W2405408886A5087026860 @default.
- W2405408886 hasConcept C111472728 @default.
- W2405408886 hasConcept C138885662 @default.
- W2405408886 hasConcept C154945302 @default.
- W2405408886 hasConcept C189950617 @default.
- W2405408886 hasConcept C198140048 @default.
- W2405408886 hasConcept C199360897 @default.
- W2405408886 hasConcept C2777904410 @default.
- W2405408886 hasConcept C2781238097 @default.
- W2405408886 hasConcept C41008148 @default.
- W2405408886 hasConcept C80444323 @default.
- W2405408886 hasConceptScore W2405408886C111472728 @default.
- W2405408886 hasConceptScore W2405408886C138885662 @default.
- W2405408886 hasConceptScore W2405408886C154945302 @default.
- W2405408886 hasConceptScore W2405408886C189950617 @default.
- W2405408886 hasConceptScore W2405408886C198140048 @default.
- W2405408886 hasConceptScore W2405408886C199360897 @default.
- W2405408886 hasConceptScore W2405408886C2777904410 @default.
- W2405408886 hasConceptScore W2405408886C2781238097 @default.
- W2405408886 hasConceptScore W2405408886C41008148 @default.
- W2405408886 hasConceptScore W2405408886C80444323 @default.
- W2405408886 hasLocation W24054088861 @default.
- W2405408886 hasOpenAccess W2405408886 @default.
- W2405408886 hasPrimaryLocation W24054088861 @default.
- W2405408886 hasRelatedWork W1582421782 @default.
- W2405408886 hasRelatedWork W1745298 @default.
- W2405408886 hasRelatedWork W202324359 @default.
- W2405408886 hasRelatedWork W2072292264 @default.
- W2405408886 hasRelatedWork W2077718288 @default.
- W2405408886 hasRelatedWork W2088126145 @default.
- W2405408886 hasRelatedWork W2137500339 @default.
- W2405408886 hasRelatedWork W2163468719 @default.
- W2405408886 hasRelatedWork W2183074746 @default.
- W2405408886 hasRelatedWork W2293879310 @default.
- W2405408886 hasRelatedWork W2404492342 @default.
- W2405408886 hasRelatedWork W2408292326 @default.
- W2405408886 hasRelatedWork W2743766528 @default.
- W2405408886 hasRelatedWork W2768734329 @default.
- W2405408886 hasRelatedWork W2928965853 @default.
- W2405408886 hasRelatedWork W2974576811 @default.
- W2405408886 hasRelatedWork W3092989080 @default.
- W2405408886 hasRelatedWork W47798387 @default.
- W2405408886 hasRelatedWork W62586952 @default.
- W2405408886 hasRelatedWork W749345259 @default.
- W2405408886 isParatext "false" @default.
- W2405408886 isRetracted "false" @default.
- W2405408886 magId "2405408886" @default.
- W2405408886 workType "article" @default.