| 1. |
- Bailis, P., et al.
(author)
-
Bolt-on causal consistency
- 2013
-
In: SIGMOD '13 Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data. - New York, NY, USA : Association for Computing Machinery (ACM). - 9781450320375 ; , s. 761-772
-
Conference paper (peer-reviewed)abstract
- We consider the problem of separating consistency-related safety properties from availability and durability in distributed data stores via the application of a "bolt-on" shim layer that upgrades the safety of an underlying general-purpose data store. This shim provides the same consistency guarantees atop a wide range of widely deployed but often inflexible stores. As causal consistency is one of the strongest consistency models that remain available during system partitions, we develop a shim layer that upgrades eventually consistent stores to provide convergent causal consistency. Accordingly, we leverage widely deployed eventually consistent infrastructure as a common substrate for providing causal guarantees. We describe algorithms and shim implementations that are suitable for a large class of application-level causality relationships and evaluate our techniques using an existing, production-ready data store and with real-world explicit causality relationships.
|
|
| 2. |
- Bailis, P., et al.
(author)
-
HAT, not CAP : Towards highly available transactions
- 2013
-
In: 14th Workshop on Hot Topics in Operating Systems, HotOS 2013. - : USENIX Association.
-
Conference paper (peer-reviewed)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.
|
|
