Supporting multiple isolation levels in replicated environments

Replication is used by databases to implement reliability and provide scalability. However, achieving transparent replication is not an easy task. A replicated database is transparent if it can seamlessly replace a standard stand-alone database without requiring any changes to the components of the system. Database replication transparency can be achieved if: (a) replication protocols remain hidden for all other components of the system; and (b) the functionality of a stand-alone database is provided. The ability to simultaneously execute transactions under different isolation levels is a functionality offered by all stand-alone databases but not by their replicated counterparts. Allowing different isolation levels may improve overall system performance. For example, the TPC-C benchmark specification tolerates execution of some transactions at weaker isolation levels in order to increase throughput of committed transactions. In this paper, we show how replication protocols can be extended to enable transactions to be executed under different isolation levels.

[1]  Shiyong Lu,et al.  Semantic conditions for correctness at different isolation levels , 2000, Proceedings of 16th International Conference on Data Engineering (Cat. No.00CB37073).

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

[3]  Ruiz Fuertes,et al.  On the Consistency, Characterization, Adaptability and Integrity of Database Replication Systems , 2011 .

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

[5]  Francisco Castro-Company,et al.  A Metaprotocol Outline for Database Replication Adaptability , 2007, OTM Workshops.

[6]  Hector Garcia-Molina,et al.  Reliable scheduling in a TMR database system , 1989, TOCS.

[7]  Lidong Zhou,et al.  Niobe: A practical replication protocol , 2008, TOS.

[8]  Gustavo Alonso,et al.  Database replication techniques: a three parameter classification , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[9]  Rachid Guerraoui,et al.  Software-Based Replication for Fault Tolerance , 1997, Computer.

[10]  Gustavo Alonso,et al.  A new approach to developing and implementing eager database replication protocols , 2000, TODS.

[11]  Rachid Guerraoui,et al.  The Database State Machine Approach , 2003, Distributed and Parallel Databases.

[12]  AlonsoGustavo,et al.  A new approach to developing and implementing eager database replication protocols , 2000 .

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

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

[15]  Gilles M. E. Lafue Semantic Integrity Dependencies and Delayed Integrity Checking , 1982, VLDB.

[16]  Luis Irún-Briz,et al.  A formal characterization of SI-based ROWA replication protocols , 2011, Data Knowl. Eng..

[17]  Fernando Pedone,et al.  Database replication using generalized snapshot isolation , 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05).

[18]  Gustavo Alonso,et al.  Exploiting atomic broadcast in replicated databases , 1997 .

[19]  Amr El Abbadi,et al.  A Dynamic Accessibility Protocol for Replicated databases , 1991, Data Knowl. Eng..

[20]  Luis Irún-Briz,et al.  Managing Multiple Isolation Levels in Middleware Database Replication Protocols , 2006, ISPA.

[21]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[22]  Francisco Castro-Company,et al.  MADIS: A Slim Middleware for Database Replication , 2005, Euro-Par.

[23]  Michael Stonebraker,et al.  10 rules for scalable performance in 'simple operation' datastores , 2011, Commun. ACM.

[24]  Gustavo Alonso,et al.  Using Optimistic Atomic Broadcast in Transaction Processing Systems , 2003, IEEE Trans. Knowl. Data Eng..

[25]  Bettina Kemme,et al.  Database replication for clusters of workstations , 2000 .

[26]  Gustavo Alonso,et al.  Exploiting Atomic Broadcast in Replicated Databases (Extended Abstract) , 1997, Euro-Par.

[27]  Gustavo Alonso,et al.  Understanding replication in databases and distributed systems , 2000, Proceedings 20th IEEE International Conference on Distributed Computing Systems.

[28]  Fernando Pedone The database state machine and group communication issues , 1999 .

[29]  Sam Toueg,et al.  Fault-tolerant broadcasts and related problems , 1993 .

[30]  Irving L. Traiger,et al.  Transactions and consistency in distributed database systems , 1982, TODS.

[31]  André Schiper,et al.  Replication: Theory and Practice , 2010, Replication.

[32]  Stephanie J. Cammarata,et al.  Extending a relational database with deferred referential integrity checking and intelligent joins , 1989, SIGMOD '89.

[33]  Alan Fekete,et al.  Allocating isolation levels to transactions , 2005, PODS '05.

[34]  Ricardo Jiménez-Peris,et al.  Middleware based data replication providing snapshot isolation , 2005, SIGMOD '05.

[35]  Francesc D. Muñoz-Escoí,et al.  Integrity Dangers in Certification-Based Replication Protocols , 2008, OTM Workshops.

[36]  Yi Lin,et al.  Snapshot isolation and integrity constraints in replicated databases , 2009, TODS.

[37]  Jose Maria,et al.  SUPPORTING MULTIPLE ISOLATION LEVELS IN REPLICATED ENVIRONMENTS. , 2014 .

[38]  Patrick E. O'Neil,et al.  A read-only transaction anomaly under snapshot isolation , 2004, SGMD.

[39]  Francesc D. Mu Extending Mixed Serialisation Graphs to Replicated Environments , 2008, ARES 2008.

[40]  Francesc D. Muñoz-Escoí,et al.  A Weak Voting Database Replication Protocol Providing Different Isolation Levels , 2007 .

[41]  Josep M. Bernab -Gisbert,et al.  Extending Mixed Serialisation Graphs to Replicated Environments , 2008, ARES 2008.

[42]  Hendrik Decker,et al.  k-bound GSI: a flexible database replication protocol , 2007, SAC '07.

[43]  Man Hon Wong,et al.  An experimental study of semantics-based concurrency control protocols , 2000, Data Knowl. Eng..

[44]  François Llirbat,et al.  Using Versions in Update Transactions: Application to Integrity Checking , 1997, VLDB.

[45]  R. Salinas,et al.  SIRC, a multiple isolation level protocol for middleware-based data replication , 2007, 2007 22nd international symposium on computer and information sciences.

[46]  Luis Irún-Briz,et al.  Managing Transaction Conflicts in Middleware-based Database Replication Architectures , 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).

[47]  Gustavo Alonso,et al.  Non-intrusive, parallel recovery of replicated data , 2002, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings..

[48]  Josep M. Bernabé-Gisbert Providing Support for Data Replication Protocols with Multiple Isolation Levels , 2007, OTM Workshops.

[49]  André Schiper,et al.  Comparison of database replication techniques based on total order broadcast , 2005, IEEE Transactions on Knowledge and Data Engineering.

[50]  Philip A. Bernstein,et al.  Middleware: a model for distributed system services , 1996, CACM.

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

[52]  Fernando Pedone,et al.  Correctness Criteria for Database Replication: Theoretical and Practical Aspects , 2008, OTM Conferences.

[53]  Francesc D. Muñoz-Escoí,et al.  Performance Evaluation of a Metaprotocol for Database Replication Adaptability , 2009, 2009 28th IEEE International Symposium on Reliable Distributed Systems.

[54]  Barbara Liskov,et al.  Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions , 1999 .

[55]  George Candea,et al.  Middleware-based database replication: the gaps between theory and practice , 2007, SIGMOD Conference.

[56]  Alberto Bartoli,et al.  Online reconfiguration in replicated databases based on group communication , 2001, 2001 International Conference on Dependable Systems and Networks.

[57]  Idit Keidar,et al.  Group communication specifications: a comprehensive study , 2001, CSUR.