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
Local atomicity properties: modular concurrency control for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
A critique of ANSI SQL isolation levels
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery
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
Semantic Conditions for Correctness at Different Isolation Levels
ICDE '00 Proceedings of the 16th International Conference on Data Engineering
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
Application of snapshot isolation protocol to concurrent processing of long transactions
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Tashkent+: memory-aware load balancing and update filtering in replicated databases
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Automating the detection of snapshot isolation anomalies
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Serializable isolation for snapshot databases
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
DBFarm: a scalable cluster for multiple databases
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Predicting replicated database scalability from standalone database profiling
Proceedings of the 4th ACM European conference on Computer systems
Serializable isolation for snapshot databases
ACM Transactions on Database Systems (TODS)
DASFAA'08 Proceedings of the 13th international conference on Database systems for advanced applications
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
Declarative serializable snapshot isolation
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
DBFarm: a scalable cluster for multiple databases
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
Proceedings of the 4th annual Symposium on Cloud Computing
| Hi-index | 0.00 |
Serializability is a key property for executions of OLTP systems; without this, integrity constraints on the data can be violated due to concurrent activity. Serializability can be guaranteed regardless of application logic, by using a serializable concurrency control mechanism such as strict two-phase locking (S2PL); however the reduction in concurrency from this is often too great, and so a DBMS offers the DBA the opportunity to use different concurrency control mechanisms for some transactions, if it is safe to do so. However, little theory has existed to decide when it is safe! In this paper, we discuss the problem of taking a collection of transactions, and allocating each to run at an appropriate isolation level (and thus use a particular concurrency control mechanism), while still ensuring that every execution will be conflict serializable. When each transaction can use either S2PL, or snapshot isolation, we characterize exactly the acceptable allocations, and provide a simple graph-based algorithm which determines the weakest acceptable allocation.