{HAT}, Not {CAP}: Towards Highly Available Transactions

Peter Bailis; Alan Fekete; Ali Ghodsi; Joseph M. Hellerstein; Ion Stoica

Authors:

Peter Bailis, University of California, Berkeley; Alan Fekete, University of Sydney; Ali Ghodsi, University of California, Berkeley and KTH/Royal Institute of Technology; Joseph M. Hellerstein and Ion Stoica, University of California, Berkeley

Abstract:

While the CAP Theorem is often interpreted to preclude the availability of transactions in a partition-prone environment, we show that highly available systems can provide useful transactional semantics, often matching those of today’s ACID databases. We propose Highly Available Transactions (HATs) that are available in the presence of partitions. HATs support many desirable ACID guarantees for arbitrary transactional sequences of read and write operations and permit low-latency operation.

Peter Bailis, University of California, Berkeley

Alan Fekete, University of Sydney

Ali Ghodsi, Berkeley and KTH/Royal Institute of Technology

Joseph M. Hellerstein, University of California, Berkeley

Ion Stoica, University of California, Berkeley

Open Access Media

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.

BibTeX

@inproceedings {181978,
author = {Peter Bailis and Alan Fekete and Ali Ghodsi and Joseph M. Hellerstein and Ion Stoica},
title = {{HAT}, Not {CAP}: Towards Highly Available Transactions},
booktitle = {14th Workshop on Hot Topics in Operating Systems (HotOS XIV)},
year = {2013},
address = {Santa Ana Pueblo, NM},
url = {https://www.usenix.org/conference/hotos13/session/bailis},
publisher = {USENIX Association},
month = may
}

Download

Bailis PDF