Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/42231
Title: | Allocating Isolation Levels to Transactions in a Multiversion Setting | Authors: | VANDEVOORT, Brecht KETSMAN, Bas NEVEN, Frank |
Issue Date: | 2023 | Publisher: | ASSOC COMPUTING MACHINERY | Source: | PROCEEDINGS OF THE 42ND ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES, ASSOC COMPUTING MACHINERY, p. 69 -78 | Abstract: | A serializable concurrency control mechanism ensures consistency for OLTP systems at the expense of a reduced transaction throughput. A DBMS therefore usually offers the possibility to allocate lower isolation levels for some transactions when it is safe to do so. However, such trading of consistency for efficiency does not come with any safety guarantees. In this paper, we study the mixed robustness problem which asks whether, for a given set of transactions and a given allocation of isolation levels, every possible interleaved execution of those transactions that is allowed under the provided allocation is always serializable. That is, whether the given allocation is indeed safe. While robustness has already been studied in the literature for the homogeneous setting where all transactions are allocated the same isolation level, the heterogeneous setting that we consider in this paper, despite its practical relevance, has largely been ignored. We focus on multiversion concurrency control and consider the isolation levels that are available in Postgres and Oracle: read committed (RC), snapshot isolation (SI) and serializable snapshot isolation (SSI). We show that the mixed robustness problem can be decided in polynomial time. In addition, we provide a polynomial time algorithm for computing the optimal robust allocation for a given set of transactions, prioritizing lower over higher isolation levels. The present results therefore establish the groundwork to automate isolation level allocation within existing databases supporting multiversion concurrency control. | Notes: | Vandevoort, B (corresponding author), UHasselt, Data Sci Inst, ACSL, Diepenbeek, Belgium. brecht.vandevoort@uhasselt.be; bas.ketsman@vub.be; frank.neven@uhasselt.be |
Keywords: | concurrency control;robustness;complexity | Document URI: | http://hdl.handle.net/1942/42231 | ISBN: | 979-8-4007-0127-6 | DOI: | 10.1145/3584372.3588672 | ISI #: | 001119129400009 | Rights: | 2023 Copyright held by the owner/author(s). Publication rights licensed to ACM | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Allocating Isolation Levels to Transactions in a Multiversion Setting.pdf Restricted Access | Published version | 1.11 MB | Adobe PDF | View/Open Request a copy |
main (1).pdf | Peer-reviewed author version | 608.82 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.