4 research outputs found
Intermediate Value Linearizability: A Quantitative Correctness Criterion
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 the correctness
of concurrent implementations of such objects. Specifically, we consider
quantitative objects, whose return values are from a totally ordered domain,
with an emphasis on -bounded objects that estimate a quantity with an
error of at most with probability at least .
The de facto correctness criterion for concurrent objects is linearizability.
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 to . In a linearizable implementation of
the counter, an overlapping read must return one of these. We observe, however,
that in typical use cases, any intermediate value would also be acceptable. To
capture this degree of freedom, we propose Intermediate Value Linearizability
(IVL), a new correctness criterion that relaxes linearizability to allow
returning intermediate values, for instance 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 concurrent IVL implementations of -bounded objects remain
-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). Finally, we show that
IVL allows for inherently cheaper implementations than linearizable ones
How hard is it to take a snapshot
Abstract. The snapshot object is an important and well-studied primitive in distributed computing. This paper will present some implementations of snapshots from registers, in both asycnhronous and synchronous systems, and discuss known lower bounds on the time and space complexity of this problem