Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. Robustness against Read Committed for Transaction Templates
 
research article

Robustness against Read Committed for Transaction Templates

Vandevoort, Brecht
•
Ketsman, Bas  
•
Koch, Christoph  
Show more
July 1, 2021
Proceedings Of The Vldb Endowment

The isolation level Multiversion Read Committed (RC), offered by many database systems, is known to trade consistency for increased transaction throughput. Sometimes, transaction workloads can be safely executed under RC obtaining the perfect isolation of serializability at the lower cost of RC. To identify such cases, we introduce an expressive model of transaction programs to better reason about the serializability of transactional workloads. We develop tractable algorithms to decide whether any possible schedule of a workload executed under RC is serializable (referred to as the robustness problem). Our approach yields robust subsets that are larger than those identified by previous methods. We provide experimental evidence that workloads that are robust against RC can be evaluated faster under RC compared to stronger isolation levels. We discuss techniques for making workloads robust against RC by promoting selective read operations to updates. Depending on the scenario, the performance improvements can be considerable. Robustness testing and safely executing transactions under the lower isolation level RC can therefore provide a direct way to increase transaction throughput without changing DBMS internals.

  • Details
  • Metrics
Type
research article
DOI
10.14778/3476249.3476268
Web of Science ID

WOS:000742891100018

Author(s)
Vandevoort, Brecht
Ketsman, Bas  
Koch, Christoph  
Neven, Frank
Date Issued

2021-07-01

Publisher

ASSOC COMPUTING MACHINERY

Published in
Proceedings Of The Vldb Endowment
Volume

14

Issue

11

Start page

2141

End page

2153

Subjects

Computer Science, Information Systems

•

Computer Science, Theory & Methods

•

Computer Science

•

optimistic concurrency-control

•

snapshot isolation

•

serializable executions

•

contention

•

locking

•

cost

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
DATA  
Available on Infoscience
April 11, 2022
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/187036
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés