Session Guarantees with Raft and Hybrid Logical Clocks

08/16/2018
by   Mohammad Roohitavaf, et al.
0

Eventual consistency is a popular consistency model for geo-replicated data stores. Although eventual consistency provides high performance and availability, it can cause anomalies that make programming complex for application developers. Session guarantees can remove some of these anomalies while causing much lower overhead compared with stronger consistency models. In this paper, we provide a protocol for providing session guarantees for NuKV, a key-value store developed for services with very high availability and performance requirements at eBay. NuKV relies on the Raft protocol for replication inside datacenters, and uses eventual consistency for replication among datacenters. We provide modified versions of conventional session guarantees to avoid the problem of slowdown cascades in systems with large numbers of partitions. We also use Hybrid Logical Clocks to eliminate the need for delaying write operations to satisfy session guarantees. Our experiments show that our protocol provides session guarantees with a negligible overhead when compared with eventual consistency.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/07/2022

Tunable Causal Consistency: Specification and Implementation

To achieve high availability and low latency, distributed data stores of...
research
02/26/2018

Observable atomic consistency for CvRDTs

The development of distributed systems requires developers to balance th...
research
12/24/2022

High Performance Delay Monitoring for SRv6 Based SD-WANs

Software-Defined Wide Area Networks (SD-WANs) are used to provide servic...
research
01/22/2018

Optimistic Execution in Key-Value Store

Limitations of CAP theorem imply that if availability is desired in the ...
research
03/26/2021

Deadlock-Free Session Types in Linear Haskell

Priority Sesh is a library for session-typed communication in Linear Has...
research
05/25/2018

Technical Report: Optimistic Execution in Key-Value Store

Limitations of CAP theorem imply that if availability is desired in the ...
research
12/18/2018

CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions

Causal consistency is an intermediate consistency model that can be achi...

Please sign up or login with your details

Forgot password? Click here to reset