Cover Image

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Attiya, Hagit, Castañeda, Armando, Enea, Constantin
Format:	Preprint
Published:	2025
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Strong Linearizability using Primitives with Consensus Number 2
by: Attiya, Hagit, et al.
Published: (2024)

Arbitration-Free Consistency is Available (and Vice Versa)
by: Attiya, Hagit, et al.
Published: (2025)

Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models
by: Attiya, Hagit, et al.
Published: (2025)

Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
by: Castañeda, Armando, et al.
Published: (2023)

Recoverable Lock-Free Locks
by: Attiya, Hagit, et al.
Published: (2025)

History-Independent Concurrent Objects
by: Attiya, Hagit, et al.
Published: (2024)

Why Canonical Rounds Fail for Optimal Byzantine Resilience
by: Attiya, Hagit, et al.
Published: (2025)

Auditing without Leaks Despite Curiosity
by: Attiya, Hagit, et al.
Published: (2025)

Towards Reconfigurable Linearizable Reads
by: Thiessen, Myles, et al.
Published: (2024)

Communication Requirements for Linearizable Registers
by: Nataf, Raïssa, et al.
Published: (2026)

Linearizability and State-Machine Replication: Is it a match?
by: Hauck, Franz J., et al.
Published: (2024)

History-Independent Concurrent Hash Tables
by: Attiya, Hagit, et al.
Published: (2025)

Strong Linearizability without Compare&Swap: The Case of Bags
by: Ellen, Faith, et al.
Published: (2024)

Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
by: Cohen, Shir, et al.
Published: (2021)

Auditable Shared Objects: From Registers to Synchronization Primitives
by: Attiya, Hagit, et al.
Published: (2025)

LARK -- Linearizability Algorithms for Replicated Keys in Aerospike
by: Goodng, Andrew, et al.
Published: (2025)

Bodega: Serving Linearizable Reads Locally from Anywhere at Anytime via Roster Leases
by: Hu, Guanzhou, et al.
Published: (2025)

Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers
by: Johnen, Colette, et al.
Published: (2024)

Proving Highly-Concurrent Traversals Correct
by: Feldman, Yotam M. Y., et al.
Published: (2020)

Strongly-Consistent Distributed Discrete-event Systems
by: Donovan, Peter, et al.
Published: (2024)

Asynchronous Fault-Tolerant Language Decidability for Runtime Verification of Distributed Systems
by: Castañeda, Armando, et al.
Published: (2025)

Read-Modify-Writable Snapshots from Read/Write operations
by: Castañeda, Armando, et al.
Published: (2026)

What Cannot Be Implemented on Weak Memory?
by: Castañeda, Armando, et al.
Published: (2024)

Strong and Hiding Distributed Certification of Bipartiteness
by: Jauregui, Benjamin, et al.
Published: (2025)

Asynchronous Checkpoint for Eventually Consistent Databases
by: Ravishankar, Raaghav, et al.
Published: (2025)

The Consistency Correctness in CoPPar Tree
by: Yang, Xincheng, et al.
Published: (2026)

Radio Labeling of Strong Prismatic Network With Star
by: Wang, Liming, et al.
Published: (2026)

A Framework for Consistency Models in Distributed Systems
by: Almeida, Paulo Sérgio
Published: (2024)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
by: Wang, Chao, et al.
Published: (2026)

Eventually-Consistent Federated Scheduling for Data Center Workloads
by: Thiyyakat, Meghana, et al.
Published: (2023)

Simulations between Strongly Sublinear MPC and Node-Capacitated Clique
by: Schneider, Philipp, et al.
Published: (2025)

Serverless Abstractions for Short-Running, Lightweight Streams
by: Carl, Natalie, et al.
Published: (2026)

Bringing Auto-tuning to HIP: Analysis of Tuning Impact and Difficulty on AMD and Nvidia GPUs
by: Lurati, Milo, et al.
Published: (2024)

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
by: Borgarelli, Andrea, et al.
Published: (2024)

Load Balancing in Strongly Inhomogeneous Simulations -- a Vlasiator Case Study
by: Kotipalo, Leo, et al.
Published: (2025)

PowerTrip: Exploiting Federated Heterogeneous Datacenter Power for Distributed ML Training
by: Mehboob, Talha, et al.
Published: (2025)

Power Aware Container Placement in Cloud Computing with Affinity and Cubic Power Model
by: Sarkar, Suvarthi, et al.
Published: (2024)

EcoShift: Performance-Aware Power Management for Power-Constrained Heterogeneous Systems
by: Zheng, Zhong, et al.
Published: (2026)

Unix Tools and the FITO Category Mistake: Crash Consistency and the Protocol Nature of Persistence
by: Borrill, Paul
Published: (2026)

On the Power of Graphical Reconfigurable Circuits
by: Emek, Yuval, et al.
Published: (2024)