Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
A critique of ANSI SQL isolation levels
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
On optimistic methods for concurrency control
ACM Transactions on Database Systems (TODS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Concurrency Control Problem for Database Systems
Concurrency Control Problem for Database Systems
On Serializability of Multidatabase Transactions Through Forced Local Conflicts
Proceedings of the Seventh International Conference on Data Engineering
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
Weak consistency: a generalized theory and optimistic implementations for distributed transactions
Weak consistency: a generalized theory and optimistic implementations for distributed transactions
Making snapshot isolation serializable
ACM Transactions on Database Systems (TODS)
Inferring a Serialization Order for Distributed Transactions
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Relaxed-currency serializability for middle-tier caching and replication
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
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
ACM Transactions on Database Systems (TODS)
Consistency rationing in the cloud: pay only when it matters
Proceedings of the VLDB Endowment
Quantifying isolation anomalies
Proceedings of the VLDB Endowment
Freshness-aware caching in a cluster of J2EE application servers
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Precisely Serializable Snapshot Isolation (PSSI)
ICDE '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering
Real-time quantification and classification of consistency anomalies in multi-tier architectures
ICDE '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering
A critique of snapshot isolation
Proceedings of the 7th ACM european conference on Computer Systems
ConsAD: a real-time consistency anomalies detector
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
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
Hi-index | 0.00 |
Modern transaction systems, consisting of an application server tier and a database tier, offer several levels of isolation providing a trade-off between performance and consistency. While it is fairly well known how to identify qualitatively the anomalies that are possible under a certain isolation level, it is much more difficult to detect and quantify such anomalies during run-time of a given application. In this paper, we present a new approach to detect and quantify consistency anomalies for arbitrary multi-tier application running under any isolation levels ensuring at least read committed. In fact, the application can run even under a mixture of isolation levels. Our detection approach can be online or off-line and for each detected anomaly, we identify exactly the transactions and data items involved. Furthermore, we classify the detected anomalies into patterns showing the business methods involved as well as analyzing the types of cycles that occur. Our approach can help designers to either choose an isolation level where the anomalies do not occur or to change the transaction design to avoid the anomalies. Furthermore, we provide an option in which the occurrence of anomalies can be automatically reduced during run-time. To test the effectiveness and efficiency of our approach, we have conducted a set of experiments using a wide range of benchmarks.