This paper presents a replication protocol that ensures eventual consistency in large-scale distributed systems subject to network partitions and asynchrony. A simulation study shows that the resulting protocol is scalable and achieves high throughput under load. Our protocol does not rely on any form of consensus, which would lead to block the replicas in case of partitions and asynchrony. Our...

We address the fundamental issue of interfaces that arises in the context of cloud computing; namely, what does it mean for a replicated and distributed implementation of a data structure to satisfy its standard sequential specification. The main contribution of this paper is a new definition of eventual consistency that liberalizes the linear time regime of linearizability to partial orders. A...

Let K be a connected finite complex. This paper studies the problem of whether one can attach a cell to some iterated suspension ΣK so that the resulting space satisfies Poincaré duality. When this is possible, we say that ΣK is a spine. We introduce the notion of quadratic self duality and show that if K is quadratically self dual, then ΣK is a spine whenever j is a suitable power of two. The ...