Cure: Strong Semantics Meets High Availability and Low Latency

Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Preguica, Marc Shapiro

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

46 Citations (Scopus)

Abstract

Developers of cloud-scale applications face a difficult decision of which kind of storage to use, summarised by the CAP theorem. Currently the choice is between classical CP databases, which provide strong guarantees but are slow, expensive, and unavailable under partition, and NoSQL-style AP databases, which are fast and available, but too hard to program against. We present an alternative: Cure provides the highest level of guarantees that remains compatible with availability. These guarantees include: causal consistency (no ordering anomalies), atomicity (consistent multi-key updates), and support for high-level data types (developer friendly API) with safe resolution of concurrent updates (guaranteeing convergence). These guarantees minimise the anomalies caused by parallelism and distribution, thus facilitating the development of applications. This paper presents the protocols for highly available transactions, and an experimental evaluation showing that Cure is able to achieve scalability similar to eventually-consistent NoSQL databases, while providing stronger guarantees.

Original languageEnglish
Title of host publicationProceedings - 2016 IEEE 36th International Conference on Distributed Computing Systems, ICDCS 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages405-414
Number of pages10
Volume2016-August
ISBN (Electronic)9781509014828
DOIs
Publication statusPublished - 8 Aug 2016
Event36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016 - Nara, Japan
Duration: 27 Jun 201630 Jun 2016

Conference

Conference36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016
CountryJapan
CityNara
Period27/06/1630/06/16

Keywords

  • Computation theory
  • Curing
  • Database systems
  • Digital storage
  • Semantics
  • Low latency
  • High availability

Fingerprint Dive into the research topics of 'Cure: Strong Semantics Meets High Availability and Low Latency'. Together they form a unique fingerprint.

Cite this