Logo do repositório
 
Logótipo do projeto
Projeto de investigação

Sem título

Apenas metadados

Financiador

Organização

Autores

Publicações

ReDunT
Publication . Borrego, Dina; Vilalonga, Afonso; Domingos, Henrique; Preguica, Nuno; Boix, Elisa Gonzalez; Ferreira, Carla; Faculdade de Ciências e Tecnologia (FCT)
Conflict-free Replicated Data Types (CRDTs) are a family of data structures that incorporate conflict resolution mechanisms to ensure state convergence and ease the development of highly available distributed systems. Pure operation-based CRDTs provide a unified framework for defining CRDTs based on a partially ordered log of operations. The framework eases the implementation of CRDTs and reduces the risk of introducing bugs. However, developers are still required to manually define the CRDT semantics and compaction functions, which can be complex and error-prone. This paper proposes ReDunT, a framework for the automatic synthesis of compaction functions for pure op-based CRDTs using a rewrite-based semantic approach. We evaluate ReDunT by applying it to a portfolio of pure operation-based CRDTs, including sets and flags, and comparing the obtained results with the manually optimised specifications. We also demonstrate the feasibility of the framework by implementing it as an automatic tool in K semantic framework.
2025-04-02Documento de conferência Acesso aberto Ver mais

Unidades organizacionais

Descrição

Palavras-chave

Contribuidores

Financiadores

Entidade financiadora

Fundação para a Ciência e a Tecnologia

Programa de financiamento

Financiamento do Plano Estratégico de Unidades de I&D - 2019

Número da atribuição

UID/CEC/04516/2019

ID