Multi-Version Concurrency Control on Modern Hardware

Overview

This work is funded by the NSF under grant IIS-1718581. The title of this NSF award is: "Multi-Version Concurrency Control on Modern Hardware". The start date is August 15, 2017 and the end date is July 31, 2020.

We are performing research on the design of modern multi-versioned database systems, designed for main-memory deployments. We are exploring an architecture to achieve extremely high throughput, while avoiding the fundamental write skew anomalies that have existed in previous systems affecting both application developers and database users. We are integrating novel techniques for database recoverability and transaction chopping into the multi-versioned database system architecture in order to improve transaction throughput by at least an order of magnitude. We are also investigating techniques for continuous snapshot replication and serving consistent read queries from geo-distributed replicas with bounded staleness.

Relevant papers published prior to this grant

• High Performance Transactions via Early Write Visibility
  Jose M. Faleiro, Daniel J. Abadi, and Joseph M. Hellerstein. PVLDB 10(5): 613-624, 2017. (bibtex)


• Rethinking serializable multiversion concurrency control
  Jose M. Faleiro and Daniel J. Abadi. PVLDB 8(11): 1190-1201, 2015. (bibtex)


• Lazy Evaluation of Transactions in Database Systems
  Jose Faleiro, Alexander Thomson, and Daniel J. Abadi. In Proceedings of SIGMOD, 2014. (bibtex)

Publications supported by this grant

• BullFrog: Online Schema Evolution via Lazy Evaluation
  Souvik Bhattacherjee, Gang Liao, Michael Hicks, and Daniel J. Abadi. In Proceedings of SIGMOD, 2021. (bibtex)


• Integration of Large-Scale Data Processing Systems and Traditional Parallel Database Technology
  Azza Abouzied, Daniel J. Abadi, Kamil Bajda-Pawlikowski, and Avi Silberschatz. PVLDB 12(12), 2019. (bibtex)


• SLOG: Serializable, Low-latency, Geo-replicated Transactions
  Kun Ren, Dennis Li, and Daniel J. Abadi. PVLDB 12(11), 2019. (bibtex)


• The dangers of conditional consistency guarantees
  Daniel J. Abadi. DBMS Musings. http://dbmsmusings.blogspot.com/2019/07/the-dangers-of-conditional-consistency.html, 2019. (bibtex)


• Correctness Anomalies Under Serializable Isolation
  Daniel J. Abadi. DBMS Musings. http://dbmsmusings.blogspot.com/2019/06/correctness-anomalies-under.html, 2019. (bibtex)


• Introduction to Transaction Isolation Levels
  Daniel J. Abadi. DBMS Musings. http://dbmsmusings.blogspot.com/2019/05/introduction-to-transaction-isolation.html, 2019. (bibtex)


• An Overview of Deterministic Database Systems
  Daniel J. Abadi and Jose M. Faleiro. CACM, 61(9), September 2018. (bibtex)


• The FuzzyLog: A Partially Ordered Shared Log
  Joshua Lockerman, Jose M. Faleiro, Juno Kim, Soham Sankaran, Daniel J. Abadi, James Aspnes, Siddhartha Sen, and Mahesh Balakrishnan. In Proceedings of OSDI, 2018. (bibtex)

People

PI

• Daniel Abadi

Graduate Students:

• Jose Faleiro