Serializable Isolation for Snapshot Databases

Proceedings of the ACM SIGMOD International Conference on Management of Data

Volumn , Issue , 2008, Pages 729-738

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

^a UNIVERSITY OF SYDNEY   (Australia)

^b ORACLE CORPORATION   (United States)

Author keywords

Multiversion concurrency control; Serializability theory; Snapshot isolation

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; CONCURRENCY CONTROL; MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS;

CONCURRENCY CONTROL ALGORITHMS; DATA CONSISTENCIES; DATABASE MANAGEMENT SYSTEMS; MULTIVERSION CONCURRENCY CONTROL; NEW ALGORITHMS; PERFORMANCE STUDIES; SERIALIZABILITY; SERIALIZABILITY THEORY; SNAPSHOT ISOLATION; SNAPSHOT ISOLATIONS;

DATABASE SYSTEMS;

EID: 57149143052     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1376616.1376690     Document Type: Conference Paper

References (21)

1. A. Adya. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions (PhD thesis). PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, March 1999.
2. M. Alomari, M. Cahill, A. Fekete, and U. Röhm. The cost of serializability on platforms that use snapshot isolation. In ICDE '08: Proceedings of the 24th International Conference on Data Engineering, 2008.
3. H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O'Neil, and P. O'Neil. A critique of ANSI SQL isolation levels. In Proceedings of ACM SIGMOD International Conference on Management of Data, pages 1-10. ACM Press, June 1995.
4. A. Bernstein, P. Lewis, and S. Lu. Semantic conditions for correctness at different isolation levels. In Proceedings of IEEE International Conference on Data Engineering, pages 57-66. IEEE, February 2000.
5. P. A. Bernstein and N. Goodman. Multiversion concurrency control - theory and algorithms. A CM Trans. Database Syst., 8(4):465-483, 1983.
6. K. P. Eswaran, J. Gray, R. A. Lorie, and I. L. Traiger. The notions of consistency and predicate locks in a database system. Commmn. ACM, 19(11):624-633, 1976.
7. A. Fekete. Serializability and snapshot isolation. In Proceedings of Australian Database Conference, pages 201-210. Australian Computer Society, January 1999.
8. A. Fekete. Allocating isolation levels to transactions. PODS, 2005.
9. A. Fekete, D. Liarokapis, E. O'Neil, P. O'Neil, and D. Shasha. Making snapshot isolation serializable. ACM Transactions on Database Systems, to appear.
10. A. Fekete, E. O'Neil, and P. O'Neil. A read-only transaction anomaly under snapshot isolation. SIGMOD Rec., 33(3):12-14, 2004.
11. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
12. T. Hadzilacos. Serialization graph algorithms for multiversion concurrency control. In PODS, pages 135-141, 1988.
13. K. Jacobs, R. Bamford, G. Doherty, K. Haas, M. Holt, F. Putzolu, and B. Quigley. Concurrency control, transaction isolation and serializability in SQL92 and Oracle7. Oracle White Paper, Part No A33745, 1995.
14. S. Jorwekar, A. Fekete, K. Ramamritham, and S. Sudarshan. Automating the detection of snapshot isolation anomalies. In C. Koch, J. Gehrke, M. N. Garofalakis, D. Srivastava, K. Aberer, A. Deshpande, D. Florescu, C. Y. Chan, V. Ganti, C.-C. Kanne, W. Klas, and E. J. Neuhold, editors, VLDB, pages 1263-1274. ACM, 2007.
15. H. T. Kung and J. T. Robinson. On optimistic methods for concurrency control. In A. L. Furtado and H. L. Morgan, editors, VLDB, page 351. IEEE Computer Society, 1979.
16. M. A. Olson, K. Bostic, and M. I. Seltzer. Berkeley DB. In USENIX Annual Technical Conference, FREENIX Track, pages 183-191, 1999.
17. Y. Raz. Commitment ordering based distributed concurrency control for bridging single and multi version resources. In Proceedings of Third International Workshop or Research Issues in Data Engineering: Interoperability in Multidatabase Systems (RIDE-IMS), pages 189-198. IEEE, June 1993.
18. V. T.-S. Shi and W. Perrizo. A new method for concurrency control in centralized database systems. In R. E. Gantenbein and S. Y. Shin, editors, Computers and Their Applications, pages 184-187. ISCA, 2002.
19. D. G. Sullivan. Using probabilistic reasoning to automate software tuning. PhD thesis, Harvard University, Cambridge, MA, USA, 2003. Adviser-Margo I. Seltzer.
20. Transaction Processing Performance Council. TPC-C Benchmark Specification. http://www.tpc.org/tpcc, 2005.
21. Y. Yang. The adaptive serializable snapshot isolation protocol for managing database transactions. Master's thesis, University of Wollongong, NSW Australia, 2007.