CRDTs: Semirreticulados até o Fim

Este artigo mergulha nos princípios de design de Tipos de Dados Replicados sem Conflito (CRDTs), afirmando que todos os CRDTs bem projetados devem ser baseados em estruturas de semirreticulados. O autor critica CRDTs que escondem suposições, enfatizando que todas as suposições necessárias devem ser internalizadas dentro do semirreticulado. Usando conjuntos de adicionar/remover como exemplo, o artigo demonstra como a incorporação de uma rede de causalidade resolve o comportamento não convergente que pode surgir de mecanismos de expiração baseados em tempo local. O autor conclui resumindo os pontos-chave do design de CRDTs e enfatizando a importância da construção de sistemas distribuídos confiáveis.