2012
Authors
Preguica, N; Bauqero, C; Almeida, PS; Fonte, V; Goncalves, R;
Publication
Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
Abstract
Version vectors (VV) are used pervasively to track dependencies between replica versions in multi-version distributed storage systems. In these systems, VV tend to have a dual functionality: identify a version and encode causal dependencies. In this paper, we show that by maintaining the identifier of the version separate from the causal past, it is possible to verify causality in constant time (instead of O(n) for VV) and to precisely track causality with information with size bounded by the degree of replication, and not by the number of concurrent writers. © 2012 Authors.
2020
Authors
Almeida, PS;
Publication
CoRR
Abstract
2020
Authors
Shtul, A; Baquero, C; Almeida, PS;
Publication
CoRR
Abstract
2017
Authors
Baquero, C; Almeida, PS; Shoker, A;
Publication
CoRR
Abstract
2025
Authors
Almeida, PS;
Publication
ACM COMPUTING SURVEYS
Abstract
Conflict-free Replicated Data Types (CRDTs) allow optimistic replication in a principled way. Different replicas can proceed independently, being available even under network partitions and always converging deterministically: Replicas that have received the same updates will have equivalent state, even if received in different orders. After a historical tour of the evolution from sequential data types to CRDTs, we present in detail the two main approaches to CRDTs, operation-based and state-based, including two important variations, the pure operation-based and the delta-state based. Intended for prospective CRDT researchers and designers, this article provides solid coverage of the essential concepts, clarifying some misconceptions that frequently occur, but also presents some novel insights gained from considerable experience in designing both specific CRDTs and approaches to CRDTs.
2024
Authors
Almeida, PS; Shapiro, E;
Publication
CoRR
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.