An Impossibility Result on Strong Linearizability in Message-Passing Systems

08/03/2021
by   David Yu Cheng Chan, et al.
0

We prove that in asynchronous message-passing systems where at most one process may crash, there is no lock-free strongly linearizable implementation of a weak object that we call Test-or-Set (ToS). This object allows a single distinguished process to apply the set operation once, and a different distinguished process to apply the test operation also once. Since this weak object can be directly implemented by a single-writer single-reader (SWSR) register (and other common objects such as max-register, snapshot and counter), this result implies that there is no 1-resilient lock-free strongly linearizable implementation of a SWSR register (and of these other objects) in message-passing systems. We also prove that there is no 1-resilient lock-free write strongly-linearizable implementation of a 2-writer 1-reader (2W1R) register in asynchronous message-passing systems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/14/2021

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers

A key way to construct complex distributed systems is through modular co...
research
05/03/2023

Time is not a Healer, but it Sure Makes Hindsight 20:20

In the 1980s, three related impossibility results emerged in the field o...
research
10/28/2020

On Linearizability and the Termination of Randomized Algorithms

We study the question of whether the "termination with probability 1" pr...
research
03/23/2022

ShareTrace: Contact Tracing with Asynchronous, Parallel Message Passing on a Temporal Graph

Proximity-based contact tracing relies on user device interaction to est...
research
09/17/2020

An Abstract Framework for Choreographic Testing

We initiate the development of a model-driven testing framework for mess...
research
02/21/2023

AttentionMixer: An Accurate and Interpretable Framework for Process Monitoring

An accurate and explainable automatic monitoring system is critical for ...
research
03/17/2020

Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement

We present an algorithm for implementing a store-collect object in an as...

Please sign up or login with your details

Forgot password? Click here to reset