| 1. |
- Bailis, P., et al.
(författare)
-
Bolt-on causal consistency
- 2013
-
Ingår i: 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
-
Konferensbidrag (refereegranskat)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.
(författare)
-
HAT, not CAP : Towards highly available transactions
- 2013
-
Ingår i: 14th Workshop on Hot Topics in Operating Systems, HotOS 2013. - : USENIX Association.
-
Konferensbidrag (refereegranskat)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.
|
|
| 3. |
- Bailis, P., et al.
(författare)
-
The potential dangers of causal consistency and an explicit solution
- 2012
-
Ingår i: Proceedings of the 3rd ACM Symposium on Cloud Computing, SoCC 2012. - New York, NY, USA : ACM. - 9781450317610
-
Konferensbidrag (refereegranskat)abstract
- Causal consistency is the strongest consistency model that is available in the presence of partitions and provides useful semantics for human-facing distributed services. Here, we expose its serious and inherent scalability limitations due to write propagation requirements and traditional dependency tracking mechanisms. As an alternative to classic potential causality, we advocate the use of explicit causality, or application-defined happens-before relations. Explicit causality, a subset of potential causality, tracks only relevant dependencies and reduces several of the potential dangers of causal consistency.
|
|
