Cited By
View all- Vandevoort BKetsman BKoch CNeven F(2023)When is it safe to run a transactional workload under Read Committed?ACM SIGMOD Record10.1145/3604437.360444652:1(36-43)Online publication date: 8-Jun-2023
Concurrency control for database theorists
Abstract
The aim of this paper is to serve as a lightweight introduction to concurrency control for database theorists through a uniform presentation of the work on robustness against Multiversion Read Committed and Snapshot Isolation.
References
[1]
Atul Adya, Barbara Liskov, and Patrick E. O'Neil. Generalized isolation level definitions. In ICDE, pages 67--78, 2000.
[2]
Mohammad Alomari and Alan Fekete. Serializable use of read committed isolation level. In AICCSA, pages 1--8, 2015.
[3]
Hal Berenson, Philip A. Bernstein, Jim Gray, Jim Melton, Elizabeth J. O'Neil, and Patrick E. O'Neil. A critique of ANSI SQL isolation levels. In SIGMOD, pages 1--10, 1995.
[4]
Giovanni Bernardi and Alexey Gotsman. Robustness against consistency models with atomic visibility. In CONCUR, pages 7:1--7:15, 2016.
[5]
Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
[6]
Philip A. Bernstein and Eric Newcomer. Principles of Transaction Processing for Systems Professionals. Morgan Kaufmann, 1996.
[7]
Michael J. Cahill, Uwe R¨ohm, and Alan D. Fekete. Serializable isolation for snapshot databases. In SIGMOD, pages 729--738. ACM, 2008.
[8]
Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. A framework for transactional consistency models with atomic visibility. In CONCUR, pages 58--71, 2015.
[9]
Andrea Cerone and Alexey Gotsman. Analysing snapshot isolation. J.ACM, 65(2):1--41, 2018.
[10]
Andrea Cerone, Alexey Gotsman, and Hongseok Yang. Algebraic Laws for WeakConsistency. In CONCUR, pages 26:1--26:18, 2017.
[11]
Bailu Ding, Lucja Kot, and Johannes Gehrke. Improving optimistic concurrency control through transaction batching and operation reordering. PVLDB, 12(2):169--182, 2018.
[12]
Alan Fekete. Allocating isolation levels to transactions. In PODS, pages 206--215, 2005.
[13]
Alan Fekete, Dimitrios Liarokapis, Elizabeth J. O'Neil, Patrick E. O'Neil, and Dennis E. Shasha. Making snapshot isolation serializable. ACM Trans. Database Syst., 30(2):492--528, 2005.
[14]
Bas Ketsman, Christoph Koch, Frank Neven, and Brecht Vandevoort. Deciding robustness for lower SQL isolation levels. In PODS, pages 315--330, 2020.
[15]
Christos H. Papadimitriou. The Theory of Database Concurrency Control. Computer Science Press, 1986.
[16]
TPC-C. On-line transaction processing benchmark. http://www.tpc.org/tpcc/.
[17]
Brecht Vandevoort. Optimizing Concurrency Control: Robustness Against Read Committed Revisited. PhD thesis, Hasselt University, 2021.
[18]
Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven. Robustness against read committed for transaction templates. PVLDB, 14(11):2141--2153, 2021.
[19]
Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven. Robustness against read committed: A free transactional lunch. In PODS, pages 1--14. ACM, 2022.
[20]
Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven. Robustness against read committed for transaction templates with functional constraints. In ICDT, volume 220 of LIPIcs, pages 16:1--16:17, 2022.
[21]
Brecht Vandevoort, Bas Ketsman, and Frank Neven. Allocating isolation levels to transactions in a multiversion setting. Manuscript, 2022.
[22]
Gerhard Weikum and Gottfried Vossen. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann, 2002.
Recommendations
Multiversion Cautious Schedulers for Database Concurrency Control
Let MC stand for a class of logs (i.e. sequences of read/write steps of transactions) that are serializable when multiple versions of the data items are maintained. The multiversion cautious scheduler, MCS(MC) which is introduced, outputs a sequence ...
Semantics-based concurrency control: beyond commutativity
The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2023 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 January 2023
Published in SIGMOD Volume 51, Issue 4
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 169Total Downloads
- Downloads (Last 12 months)56
- Downloads (Last 6 weeks)4
Reflects downloads up to 13 Dec 2024
Other Metrics
Citations
Cited By
View all- Vandevoort BKetsman BKoch CNeven F(2023)When is it safe to run a transactional workload under Read Committed?ACM SIGMOD Record10.1145/3604437.360444652:1(36-43)Online publication date: 8-Jun-2023
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in