Matches in SemOpenAlex for { <https://semopenalex.org/work/W2404492342> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2404492342 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.
- W2404492342 created "2016-06-24" @default.
- W2404492342 creator A5014057564 @default.
- W2404492342 creator A5020913819 @default.
- W2404492342 creator A5087026860 @default.
- W2404492342 date "2016-01-27" @default.
- W2404492342 modified "2023-09-24" @default.
- W2404492342 title "Traceable Objects: Consistent Versioning for Concurrent Objects." @default.
- W2404492342 hasPublicationYear "2016" @default.
- W2404492342 type Work @default.
- W2404492342 sameAs 2404492342 @default.
- W2404492342 citedByCount "0" @default.
- W2404492342 crossrefType "posted-content" @default.
- W2404492342 hasAuthorship W2404492342A5014057564 @default.
- W2404492342 hasAuthorship W2404492342A5020913819 @default.
- W2404492342 hasAuthorship W2404492342A5087026860 @default.
- W2404492342 hasConcept C111472728 @default.
- W2404492342 hasConcept C138885662 @default.
- W2404492342 hasConcept C154945302 @default.
- W2404492342 hasConcept C189950617 @default.
- W2404492342 hasConcept C198140048 @default.
- W2404492342 hasConcept C199360897 @default.
- W2404492342 hasConcept C2777904410 @default.
- W2404492342 hasConcept C2781238097 @default.
- W2404492342 hasConcept C41008148 @default.
- W2404492342 hasConcept C80444323 @default.
- W2404492342 hasConceptScore W2404492342C111472728 @default.
- W2404492342 hasConceptScore W2404492342C138885662 @default.
- W2404492342 hasConceptScore W2404492342C154945302 @default.
- W2404492342 hasConceptScore W2404492342C189950617 @default.
- W2404492342 hasConceptScore W2404492342C198140048 @default.
- W2404492342 hasConceptScore W2404492342C199360897 @default.
- W2404492342 hasConceptScore W2404492342C2777904410 @default.
- W2404492342 hasConceptScore W2404492342C2781238097 @default.
- W2404492342 hasConceptScore W2404492342C41008148 @default.
- W2404492342 hasConceptScore W2404492342C80444323 @default.
- W2404492342 hasLocation W24044923421 @default.
- W2404492342 hasOpenAccess W2404492342 @default.
- W2404492342 hasPrimaryLocation W24044923421 @default.
- W2404492342 hasRelatedWork W1582421782 @default.
- W2404492342 hasRelatedWork W1633928339 @default.
- W2404492342 hasRelatedWork W1745298 @default.
- W2404492342 hasRelatedWork W2016226915 @default.
- W2404492342 hasRelatedWork W202324359 @default.
- W2404492342 hasRelatedWork W2072292264 @default.
- W2404492342 hasRelatedWork W2077718288 @default.
- W2404492342 hasRelatedWork W2088126145 @default.
- W2404492342 hasRelatedWork W2141080699 @default.
- W2404492342 hasRelatedWork W2293879310 @default.
- W2404492342 hasRelatedWork W2405408886 @default.
- W2404492342 hasRelatedWork W2408292326 @default.
- W2404492342 hasRelatedWork W2743766528 @default.
- W2404492342 hasRelatedWork W2768734329 @default.
- W2404492342 hasRelatedWork W2928965853 @default.
- W2404492342 hasRelatedWork W2974576811 @default.
- W2404492342 hasRelatedWork W3092989080 @default.
- W2404492342 hasRelatedWork W47798387 @default.
- W2404492342 hasRelatedWork W62586952 @default.
- W2404492342 hasRelatedWork W749345259 @default.
- W2404492342 isParatext "false" @default.
- W2404492342 isRetracted "false" @default.
- W2404492342 magId "2404492342" @default.
- W2404492342 workType "article" @default.