Optimistic Causal Consistency for Geo-Replicated Key-Value Stores
Open Access
- 1 June 2017
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS)
- p. 2626-2629
- https://doi.org/10.1109/icdcs.2017.192
Abstract
In this paper we present a new approach to implementing causal consistency in geo-replicated data stores, which we call Optimistic Causal Consistency (OCC). The optimism in our approach lies in that updates from a remote data center are immediately made visible in the local data center, without checking if their causal dependencies have been received. Servers perform the dependency check needed to enforce causal consistency only upon serving a client operation, rather than on the receipt of a replicated data item as in existing systems. OCC explores a novel trade-off in the landscape of causal consistency protocols. The potentially blocking behavior of OCC makes it vulnerable to network partitions. Because network partitions are rare in practice, however, OCC chooses to trade availability to maximize data freshness and reduce the communication overhead. We further propose a recovery mechanism that allows an OCC system to fall back on a pessimistic protocol to continue operating even during network partitions. POCC is an implementation of OCC based on physical clocks. We show that OCC improves data freshness, while offering comparable or better performance than its pessimistic counterpart.Keywords
This publication has 9 references indexed in Scilit:
- Optimistic Causal Consistency for Geo-Replicated Key-Value StoresPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2017
- Cure: Strong Semantics Meets High Availability and Low LatencyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2016
- Existential consistencyPublished by Association for Computing Machinery (ACM) ,2015
- GentleRainPublished by Association for Computing Machinery (ACM) ,2014
- OrbePublished by Association for Computing Machinery (ACM) ,2013
- CAP twelve years later: How the "rules" have changedComputer, 2012
- Probabilistically Bounded Staleness for Practical Partial QuorumsPublished by Defense Technical Information Center (DTIC) ,2012
- Don't settle for eventualPublished by Association for Computing Machinery (ACM) ,2011
- Causal memory: definitions, implementation, and programmingDistributed Computing, 1995