The Life in 1-Consensus
Distributed, Parallel, and Cluster Computing
2017-09-28 v2
Abstract
This paper introduces the atomic Write and Read Next (WRNk) deterministic shared memory object, that for any k≥3, is stronger than read-write registers, but is unable to implement 2-processor consensus. In particular, it refutes the conjecture claiming that every deterministic object of consensus number 1 is computationally equivalent to read-write registers.
Cite
@article{arxiv.1709.06808,
title = {The Life in 1-Consensus},
author = {Yehuda Afek and Eli Daian and Eli Gafni},
journal= {arXiv preprint arXiv:1709.06808},
year = {2017}
}
Comments
8 pages
Related papers
View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
A Simple Object that Spans the Whole Consensus Hierarchy
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018-02-05
Data Structures and Algorithms · Computer Science
Reducing Compare-and-Swap to Consensus Number One Primitives
Pankaj Khanchandani, Roger Wattenhofer
2018-08-21
Distributed, Parallel, and Cluster Computing · Computer Science
Randomized Consensus with Regular Registers
Vassos Hadzilacos, Xing Hu, Sam Toueg
2020-06-15
Distributed, Parallel, and Cluster Computing · Computer Science
Determining Recoverable Consensus Numbers
Sean Ovens
2024-05-09
Distributed, Parallel, and Cluster Computing · Computer Science
Anonymous Obstruction-free $(n,k)$-Set Agreement with $n-k+1$ Atomic Read/Write Registers
Zohir Bouzid, Michel Raynal, Pierre Sutra
2015-07-03
Distributed, Parallel, and Cluster Computing · Computer Science
A Wait-free Multi-word Atomic (1,N) Register for Large-scale Data Sharing on Multi-core Machines
Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia
2017-07-25
Distributed, Parallel, and Cluster Computing · Computer Science
When Is Recoverable Consensus Harder Than Consensus?
Carole Delporte-Gallet, Panagiota Fatourou, Hugues Fauconnier, Eric Ruppert
2022-05-31
Distributed, Parallel, and Cluster Computing · Computer Science
On Atomic Registers and Randomized Consensus in M&M Systems
Vassos Hadzilacos, Xing Hu, Sam Toueg
2020-12-15
Distributed, Parallel, and Cluster Computing · Computer Science
On the Importance of Registers for Computability
Rati Gelashvili, Mohsen Ghaffari, Jerry Li, Nir Shavit
2014-11-04
Distributed, Parallel, and Cluster Computing · Computer Science
Upper and Lower Bounds for Deterministic Approximate Objects
Danny Hendler, Adnane Khattabi, Alessia Milani, Corentin Travers
2021-04-21
Distributed, Parallel, and Cluster Computing · Computer Science
Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
Achour Mostefaoui, Michel Raynal
2016-01-20
Machine Learning · Computer Science
Learning to Remember More with Less Memorization
Hung Le, Truyen Tran, Svetha Venkatesh
2019-03-21
Distributed, Parallel, and Cluster Computing · Computer Science
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
Hagit Attiya, Armando Castañeda, Constantin Enea
2025-09-03
Distributed, Parallel, and Cluster Computing · Computer Science
Simple Optimal Wait-free Multireader Registers
Paul Vitanyi
2007-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
Deterministic and Fast Randomized Test-and-Set in Optimal Space
George Giakkoupis, Maryam Helmi, Lisa Higham, Philipp Woelfel
2016-08-23
Distributed, Parallel, and Cluster Computing · Computer Science
The solvability of consensus in iterated models extended with safe-consensus
Rodolfo Conde, Sergio Rajsbaum
2022-07-26
Distributed, Parallel, and Cluster Computing · Computer Science
Efficient Consensus-Free Weight Reassignment for Atomic Storage (Extended Version)
Hasan Heydari, Guthemberg Silvestre, Luciana Arantes
2021-12-03
Distributed, Parallel, and Cluster Computing · Computer Science
Distributed Multi-writer Multi-reader Atomic Register with Optimistically Fast Read and Write
Lewis Tseng, Neo Zhou, Cole Dumas, Tigran Bantikyan +1
2023-04-20
Distributed, Parallel, and Cluster Computing · Computer Science
Progress-Space Tradeoffs in Single-Writer Memory Implementations
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
2017-11-28
Distributed, Parallel, and Cluster Computing · Computer Science
Hyperproperty-Preserving Register Specifications (Extended Version)
Yoav Ben Shimon, Ori Lahav, Sharon Shoham
2024-08-21
Distributed, Parallel, and Cluster Computing · Computer Science
Set-Consensus Collections are Decidable
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
2016-11-23
Distributed, Parallel, and Cluster Computing · Computer Science
Formal Definitions of Memory Consistency Models
Jordi Bataller Mascarell
2021-01-26
Distributed, Parallel, and Cluster Computing · Computer Science
Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers
Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch
2024-02-23
Machine Learning · Computer Science
Consensus-based Interpretable Deep Neural Networks with Application to Mortality Prediction
Shaeke Salman, Seyedeh Neelufar Payrovnaziri, Xiuwen Liu, Pablo Rengifo-Moreno +1
2019-09-12
Distributed, Parallel, and Cluster Computing · Computer Science
An Impossibility Result on Strong Linearizability in Message-Passing Systems
David Yu Cheng Chan, Vassos Hadzilacos, Xing Hu, Sam Toueg
2021-08-10