The intrinsic cost of causal consistency

Abstract

In the last few years, causal consistency has become a popular consistency model for geo-replicated databases. The algorithms proposed to enforce causal consistency typically associate with each operation some metadata, which is used to guarantee that an operation is not executed if its execution would break causality. This may lead to the impression that causal consistency is intrinsically costly and non scalable. In this paper, we analyze the metadata costs of enforcing causal consistency and put these costs in perspective, considering the metadata that is necessary to enforce reliability. We show that by wisely ordering the propagation of operations it is possible to enforce causal consistency without any additional metadata other than the already necessary to enforce reliability. CCS Concepts: • Computer systems organization → Peerto-peer architectures; Distributed architectures; Reliability.

Sincronização Eficiente de CRDTs em Escala Utilizando uma Solução Hierárquica de Publish–Subscribe

“…Este modelo é capaz de suportar membership dinâmico e introduz uma estratégia de sincronizac ¸ão para entrada e saída de nós. Para garantir causalidade o modelo explora a entrega First In, First Out (FIFO) de operac ¸ões por um canal de entrega confiável na topologia de árvore conforme [van der Linde et al 2020]. O sistema é utilizado em conjunto de CRDTs que representam uma estrutura de dados distribuída e implementa estratégias como garbage collection para atingir melhores resultados de latência e custo de comunicac ¸ão, quando todos os mecanismos mencionados atuam em conjunto determina-se o ECO SYNC Tree, que é a versão otimizada do protocolo.…”