Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Valter Balegas, Diogo Serra, Sérgio Duarte, Carla Ferreira, Marc Shapiro, Rodrigo Rodrigues, Nuno M. Preguiça

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Geo-replicated databases often offer high availability and low latency by relying on weak consistency models. The inability to enforce invariants across all replicas remains a key shortcoming that prevents the adoption of such databases in several applications. In this paper we show how to extend an eventually consistent cloud database for enforcing numeric invariants. Our approach builds on ideas from escrow transactions, but our novel design overcomes the limitations of previous works. First, by relying on a new replicated data type, our design has no central authority and uses pairwise asynchronous communication only. Second, by layering our design on top of a fault-tolerant database, our approach exhibits better availability during network partitions and data center faults. The evaluation of our prototype, built on top of Riak, shows much lower latency and better scalability than the traditional approach of using strong consistency to enforce numeric invariants.
Original languageUnknown
Title of host publication34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015
Number of pages6
Publication statusPublished - 2015
Event34th Symposium on Reliable Distributed Systems - Montreal, Canada
Duration: 28 Sep 20151 Oct 2015


Conference34th Symposium on Reliable Distributed Systems
Abbreviated titleSRDS 2015


  • Computer Science
  • Hardware & Architecture
  • Computer Science, Information Systems
  • Eventual Consistency
  • Distributed Systems
  • Geo-Replication
  • Key-Value Databases

Cite this