Dissertação

{pt_PT=Dynamic Adaptation of Geo-Replicated CRDTs} {} EVALUATED

{pt=Com a chegada da computação na nuvem, e com a necessidade de manter a informação replicada em centros de dados geograficamente distantes, tornou-se relevante procurar por estratégias que garantam coerência nos dados com o mínimo de sincronização entre as réplicas. Infelizmente, a maior parte dos tipos de dados requerem que as operações sejam ordenadas de forma total para garantir a coerência das réplicas. Os tipos de dados replicados isentos de conflitos, do Inglês, “Conflict-free Replicated Data Types” ou simplesmente CRDTs, são tipos de dados cujas operações não entram em conflito umas com as outras e, portanto, podem ser replicadas com um custo mínimo na coordenação entre réplicas. Apesar de esta propriedade garantir que o sistema converge para um estado coerente quando fica em repouso, a escolha do melhor método para propagar as actualizações não é trivial. Abordagens diferentes, tais como o envio do estado ou a propagação de operações, foram propostos para propagar actualizações de forma eficiente, com diferentes contra-partidas tais como o uso da rede ou a desactualização da informação. Esta tese propõe e avalia técnicas para o sistema escolher de forma automática qual o sistema de propagação de actualizações a usar, com base no desempenho observado e nos requisitos da aplicação. Estas técnicas foram integradas e avaliadas no SwiftCloud, um sistema que materializa o estado da arte na manutenção de CRDTs geograficamente distribuídas., en=With the advent of cloud computing, and the need to maintain data replicated in geographically remote data centers, searching for strategies to provide data consistency with minimal synchronization became very relevant. Unfortunately, most data types require operations to be totally ordered to ensure replica consistency. Conflict-free Replicated Data Types (CRDTs) are data types whose operations do not conflict with each other and, therefore, can be replicated with minimal coordination among replicas. While it is easy to ensure that all replicas of CRDTs become eventually consistent when the system becomes quiescent, different techniques can be used to propagate the updates as efficiently as possible. Different approaches, such as state transfer and operation forwarding, have been proposed to propagate the updates as efficiently as possible, with different tradeoffs among the amount of network traffic generated and the staleness of local information. This thesis proposes and evaluates techniques to automatically adapt a CRDT implementation, such that the best approach is used, based on the application needs (captured by a SLA) and the observed system configuration. Our techniques have been integrated in SwiftCloud, a state of the art geo-replicated store based on CRDTs.}
{pt=Sistemas Distribuídos, Replicação, CRDTs, Coerência Causal, Adaptação Dinâmica, en=Distributed Systems, Replication, CRDTs, Causal Consistency, Dynamic Adaptation}

novembro 11, 2015, 9:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Luís Eduardo Teixeira Rodrigues

Departamento de Engenharia Informática (DEI)

Professor Catedrático