A transaction model for management of replicated data with multiple consistency levels

We present a transaction model which simultaneously supports different consistency levels, which include serializable transactions for strong consistency, and weaker consistency models such as causal snapshot isolation (CSI), CSI with commutative updates, and CSI with asynchronous updates. This model is useful in managing large-scale replicated data with different consistency guarantees to make suitable trade-offs between data consistency and performance. Data and the associated transactions are organized in a hierarchy which is based on consistency levels. Certain rules are imposed on transactions to constrain information flow across data at different levels in this hierarchy to ensure the required consistency guarantees. The building block for this transaction model is the snapshot isolation model. We present an example of an e-commerce application structured with data items and transactions defined at different consistency levels. We have implemented a testbed system for replicated data management based on the proposed multilevel consistency model. We present here the results of our experiments with this e-commerce application to demonstrate the benefits of this model.

[1]  Cheng Li,et al.  Making geo-replicated systems fast as possible, consistent when necessary , 2012, OSDI 2012.

[2]  Anand R. Tripathi,et al.  Scalable Transaction Management with Snapshot Isolation on Cloud Data Management Systems , 2012, 2012 IEEE Fifth International Conference on Cloud Computing.

[3]  Sameh Elnikety,et al.  One-copy serializability with snapshot isolation under the hood , 2011, 2011 IEEE 27th International Conference on Data Engineering.

[4]  Marc Shapiro,et al.  Consistency without concurrency control in large, dynamic systems , 2010, OPSR.

[5]  Werner Vogels,et al.  Dynamo: amazon's highly available key-value store , 2007, SOSP.

[6]  Dennis Shasha,et al.  The dangers of replication and a solution , 1996, SIGMOD '96.

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

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

[9]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[10]  Anand R. Tripathi,et al.  Transaction Management Using Causal Snapshot Isolation in Partially Replicated Databases , 2014, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems.

[11]  Patrick E. O'Neil,et al.  Precisely Serializable Snapshot Isolation (PSSI) , 2011, 2011 IEEE 27th International Conference on Data Engineering.

[12]  Hans-Arno Jacobsen,et al.  PNUTS: Yahoo!'s hosted data serving platform , 2008, Proc. VLDB Endow..

[13]  Anand R. Tripathi,et al.  Scalable Transaction Management with Snapshot Isolation for NoSQL Data Storage Systems , 2015, IEEE Transactions on Services Computing.

[14]  Michael J. Cahill.  Serializable isolation for snapshot databases , 2009, TODS.

[15]  Chao Xie,et al.  Salt: Combining ACID and BASE in a Distributed Database , 2014, OSDI.

[16]  Alan Fekete,et al.  Serializable snapshot isolation for replicated databases in high-update scenarios , 2011, Proc. VLDB Endow..

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

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

[19]  Jim Gray,et al.  A critique of ANSI SQL isolation levels , 1995, SIGMOD '95.

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

[21]  Dennis Shasha,et al.  Making snapshot isolation serializable , 2005, TODS.

[22]  Yawei Li,et al.  Megastore: Providing Scalable, Highly Available Storage for Interactive Services , 2011, CIDR.

[23]  Patrick E. O'Neil,et al.  Generalized isolation level definitions , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

[24]  Gustavo Alonso,et al.  Consistency Rationing in the Cloud: Pay only when it matters , 2009, Proc. VLDB Endow..

[25]  Anand R. Tripathi,et al.  Causally Coordinated Snapshot Isolation for Geographically Replicated Data , 2012, 2012 IEEE 31st Symposium on Reliable Distributed Systems.

[26]  John Eberhard,et al.  Semantics-Based Object Caching in Distributed Systems , 2010, IEEE Transactions on Parallel and Distributed Systems.

[27]  William E. Weihl,et al.  Commutativity-based concurrency control for abstract data types , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.