Highly Available Transactions: Virtues and Limitations
Highly Available Transactions: Virtues and Limitations
复制标题
DOI：
10.14778/2732232.2732237
复制
发表时间：
2013-11-01
影响因子：
2.5
通讯作者：
Stoica, Ion
中科院分区：
文献类型：
--
作者：
Bailis, Peter;Davidson, Aaron;Stoica, Ion
为了最小化网络延迟并在服务器故障和网络分区期间保持在线，许多现代分布式数据存储系统避开事务功能，事务功能为多个数据项上的多个操作的组提供强语义保证。在这项工作中，我们考虑的问题，提供高可用性事务（HAT）：事务保证不遭受系统分区期间的不可用性或招致高网络延迟。我们介绍了一个高可用性系统的分类，并分析现有的ACID隔离和分布式数据一致性保证，以确定哪些可以和不可以在HAT系统中实现。这统一了关于弱事务隔离、副本一致性和高可用系统的文献。我们分析和实验量化的可用性和性能优势的HAT-往往是两到三个数量级的广域网-并讨论其必要的语义妥协。
To minimize network latency and remain online during server failures and network partitions, many modern distributed data storage systems eschew transactional functionality, which provides strong semantic guarantees for groups of multiple operations over multiple data items. In this work, we consider the problem of providing Highly Available Transactions (HATs): transactional guarantees that do not suffer unavailability during system partitions or incur high network latency. We introduce a taxonomy of highly available systems and analyze existing ACID isolation and distributed data consistency guarantees to identify which can and cannot be achieved in HAT systems. This unifies the literature on weak transactional isolation, replica consistency, and highly available systems. We analytically and experimentally quantify the availability and performance benefits of HATs-often two to three orders of magnitude over wide-area networks-and discuss their necessary semantic compromises.