| Vitor Enes on Vitor Enes
| Vitor Enes on Vitor Enes
| Vitor Enes on Vitor Enes
In each blog post of this series, I will present a modification of Paxos, together with a sequence of protocol messages, that will lead to an invariant violation. Hopefully this will lead to a better understanding of Paxos (mine and yours). On a quest for understanding Maybe it’s just me, but I often gain intuition on why a protocol works with situations where it doesn’t. A way to do that, is to change one step of the protocol (e.g. change a comparison from $>$ to $\leq$ or reduce the siz...| Vitor Enes on Vitor Enes
You guessed it! This post shows that 1) causal stability is not fault-tolerant but 2) we can do something about it. Well, that was the intention, at least. The blog post was becoming too long, so I’ll divide it in (exactly those) two: part I: revisits the concepts of causal consistency and causal stability; we’ll also discuss how these two concepts can be implemented in a simple way; we’ll conclude that causal stability is not fault-tolerant part II: shows that causal stability can be f...| Vitor Enes on Vitor Enes
This blog post started with me trying to write a transcript of the talk I gave at ICDE’19 this week on Efficient Synchronization of State-based CRDTs. Soon after, it derailed in this. UPDATE: The full transcript of the talk can now be found here. The figure above was my first slide, where I attempted to explain the CRDT acronym. From right to left: Data Types In CRDTs, the abstraction is richer than simply reading and writing registers: we can increment/decrement counters, add/remove elemen...| Vitor Enes on Vitor Enes
| Vitor Enes on Vitor Enes
Part I So, yesterday I was wondering about operations on a set of sets (I’ll explain the Tweet content below, so you can just ignore it for now). when we have a set of sets S, an element belongs to the: - union of S, if it belongs to at least 1 sets in S - intersection of S, if it belongs to at least |S| sets in S - _____ of S, if it belongs to at least N sets in S what should I write in _____? — Vitor Enes (@vitorenesduarte) November 10, 2018 For example, consider that we have 3 sets: $A...| Vitor Enes on Vitor Enes
Basic matrix-based technique. Time-travel technique.| Vitor Enes on Vitor Enes
| Vitor Enes on Vitor Enes
| Vitor Enes on Vitor Enes
| Vitor Enes on Vitor Enes
| Vitor Enes on Vitor Enes
Conflict-free Replicated Data Types (CRDTs) are data abstractions (registers, counters, sets, maps, among others) that provide a relaxed consistency model called Eventual Consistency. Current designs for CRDT counters do not scale, having a size linear with the number of both active and retired nodes (i.e., nodes that leave the system permanently after previously manipulating the value of the counter). In this paper we present a new counter design called Borrow-Counter, that provides a mechan...| Vitor Enes
This is a transcript of the ICDE'19 talk, briefly explaining the main idea behind the paper.| Vitor Enes