Boris Novikov | Searcharxiv

arXiv2019

Delivery, consistency, and determinism: rethinking guarantees in distributed stream processing

Consistency requirements for state-of-the-art stream processing systems are defined in terms of delivery guarantees. Exactly-once is the strongest one and the most desirable for end-user. However, there are several issues regarding this concept. Commonly used techniques that enforce exactly-once produce significant performance overhead. Besides, the notion of exactly-once is not formally defined and does not capture all properties that provide stream processing systems supporting this guarantee. In this paper, we introduce a formal framework that allows us to define streaming guarantees more regularly. We demonstrate that the properties of delivery, consistency, and determinism are tightly connected within distributed stream processing. We also show that having lightweight determinism, it is possible to provide exactly-once with almost no performance overhead. Experiments show that the proposed approach can significantly outperform alternative industrial solutions.

cs.DB↗

arXiv2017

Reflectors and globalizations of partial actions of groups

Given a partial action $θ$ of a group on a set with an algebraic structure, we construct a reflector of $θ$ in the corresponding subcategory of global actions and study the question when this reflector is a globalization. In particular, if $θ$ is a partial action on an algebra from a variety ${\sf V}$, then we show that the problem reduces to the embeddability of certain generalized amalgam of ${\sf V}$-algebras associated with $θ$. As an application, we describe globalizable partial actions on semigroups, whose domains are ideals.

math.CT↗