FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036709210> ?p ?o ?g. }

• W3036709210 abstract "Big data processing systems often employ batched updates and data sketches to estimate certain properties of large data. For example, a CountMin sketch approximates the frequencies at which elements occur in a data stream, and a batched counter counts events in batches. This paper focuses on correctness criteria for concurrent implementations of such objects. Specifically, we consider quantitative objects, whose return values are from an ordered domain, with a particular emphasis on (ϵ, δ )-bounded objects that estimate a numerical quantity with an error of at most ϵ with probability at least 1 − δ . The de facto correctness criterion for concurrent objects is linearizability. Intuitively, under linearizability, when a read overlaps an update, it must return the object’s value either before the update or after it. Consider, for example, a single batched increment operation that counts three new events, bumping a batched counter’s value from 7 to 10. In a linearizable implementation of the counter, a read overlapping this update must return either 7 or 10. We observe, however, that in typical use cases, any intermediate value between 7 and 10 would also be acceptable. To capture this additional degree of freedom, we propose Intermediate Value Linearizability (IVL) , a new correctness criterion that relaxes linearizability to allow returning intermediate values, for instance 8 in the example above. Roughly speaking, IVL allows reads to return any value that is bounded between two return values that are legal under linearizability. A key feature of IVL is that we can prove that concurrent IVL implementations of (ϵ, δ )-bounded objects are themselves (ϵ, δ )-bounded. To illustrate the power of this result, we give a straightforward and efficient concurrent implementation of an (ϵ, δ )-bounded CountMin sketch, which is IVL (albeit not linearizable). We present four examples for IVL objects, each showcasing a different way of using IVL. The first is a simple wait-free IVL batched counter, with O (1) step complexity for update. The next considers an (ϵ, δ )-bounded CountMin sketch, and further shows how to relax IVL using the notion of r -relaxation. Our third example is a non-atomic iterator over a data structure. In this example, we augment the data structure with an auxiliary history variable state that includes “tombstones” for items deleted from the data structure. Here, IVL semantics are required at the augmented level. Finally, using a priority queue , we show that some objects require IVL to be paired with other correctness criteria; indeed a natural correctness notion for a concurrent priority queue is IVL coupled with sequential consistency. Lastly, we show that IVL allows for inherently cheaper implementations than linearizable ones. In particular, we show a lower bound of Ω ( n ) on the step complexity of the update operation of any wait-free linearizable batched counter from single-writer multi-reader registers, which is more expensive than our O (1) IVL implementation." @default.
• W3036709210 created "2020-06-25" @default.
• W3036709210 creator A5012776254 @default.
• W3036709210 creator A5059238786 @default.
• W3036709210 date "2023-02-22" @default.
• W3036709210 modified "2023-09-25" @default.
• W3036709210 title "Intermediate Value Linearizability: A Quantitative Correctness Criterion" @default.
• W3036709210 cites W1978197409 @default.
• W3036709210 cites W1982092405 @default.
• W3036709210 cites W1982100000 @default.
• W3036709210 cites W2022858489 @default.
• W3036709210 cites W2051789131 @default.
• W3036709210 cites W2055676969 @default.
• W3036709210 cites W2064710146 @default.
• W3036709210 cites W2065344737 @default.
• W3036709210 cites W2080234606 @default.
• W3036709210 cites W2082679906 @default.
• W3036709210 cites W2101939036 @default.
• W3036709210 cites W2112400233 @default.
• W3036709210 cites W2162248954 @default.
• W3036709210 cites W2166332856 @default.
• W3036709210 cites W2294895103 @default.
• W3036709210 cites W2295205026 @default.
• W3036709210 cites W2487095677 @default.
• W3036709210 cites W2900684180 @default.
• W3036709210 cites W2963146589 @default.
• W3036709210 cites W2963266914 @default.
• W3036709210 cites W3016919589 @default.
• W3036709210 cites W3137191742 @default.
• W3036709210 doi "https://doi.org/10.1145/3584699" @default.
• W3036709210 hasPublicationYear "2023" @default.
• W3036709210 type Work @default.
• W3036709210 sameAs 3036709210 @default.
• W3036709210 citedByCount "0" @default.
• W3036709210 crossrefType "journal-article" @default.
• W3036709210 hasAuthorship W3036709210A5012776254 @default.
• W3036709210 hasAuthorship W3036709210A5059238786 @default.
• W3036709210 hasBestOaLocation W30367092101 @default.
• W3036709210 hasConcept C11413529 @default.
• W3036709210 hasConcept C119857082 @default.
• W3036709210 hasConcept C134306372 @default.
• W3036709210 hasConcept C154945302 @default.
• W3036709210 hasConcept C20528329 @default.
• W3036709210 hasConcept C2776291640 @default.
• W3036709210 hasConcept C2781238097 @default.
• W3036709210 hasConcept C33923547 @default.
• W3036709210 hasConcept C34388435 @default.
• W3036709210 hasConcept C41008148 @default.
• W3036709210 hasConcept C55439883 @default.
• W3036709210 hasConcept C80444323 @default.
• W3036709210 hasConceptScore W3036709210C11413529 @default.
• W3036709210 hasConceptScore W3036709210C119857082 @default.
• W3036709210 hasConceptScore W3036709210C134306372 @default.
• W3036709210 hasConceptScore W3036709210C154945302 @default.
• W3036709210 hasConceptScore W3036709210C20528329 @default.
• W3036709210 hasConceptScore W3036709210C2776291640 @default.
• W3036709210 hasConceptScore W3036709210C2781238097 @default.
• W3036709210 hasConceptScore W3036709210C33923547 @default.
• W3036709210 hasConceptScore W3036709210C34388435 @default.
• W3036709210 hasConceptScore W3036709210C41008148 @default.
• W3036709210 hasConceptScore W3036709210C55439883 @default.
• W3036709210 hasConceptScore W3036709210C80444323 @default.
• W3036709210 hasLocation W30367092101 @default.
• W3036709210 hasLocation W30367092102 @default.
• W3036709210 hasOpenAccess W3036709210 @default.
• W3036709210 hasPrimaryLocation W30367092101 @default.
• W3036709210 hasRelatedWork W1517743118 @default.
• W3036709210 hasRelatedWork W1668135660 @default.
• W3036709210 hasRelatedWork W2024218563 @default.
• W3036709210 hasRelatedWork W2072806201 @default.
• W3036709210 hasRelatedWork W2104046157 @default.
• W3036709210 hasRelatedWork W2618844683 @default.
• W3036709210 hasRelatedWork W2950415228 @default.
• W3036709210 hasRelatedWork W3046493460 @default.
• W3036709210 hasRelatedWork W3048397483 @default.
• W3036709210 hasRelatedWork W4302368459 @default.
• W3036709210 isParatext "false" @default.
• W3036709210 isRetracted "false" @default.
• W3036709210 magId "3036709210" @default.
• W3036709210 workType "article" @default.