Serializable isolation for snapshot databases

ACM Transactions on Database Systems

Volumn 34, Issue 4, 2009, Pages

  Cahill, Michael J ^a   Röhm, Uwe ^a   Fekete, Alan D ^a  

^a UNIVERSITY OF SYDNEY   (Australia)

Author keywords

Multiversion concurrency control; Serializability; Snapshot isolation

Indexed keywords

CONCURRENCY CONTROL ALGORITHMS; DATA CONSISTENCY; DATA-BASE MANAGEMENT SYSTEMS; MULTIVERSION CONCURRENCY CONTROL; PERFORMANCE STUDY; RELATIONAL DBMS; RUNTIMES; SERIALIZABILITY; SNAPSHOT ISOLATION;

ALGORITHMS; DATABASE SYSTEMS; MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS;

CONCURRENCY CONTROL;

EID: 76149142210     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1620585.1620587     Document Type: Conference Paper

References (36)

1. ADYA, A. 1999. Weak consistency: A generalized theory and optimistic implementations for distributed transactions. Ph. D. thesis, Laboratory for Computer Science, Massachusetts Institute of Technology.
2. AGRAWAL, R., CAREY, M. J., AND MCVOY, L. 1987. The performance of alternative strategies for dealing with deadlocks in database management systems. IEEE Trans. Softw. Eng. 13, 12, 1348-1363.
3. ALOMARI, M., CAHILL, M. J., FEKETE, A., AND RöHM, U. 2008. The cost of serializability on platforms that use snapshot isolation. In Proceedings of the 24th International Conference on Data Engineering (ICDE). 576-585.
4. BERENSON, H., BERNSTEIN, P., GRAY, J., MELTON, J., O'NEIL, E., AND O'NEIL, P. 1995. A critique of ANSI SQL isolation levels. In Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD). ACM Press, 1-10.
5. BERNSTEIN, A., LEWIS, P., AND LU, S. 2000. Semantic conditions for correctness at different isolation levels. In Proceedings of the 16th International Conference on Data Engineering (ICDE). IEEE, 57-66.
6. BERNSTEIN, P. A. AND GOODMAN, N. 1983. Multiversion concurrency control-theory and algorithms. ACM Trans. Datab. Syst. (TODS) 8, 4, 465-483.
7. BOBER, P. M. AND CAREY, M. J. 1992. On mixing queries and transactions via multiversion locking. In Proceedings of the Eighth International Conference on Data Engineering (ICDE). IEEE Computer Society, Washington, DC, 535-545.
8. CAHILL, M. J., RöHM, U., AND FEKETE, A. D. 2008. Serializable isolation for snapshot databases. In Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM, New York, NY, 729-738.
9. CAREY, M. J. AND MUHANNA, W. A. 1986. The performance of multiversion concurrency control algorithms. ACM Trans. Comput. Syst. 4, 4, 338-378.
10. CHAN, A., DAYAL, U., FOX, S., GOODMAN, N., RIES, D. R., AND SKEEN, D. 1983. Overview of an ADA compatible distributed database manager. In Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM, New York, NY, 228-237.
11. ESWARAN, K. P., GRAY, J., LORIE, R. A., AND TRAIGER, I. L. 1976. The notions of consistency and predicate locks in a database system. Comm. ACM 19, 11, 624-633.
12. FEKETE, A. 1999. Serializability and snapshot isolation. In Proceedings of the Australian Database Conference. Australian Computer Society, 201-210.
13. FEKETE, A. 2005. Allocating isolation levels to transactions. In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS). ACM, New York, NY, 206-215.
14. FEKETE, A., LIAROKAPIS, D., O'NEIL, E., O'NEIL, P., AND SHASHA, D. 2005. Making snapshot isolation serializable. ACM Trans. Datab. Syst. 30, 2, 492-528.
15. FEKETE, A., O'NEIL, E., AND O'NEIL, P. 2004. A read-only transaction anomaly under snapshot isolation. ACM SIGMOD Record 33, 3, 12-14.
16. GRAY, J. AND REUTER, A. 1993. Transaction Processing: Concepts and Techniques. Morgan Kaufmann.
17. HADZILACOS, T. 1988. Serialization graph algorithms for multiversion concurrency control. In Proceedings of the 7th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS). ACM, New York, NY, 135-141.
18. JACOBS, K., BAMFORD, R., DOHERTY, G., HAAS, K., HOLT, M., PUTZOLU, F., AND QUIGLEY, B. 1995. Concurrency control, transaction isolation and serializability in SQL92 and Oracle7. Oracle White Paper, Part No A33745.
19. JORWEKAR, S., FEKETE, A., RAMAMRITHAM, K., AND SUDARSHAN, S. 2007. Automating the detection of snapshot isolation anomalies. In Proceedings of the 33rd International Conference on Very Large Data Bases (VLDB). VLDB Endowment, 1263-1274.
20. KUNG, H. T. AND ROBINSON, J. T. 1981. On optimistic methods for concurrency control. ACMTrans. Datab. Syst. 6, 2, 213-226.
21. LOMET, D. B. 1993. Key range locking strategies for improved concurrency. In Proceedings of the 19th International Conference on Very Large Data Bases (VLDB). Morgan Kaufmann Publishers Inc., San Francisco, CA, 655-664.
22. MOHAN, C. 1990. ARIES/KVL: a key-value locking method for concurrency control of multiaction transactions operating on b-tree indexes. In Proceedings of the 16th International Conference on Very Large Databases (VLDB). Morgan Kaufmann Publishers Inc., 392-405.
23. MOHAN, C. AND LEVINE, F. 1992. ARIES/IM: an efficient and high concurrency index management method using write-ahead logging. In Proceedings of the ACM International Conference on Management of Data (SIGMOD). ACM, New York, NY, 371-380.
24. MOHAN, C., PIRAHESH, H., AND LORIE, R. 1992. Efficient and flexible methods for transient versioning of records to avoid locking by read-only transactions. In Proceedings of the ACMInternational Conference on Management of Data (SIGMOD). ACM, New York, NY, 124-133.
25. MYSQL AB. 2006. MySQL Administrator's Guide and Language Reference 2nd Ed. MySQL Press.
26. OLSON, M. A., BOSTIC, K., AND SELTZER, M. I. 1999. Berkeley DB. In Proceedings of the USENIX Annual Technical Conference, FREENIX Track. 183-191.
27. RAZ, Y. 1993. Commitment ordering-based distributed concurrency control for bridging single and multi version resources. In Proceedings of the 3rd International Workshop or Research Issues in Data Engineering: Interoperability in Multidatabase Systems (RIDE-IMS). IEEE, 189-198.
28. REED, D. P. 1978. Naming and synchronization in a decentralized computer system. Tech. rep., MIT, Cambridge, MA.
29. REED, D. P. 1983. Implementing atomic actions on decentralized data. ACM Trans. Comput. Syst. 1, 1, 3-23.
30. SARIN, S. 2009. Dynamic transaction serializability in netezza performance server. New England Database Day, http://db. csail. mit. edu/nedbday09/htdocs/papers. php.
31. SHI, V. T. -S. AND PERRIZO, W. 2002. A new method for concurrency control in centralized database systems. In Computers and Their Applications, R. E. Gantenbein and S. Y. Shin, Eds. ISCA, 184-187.
32. TADA, H., HIGUCHI, M., AND FUJII, M. 1997. A concurrency control algorithm using serialization graph testing with write deferring. Trans. Inform. Proc. Soc. Japan 38, 10 (Oct. ).
33. TRANSACTION PROCESSING PERFORMANCE COUNCIL. 2005. TPC-C benchmark specification. http://www. tpc. org/tpcc.
34. WEIHL, W. E. 1987. Distributed version management for read-only actions. IEEE Trans. Softw. Eng. 13, 1, 55-64.
35. WEIKUM, G. AND VOSSEN, G. 2002. Transactional Information Systems: Theory, Algorithms and the Practice of Concurrency Control and Recovery. Morgan Kaufmann.
36. YANG, Y. 2007. The adaptive serializable snapshot isolation protocol for managing database transactions. M. S. thesis, University of Wollongong, NSW Australia.