English

Fork Sequential Consistency is Blocking

Distributed, Parallel, and Cluster Computing 2008-12-18 v1
Authors: Christian Cachin , Idit Keidar , Alexander Shraer
View on arXiv ↗ PDF ↗

Abstract

We consider an untrusted server storing shared data on behalf of clients. We show that no storage access protocol can on the one hand preserve sequential consistency and wait-freedom when the server is correct, and on the other hand always preserve fork sequential consistency.

Keywords

concurrent algorithm

Cite

@article{arxiv.0805.2068,
  title  = {Fork Sequential Consistency is Blocking},
  author = {Christian Cachin and Idit Keidar and Alexander Shraer},
  journal= {arXiv preprint arXiv:0805.2068},
  year   = {2008}
}

Comments

7 pages, 3 figures

Related papers

View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations
Christian Cachin, Olga Ohrimenko
2018-03-28
Probability · Mathematics
Stability of a Queue Fed by Scheduled Traffic at Critical Loading
Victor F. Araman, Peter W. Glynn
2022-12-09
Probability · Mathematics
Stability of a processor sharing queue with varying throughput
Pascal Moyal
2008-03-18
Distributed, Parallel, and Cluster Computing · Computer Science
Sequential Consistency and Concurrent Data Structures
Ali Sezgin
2015-06-17
Distributed, Parallel, and Cluster Computing · Computer Science
Database Consistency Models
Marc Shapiro, Pierre Sutra
2018-06-24
Distributed, Parallel, and Cluster Computing · Computer Science
Stable Scheduling in Transactional Memory
Costas Busch, Bogdan S. Chlebus, Dariusz R. Kowalski, Pavan Poudel
2022-08-16
Programming Languages · Computer Science
Robustness Against Transactional Causal Consistency
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
2023-06-22
Probability · Mathematics
Stability of parallel queueing systems with coupled service rates
Sem Borst, Matthieu Jonckheere, Lasse Leskelä
2010-01-12
Distributed, Parallel, and Cluster Computing · Computer Science
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency
Isaac Sheff, Tom Magrino, Jed Liu, Andrew C. Myers +1
2016-08-23
Databases · Computer Science
Query Stability in Monotonic Data-Aware Business Processes [Extended Version]
Ognjen Savkovic, Elisa Marengo, Werner Nutt
2015-12-23
Distributed, Parallel, and Cluster Computing · Computer Science
On Composition and Implementation of Sequential Consistency
Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard
2016-07-28
Distributed, Parallel, and Cluster Computing · Computer Science
This is not the End: Rethinking Serverless Function Termination
Kalev Alpernas, Aurojit Panda, Mooly Sagiv
2022-11-07
Applications · Statistics
Stabilizing a Queue Subject to Action-Dependent Server Performance
Michael Lin, Richard J. La, Nuno C. Martins
2021-01-15
Distributed, Parallel, and Cluster Computing · Computer Science
Toward a Principled Framework for Benchmarking Consistency
Muntasir Raihan Rahman, Wojciech Golab, Alvin AuYoung, Kimberly Keeton +1
2012-11-21
Distributed, Parallel, and Cluster Computing · Computer Science
Distributed Transactional Systems Cannot Be Fast
Diego Didona, Panagiota Fatourou, Rachid Guerraoui, Jingjing Wang +1
2019-04-11
Distributed, Parallel, and Cluster Computing · Computer Science
Consistency models with global operation sequencing and their composition (extended version)
Alexey Gotsman, Sebastian Burckhardt
2017-07-31
Machine Learning · Computer Science
Eluding Secure Aggregation in Federated Learning via Model Inconsistency
Dario Pasquini, Danilo Francati, Giuseppe Ateniese
2022-09-07
Cryptography and Security · Computer Science
The Longest-Chain Protocol Under Random Delays
Suryanarayana Sankagiri, Shreyas Gandlur, Bruce Hajek
2021-02-02
Databases · Computer Science
Regular Sequential Serializability and Regular Sequential Consistency
Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd
2021-10-20
Distributed, Parallel, and Cluster Computing · Computer Science
CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts
Andrei Tonkikh, Pavel Ponomarev, Petr Kuznetsov, Yvonne-Anne Pignolet
2023-04-28
Distributed, Parallel, and Cluster Computing · Computer Science
Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking
Shaz Qadeer
2007-05-23
Emerging Technologies · Computer Science
Sync or Fork: Node-Level Synchronization Analysis of Blockchain
Qin Hu, Minghui Xu, Shengling Wang, Shaoyong Guo
2022-06-14
Distributed, Parallel, and Cluster Computing · Computer Science
Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study
Duong Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta
2018-11-09
Networking and Internet Architecture · Computer Science
Consistent and fault-tolerant SDN with unmodified switches
André Mantas, Fernando M. V. Ramos
2016-03-15
Distributed, Parallel, and Cluster Computing · Computer Science
On Composition and Implementation of Sequential Consistency (Extended Version)
Matthieu Perrin, Matoula Petrolia, Achour Mostefaoui, Claude Jard
2016-08-01
R2 v1 2026-06-21T10:40:25.052Z