Extending Classic Paxos for High-performance Read-Modify-Write Registers

03/26/2021
by   Vasilis Gavrielatos, et al.
0

In this work we provide a detailed specification of how we extended and implemented Classic Paxos (CP) to execute Read-Modify-Writes. In addition, we also specify how we implemented All-aboard Paxos over CP and how we use carstamps, to also add ABD reads and writes, to accelerate the common case, where RMWs are not needed. Our specification targets a Key-Value-Store that is deployed within the datacenter, is replicated across 3 to 7 machines and supports reads, writes and RMWs.

READ FULL TEXT
research
08/10/2020

Fully Read/Write Fence-Free Work-Stealing with Multiplicity

Work-stealing is a popular technique to implement dynamic load balancing...
research
05/02/2023

F2: Designing a Key-Value Store for Large Skewed Workloads

Today's key-value stores are either disk-optimized, focusing on large da...
research
02/19/2021

"Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?

Does the act of writing a specification (how the code should behave) for...
research
05/24/2018

Linear read-once and related Boolean functions

It is known that a positive Boolean function f depending on n variables ...
research
10/08/2018

Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion

The notion of an anonymous shared memory (recently introduced in PODC 20...
research
09/06/2023

Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)

Grove is a concurrent separation logic library for verifying distributed...
research
05/12/2022

Modular Baskets Queue

A modular version of the baskets queue of Hoffman, Shalev and Shavit is ...

Please sign up or login with your details

Forgot password? Click here to reset