References & Citations
Computer Science > Distributed, Parallel, and Cluster Computing
Title: Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs
(Submitted on 29 Jun 2021 (this version), latest version 1 Mar 2022 (v2))
Abstract: Strong adversaries obtain additional power when a linearizable object is substituted instead of an atomic object in a concurrent program. This paper suggests a novel approach to blunting this additional power, without relying on strongly linearizable implementations. Instead, a simple modification of some existing linearizable implementations is proposed with the property that if a concurrent program has non-zero termination probability when used with atomic objects, then it also has non-zero termination probability when it is used with the modified linearizable implementations. Our results apply to the ABD implementation of a shared register in asynchronous message-passing systems and also to AAD+ linearizable snapshots in asynchronous shared-memory systems.
Submission history
From: Jennifer Welch [view email][v1] Tue, 29 Jun 2021 16:45:32 GMT (447kb,D)
[v2] Tue, 1 Mar 2022 15:04:19 GMT (42kb,D)
Link back to: arXiv, form interface, contact.