The theory of database concurrency control
The theory of database concurrency control
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Transaction chopping: algorithms and performance studies
ACM Transactions on Database Systems (TODS)
A critique of ANSI SQL isolation levels
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
The dangers of replication and a solution
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Replication, consistency, and practicality: are these mutually exclusive?
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Update propagation protocols for replicated databates
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
A history and evaluation of System R
Communications of the ACM
The notions of consistency and predicate locks in a database system
Communications of the ACM
Database tuning: principles, experiments, and troubleshooting techniques
Database tuning: principles, experiments, and troubleshooting techniques
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Integrating Snapshot Isolation into Transactional Federation
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Generalized Isolation Level Definitions
ICDE '00 Proceedings of the 16th International Conference on Data Engineering
Semantic Conditions for Correctness at Different Isolation Levels
ICDE '00 Proceedings of the 16th International Conference on Data Engineering
Testing isolation levels of relational database management systems
Testing isolation levels of relational database management systems
A read-only transaction anomaly under snapshot isolation
ACM SIGMOD Record
Ganymed: scalable replication for transactional web applications
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Lazy database replication with snapshot isolation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
k-bound GSI: a flexible database replication protocol
Proceedings of the 2007 ACM symposium on Applied computing
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers
IEEE Transactions on Dependable and Secure Computing
Automating the detection of snapshot isolation anomalies
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
P2P systems with transactional semantics
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Serializable isolation for snapshot databases
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Extending DBMSs with satellite databases
The VLDB Journal — The International Journal on Very Large Data Bases
Improving the performance of read-only transactions through asynchronous speculation
Proceedings of the 2008 Spring simulation multiconference
Concurrency control and recovery for multiversion database structures
Proceedings of the 2nd PhD workshop on Information and knowledge management
Extending Middleware Protocols for Database Replication with Integrity Support
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
DBFarm: a scalable cluster for multiple databases
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Transactions on the multiversion B+-tree
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Predicting replicated database scalability from standalone database profiling
Proceedings of the 4th ACM European conference on Computer systems
Snapshot isolation and integrity constraints in replicated databases
ACM Transactions on Database Systems (TODS)
Unifying Memory and Database Transactions
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Serializable isolation for snapshot databases
ACM Transactions on Database Systems (TODS)
A formal analysis of database replication protocols with SI replicas and crash failures
The Journal of Supercomputing
Quantifying isolation anomalies
Proceedings of the VLDB Endowment
Proceedings of the VLDB Endowment
Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Multiversion repeatable read isolation level: theory and practice
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Improving the performance of read-only transactions through speculation
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
A closer look at database replication middleware architectures for enterprise applications
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
DASFAA'08 Proceedings of the 13th international conference on Database systems for advanced applications
A theoretical study of 'Snapshot Isolation'
Proceedings of the 13th International Conference on Database Theory
Byzantium: Byzantine-fault-tolerant database replication providing snapshot isolation
HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
Speculation-based protocols for improving the performance of read-only transactions
International Journal of Computational Science and Engineering
High-throughput transaction executions on graphics processors
Proceedings of the VLDB Endowment
Efficient middleware for byzantine fault tolerant database replication
Proceedings of the sixth conference on Computer systems
Semantics of concurrent revisions
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Prettier concurrency: purely functional concurrent revisions
Proceedings of the 4th ACM symposium on Haskell
Declarative serializable snapshot isolation
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Strict serializability is harmless: a new architecture for enterprise applications
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
DBFarm: a scalable cluster for multiple databases
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
A critique of snapshot isolation
Proceedings of the 7th ACM european conference on Computer Systems
Foundations and Trends in Databases
ConsAD: a real-time consistency anomalies detector
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Eventually consistent transactions
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
LogBase: a scalable log-structured database system in the cloud
Proceedings of the VLDB Endowment
Cloud types for eventual consistency
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Verification of snapshot isolation in transactional memory java programs
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Serializable snapshot isolation in PostgreSQL
Proceedings of the VLDB Endowment
How consistent is your cloud application?
Proceedings of the Third ACM Symposium on Cloud Computing
HAT, not CAP: towards highly available transactions
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Consistency anomalies in multi-tier architectures: automatic detection and prevention
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.00 |
Snapshot Isolation (SI) is a multiversion concurrency control algorithm, first described in Berenson et al. [1995]. SI is attractive because it provides an isolation level that avoids many of the common concurrency anomalies, and has been implemented by Oracle and Microsoft SQL Server (with certain minor variations). SI does not guarantee serializability in all cases, but the TPC-C benchmark application [TPC-C], for example, executes under SI without serialization anomalies. All major database system products are delivered with default nonserializable isolation levels, often ones that encounter serialization anomalies more commonly than SI, and we suspect that numerous isolation errors occur each day at many large sites because of this, leading to corrupt data sometimes noted in data warehouse applications. The classical justification for lower isolation levels is that applications can be run under such levels to improve efficiency when they can be shown not to result in serious errors, but little or no guidance has been offered to application programmers and DBAs by vendors as to how to avoid such errors. This article develops a theory that characterizes when nonserializable executions of applications can occur under SI. Near the end of the article, we apply this theory to demonstrate that the TPC-C benchmark application has no serialization anomalies under SI, and then discuss how this demonstration can be generalized to other applications. We also present a discussion on how to modify the program logic of applications that are nonserializable under SI so that serializability will be guaranteed.