Regular Sequential Serializability and Regular Sequential Consistency

09/18/2021
by   Jeffrey Helt, et al.
0

Strictly serializable (linearizable) services appear to execute transactions (operations) sequentially, in an order consistent with real time. This restricts a transaction's (operation's) possible return values and in turn, simplifies application programming. In exchange, strictly serializable (linearizable) services perform worse than those with weaker consistency. But switching to such services can break applications. This work introduces two new consistency models to ease this trade-off: regular sequential serializability (RSS) and regular sequential consistency (RSC). They are just as strong for applications: we prove any application invariant that holds when using a strictly serializable (linearizable) service also holds when using an RSS (RSC) service. Yet they relax the constraints on services – they allow new, better-performing designs. To demonstrate this, we design, implement, and evaluate variants of two systems, Spanner and Gryff, relaxing their consistency to RSS and RSC, respectively. The new variants achieve better read-only transaction and read tail latency than their counterparts.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/21/2019

Distributed Transactional Systems Cannot Be Fast

We prove that no fully transactional system can provide fast read transa...
research
04/03/2018

Database Consistency Models

A data store allows application processes to put and get data from a sha...
research
08/26/2023

Enhancement of database access performance by improving data consistency in a non-relational database system (NoSQL)

This study aims to enhance data consistency in NoSQL databases, traditio...
research
03/12/2018

Causal Consistency and Latency Optimality: Friend or Foe?

Causal consistency is an attractive consistency model for replicated dat...
research
05/23/2023

NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall

Strictly serializable datastores greatly simplify the development of cor...
research
07/06/2022

Sequential Recommendation Model for Next Purchase Prediction

Timeliness and contextual accuracy of recommendations are increasingly i...
research
09/29/2020

Tracking Mixed Bitcoins

Mixer services purportedly remove all connections between the input (dep...

Please sign up or login with your details

Forgot password? Click here to reset