Publicacoes - INESC TEC

Publicações

Publicações por Paulo Sérgio Almeida

2012

Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors

Autores
Preguica, N; Bauqero, C; Almeida, PS; Fonte, V; Goncalves, R;

Publicação
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.

FecharLer Abstract

2020

A Case for Partitioned Bloom Filters

Autores
Almeida, PS;

Publicação
CoRR

Abstract

2020

Age-Partitioned Bloom Filters

Autores
Shtul, A; Baquero, C; Almeida, PS;

Publicação
CoRR

Abstract

2017

Pure Operation-Based Replicated Data Types

Autores
Baquero, C; Almeida, PS; Shoker, A;

Publicação
CoRR

Abstract

2023

Approaches to Conflict-free Replicated Data Types

Autores
Almeida, PS;

Publicação
CoRR

Abstract

2024

The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type

Autores
Almeida, PS; Shapiro, E;

Publicação
CoRR

Abstract

Ler Publicação Completa