Orion: time estimated causally consistent key-value store

This paper presents a causally consistent key-value store Orion, which uses a novel protocol for Read Only Transactions (ROT). Unlike most of the existing protocols, Orion uses only one round of communication in the best case, and not more than two rounds in the worst case. We provide a theoretical bound on its communication complexity and qualitatively compare it with recent ROT protocols. We also quantitatively compare Orion with state-of-the-art protocol CausalSpartanX and illustrate that Orion achieves up to 1.7x higher throughput and generates 10x fewer messages on widely-used YCSB workload.

[1]  Willy Zwaenepoel,et al.  GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks , 2014, SoCC.

[2]  Sandeep S. Kulkarni,et al.  DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores , 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

[3]  Willy Zwaenepoel,et al.  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store , 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[4]  Ali Ghodsi,et al.  Bolt-on causal consistency , 2013, SIGMOD '13.

[5]  Adam Silberstein,et al.  Benchmarking cloud serving systems with YCSB , 2010, SoCC '10.

[6]  Willy Zwaenepoel,et al.  Optimistic Causal Consistency for Geo-Replicated Key-Value Stores , 2017, 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS).

[7]  Sanjeev Kumar,et al.  Existential consistency: measuring and understanding consistency at Facebook , 2015, SOSP.

[8]  Sameh Elnikety,et al.  Orbe: scalable causal consistency using dependency matrices and physical clocks , 2013, SoCC.

[9]  Nancy A. Lynch,et al.  Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.

[10]  Shuai Mu,et al.  The SNOW Theorem and Latency-Optimal Read-Only Transactions , 2016, OSDI.

[11]  Murat Demirbas,et al.  CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks , 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).

[12]  Ali Ghodsi,et al.  Highly Available Transactions: Virtues and Limitations , 2013, Proc. VLDB Endow..

[13]  Murat Demirbas,et al.  CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions , 2018, ArXiv.

[14]  Song Jiang,et al.  Workload analysis of a large-scale key-value store , 2012, SIGMETRICS '12.

[15]  João Leitão,et al.  ChainReaction: a causal+ consistent datastore based on chain replication , 2013, EuroSys '13.

[16]  Michael J. Freedman,et al.  Don't settle for eventual: scalable causal consistency for wide-area storage with COPS , 2011, SOSP.

[17]  Michael J. Freedman,et al.  Stronger Semantics for Low-Latency Geo-Replicated Storage , 2013, NSDI.

[18]  Willy Zwaenepoel,et al.  PaRiS: Causally Consistent Transactions with Non-blocking Reads and Partial Replication , 2019, 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS).

[19]  Annette Bieniusa,et al.  Cure: Strong Semantics Meets High Availability and Low Latency , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).

[20]  Rachid Guerraoui,et al.  Causal Consistency and Latency Optimality: Friend or Foe? , 2018, Proc. VLDB Endow..

[21]  Marcos K. Aguilera,et al.  Transactional storage for geo-replicated systems , 2011, SOSP.

[22]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..