Automating the detection of snapshot isolation anomalies

33rd International Conference on Very Large Data Bases, VLDB 2007 - Conference Proceedings

Volumn , Issue , 2007, Pages 1263-1274

  Jorwekar, Sudhir ^a   Fekete, Alan ^b   Ramamritham, Krithi ^a   Sudarshan, S ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

^b UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

QUERY PROCESSING;

APPLICATION CODES; FALSE POSITIVE; LEVEL OF CONSISTENCIES; NON-BLOCKING; POSTGRESQL; REAL-WORLD; REAL-WORLD PROBLEM; SNAPSHOT ISOLATION;

APPLICATION PROGRAMS;

EID: 85011061639     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Atul Adya, Barbara Liskov, and Patrick E. O'Neil. Generalized isolation level definitions. In ICDE, pages 67-78, 2000.
2. Hal Berenson, Phil Bernstein, Jim Gray, Jim Melton, Elizabeth O'Neil, and Patrick O'Neil. A critique of ansi sql isolation levels. In SIGMOD '95: Proceedings of the 1995 ACM SIGMOD international conference on Management of data, pages 1-10, New York, NY, USA, 1995. ACM Press.
3. P. Bernstein and N. Goodman. Mulitversion concurrency control - theory and algorithms. ACM Transactions on Database Systems, 8(4): 465-483, December 1983.
4. K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The notions of consistency and predicate locks in a database system. Commun. ACM, 19(11): 624-633, 1976.
5. Alan Fekete. Allocating isolation levels to transactions. In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 206-215, New York, NY, USA, 2005. ACM Press.
6. Alan Fekete, Dimitrios Liarokapis, Elizabeth O'Neil, Patrick O'Neil, and Dennis Shasha. Making snapshot isolation serializable. ACM Trans. Database Syst., 30(2): 492-528, 2005.
7. Alan Fekete, Elizabeth O'Neil, and Patrick O'Neil. A read-only transaction anomaly under snapshot isolation. SIGMOD Rec., 33(3): 12-14, 2004.
8. Y. Raz. Commitment ordering based distributed concurrency control for bridging single and multiple version resources. In Proceedings International Workshop on Research Issues in Data Engineering (RIDE'93), pages 189-199, 1993.
9. Dennis Shasha, Francois Llirbat, Eric Simon, and Patrick Valduriez. Transaction chopping: algorithms and performance studies. ACM Trans. Database Syst., 20(3): 325-363, 1995.
10. Cayenne (exprerssion parser). http://cayenne.apache.org/doc/expressions.html.
11. Javacc. https://javacc.dev.java.net/.
12. Tpc-c benchmark. http://www.tpc.org/tpcc/, 2006.
13. Postgresql 8.3devel documentation. http://developer.postgresql.org/pgdocs/postgres/transaction-iso.html#XACT-SERIALIZABLE, 2007.
14. Dot and dotty. http://hoagland.org/Dot.html, 2006.